computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 証明路開発支援システム 操作方法の仕様は以下のようになります。 操作方法 上下左右のキーで操作します。「前進モード」と「選択モード」があります。初期値は「前進モード」です。この操作で進んでゴールに到達すれば終了です。 前進モードのとき 下キー 選択ノード(下位のノードから選択するノード)のとき 下位の選択可能なノードがあるとき 下位の最初の選択可能なノードに移動 現在の表示はそのまま その下に道と選択候補テキストを表示 選択モードにする 下位の選択可能なノードがないとき 何もしない 選択ノード(下位のノードから選択するノード)ではないとき 次の兄弟ノードがあるとき 次の兄弟ノードに移動 現在の表示はそのまま その下に… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2026%2F07%2F03%2F204152" title="証明路開発支援システム(2) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51UjYbXqIzL._SL500_.jpg Hatena Blog https://hatena.blog 2026-07-03 20:41:52 rich https://computeralgebra.hatenablog.com/entry/2026/07/03/204152 1.0 100%