20/02/25 14:44:02.80 2LtiaC3V.net
>>359
うーん、専門的には自動定理検証？そういうソフトウェアに入力するんです。でも、
「3!?」とか答えになるんですか？とコンピュータに聞いてもエラーなので、
人間の頭に全部入力してチェックするとも言ったのは動画の通り。
20/02/25 14:44:02.80 2LtiaC3V.net
>>359
うーん、専門的には自動定理検証？そういうソフトウェアに入力するんです。でも、
「3!?」とか答えになるんですか？とコンピュータに聞いてもエラーなので、
人間の頭に全部入力してチェックするとも言ったのは動画の通り。