アカウント名:
パスワード:
この手の話は、入力情報がどんなもので、計算方法と計算に必要と思われる予備情報がどうだったか、結果として出力がどうなったのかが明確に分らないと、本当に自立的に仮説を立てられているのかどうなのかよく分りませんね。
ただ仮説証明を、実行しえるかどうかまで計算できるのは凄いですね。魔法が使えるとか、かめはめ波が打てると思っている厨二の人達にも実装したいですね。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
アレゲはアレゲを呼ぶ -- ある傍観者
入力、計算、出力 (スコア:1)
この手の話は、入力情報がどんなもので、計算方法と計算に必要と思われる予備情報がどうだったか、結果として出力がどうなったのか
が明確に分らないと、本当に自立的に仮説を立てられているのかどうなのかよく分りませんね。
ただ仮説証明を、実行しえるかどうかまで計算できるのは凄いですね。
魔法が使えるとか、かめはめ波が打てると思っている厨二の人達にも実装したいですね。