9:名無しNIPPER
2024/04/09(火) 20:11:56.50 ID:pQEOMo+80
奏「妙に歯切れが悪いわね…何か問題でもあるの？」
加蓮「あ、分かった！まだ証明されてないんでしょ！」
マキノ「いや、証明はされた、と言われてはいるの ただその方法がコンピュータを使った証明で…」
奏「…それ、問題なの？」
P「そう、世界で初めてコンピュータを使った証明だったんだ…そしてそれが人間には追試出来ない方法だったわけだ」
加蓮「人間には出来ない？どういうこと？」
P「証明の方法を大雑把に説明すると全ての地図をパターンに分けて、そのパターン全てが四色で塗り分けられるかシミュレートした…というものだ」
比奈「まさに力押し…コンピュータならではっスね」
15Res/9.52 KB
↑[8] 前[4] 次[6]
書[5]
板[3] 1-[1] l20
