652コメント203KB

コンピューターによる定理の自動証明

■ このスレッドは過去ログ倉庫に格納されています

0408１３２人目の素数さん

2008/09/03(水) 15:44:56

ウン十年前はさすがにないでしょ

たぶん数年前の順位戦A級最終日の中継で勝又5段（当時）がデータベース使ってたときの事だと思うけど

■ このスレッドは過去ログ倉庫に格納されています