非専門的シンギュラリティー研究所

無限に動き続けるシステムを表す方法を AI なども使って考えていきます。

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

操作方法

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

「直進地点」の操作

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

  • 「↓」キーで次に進みます。(次に進めるとき)
  • 「↑」キーで前に戻ります。(戻れるとき)
「分岐地点」の操作

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

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

表示の内容

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

直進地点(スタート)

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

分岐地点(問題の選択)

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

直進地点

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

分岐地点

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

条件が成立したとき

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

ゴール