2026-07-15

証明路開発支援システム(5)

証明路開発支援システム

操作方法

証明路の画面は「直進地点」または「分岐地点」が「通路」で連結されて表示されています。上下左右のキーで操作し、ゴールに到達すれば終了です。最も下に表示された「直進地点」または「分岐地点」を操作することができます。

「直進地点」の操作

「直進地点」では以下の操作ができます。

「↓」キーで次に進みます。(次に進めるとき)
「↑」キーで前に戻ります。(戻れるとき)

「分岐地点」の操作

「分岐地点」では以下の操作ができます。

「←」キー・「→」キーで次に進む道を選択します。(選択肢が複数あるとき)
「↓」キーで次(選択した道)に進みます。
「↑」キーで前に戻ります。(戻れるとき)

表示の内容

最初は以下のように表示されています。これは「直進地点」です。

「↓」キーで以下の表示になります。最も下にあるのは「分岐地点」です。この「分岐地点」を操作することができます。

「↓」キーを何回か入力すると、以下のような表示になります。最も下にあるのは「直進地点」です。この「直進地点」を操作することができます。最も下の「直進地点」は異なる色で表示されます。

「↓」キーで以下の表示になります。最も下にあるのは「分岐地点」です。この「分岐地点」を操作することができます。最も下の「分岐地点」は異なる色で表示されます。

「↓」キーを何回か入力すると、以下のような表示になります。「p | a」が成立したので「p | a」を選択する地点に戻ります。「p | a」は異なる色で表示されます。

「↓」キーを何回か入力すると、以下のような表示になります。すべての条件が成立するとゴールに行きます。

初等整数論入門 (ちくま学芸文庫)

作者:銀林浩
筑摩書房

操作方法

「直進地点」の操作

「分岐地点」の操作

表示の内容

MazeState クラス

private bool inBranchMode (= false)

public void MoveBackward()

public void MoveForeward()

前進モードのとき

選択モードのとき

public void MoveLeft()

前進モードのとき

選択モードのとき

public void MoveRight()

前進モードのとき

選択モードのとき

Env クラス

public bool IsSelectable(string expstr)

public void SetNumber(string expstr)

MazeState クラス

private bool inBranchMode (= false)

public void MoveBackward()

前進モードのとき

選択モードのとき

public void MoveForeward()

前進モードのとき

選択モードのとき

public void MoveLeft()

前進モードのとき

選択モードのとき

public void MoveRight()

前進モードのとき

選択モードのとき

class TreeData

public TreeData(string name)

public void AddNode(TreeData node)

public TreeData? GetNextSibling()

public bool HasNextSibling()

public TreeData? GetPrevSibling()

public bool HasPrevSibling()

public TreeData GetFirstChild()

public TreeData GetLastChild()

public bool HasChild()

public bool IsBranch()

public bool IsGoal()

public bool IsNumbered()

public bool IsSelectable(Env env)

public string GetDescription()

操作方法

前進モードのとき

下キー

上キー

左右キー

選択モードのとき

下キー

上キー

右キー

左キー

「証明路」ツリーの例

「証明路」ツリーのテキストの形式

選択

定義の引用

ゴール

変数の値の設定

選択可能条件(論理積)

選択可能条件(論理積の否定)

テキスト内部のハイライト

フェルマーの小定理パズル(11)

フェルマーの小定理の二項定理を使った帰納法による証明