トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0412
132人目の素数さん
2008/09/17(水) 09:30:27
>407
遅レスですが「詰め将棋データベース」はもちろん存在します。
但し、有償でかなり高価なものらしく(セット全体で10万円くらい?)
Web上などで誰もが検索や同不同チェックができるようにはなっていないようです。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています