14/09/07 17:51:34.00
いわゆる証明検査器は既にもう存在する。
Mizar
URLﾘﾝｸ(ja.m.wikipedia.org)ジョルダン曲線定理
問題は機械に読める形で証明を書き下すのは大変な手間で逆に人には読み難いこと。
14/09/07 17:51:34.00
いわゆる証明検査器は既にもう存在する。
Mizar
URLﾘﾝｸ(ja.m.wikipedia.org)ジョルダン曲線定理
問題は機械に読める形で証明を書き下すのは大変な手間で逆に人には読み難いこと。
14/09/07 17:51:34.00
いわゆる証明検査器は既にもう存在する。
Mizar
URLﾘﾝｸ(ja.m.wikipedia.org)ジョルダン曲線定理
問題は機械に読める形で証明を書き下すのは大変な手間で逆に人には読み難いこと。