05/09/28 01:28:20
【研究】「実社会にも応用可」 "ジョルダンの曲線定理"、世界初の完全証明…信州大教授ら
ｽﾚﾘﾝｸ(newsplus板)l50
この証明の検証に使用された定理証明システムはＭＬで書かれたプログラムです。
05/09/28 01:28:20
【研究】「実社会にも応用可」 "ジョルダンの曲線定理"、世界初の完全証明…信州大教授ら
ｽﾚﾘﾝｸ(newsplus板)l50
この証明の検証に使用された定理証明システムはＭＬで書かれたプログラムです。
05/09/28 01:28:20
【研究】「実社会にも応用可」 "ジョルダンの曲線定理"、世界初の完全証明…信州大教授ら
ｽﾚﾘﾝｸ(newsplus板)l50
この証明の検証に使用された定理証明システムはＭＬで書かれたプログラムです。