関数型言語Part IV - 暇つぶし2ch

関数型言語Part IV at TECH

392:デフォルトの名無しさん
05/09/28 01:28:20
【研究】「実社会にも応用可」 "ジョルダンの曲線定理"、世界初の完全証明…信州大教授ら
ｽﾚﾘﾝｸ(newsplus板)l50

この証明の検証に使用された定理証明システムはＭＬで書かれたプログラムです。