8:名無しNIPPER
2024/04/09(火) 20:11:05.56 ID:pQEOMo+80
1.四色定理
P「基礎も説明したし早速事例について話そうか まずは四色定理について…ということで突然ですが比奈に問題です」
比奈「アタシっスか！？」
9:名無しNIPPER
2024/04/09(火) 20:11:56.50 ID:pQEOMo+80
奏「妙に歯切れが悪いわね…何か問題でもあるの？」
加蓮「あ、分かった！まだ証明されてないんでしょ！」
マキノ「いや、証明はされた、と言われてはいるの ただその方法がコンピュータを使った証明で…」
10:名無しNIPPER
2024/04/09(火) 20:12:34.69 ID:pQEOMo+80
P「当然反発も起きてな…今でも分類が減ったりはしているがコンピュータ無しでの証明方法は未だに発表されていない」
マキノ「エレガントな証明の対比としてエレファントな証明なんて言われてしまっているわ」
奏「見えているのに人の手では届かないなんて、歯がゆいものね…」
11:名無しNIPPER
2024/04/09(火) 20:13:14.83 ID:pQEOMo+80
2.巡回セールスマン問題
P「ともあれ、四色定理でコンピュータの貢献も説明したことだし次はコンピュータの限界について話そうか 巡回セールスマン問題だな」
奏「セールスマンが回る地点をノード、通るルートをエッジにする、といったところかしら？」
12:名無しNIPPER
2024/04/09(火) 20:14:08.42 ID:pQEOMo+80
奏「多すぎてちょっと考えたくなくなってくるわね…」
加蓮「もしかして、この問題って解決出来ないの？」
P「そう、点が増えれば増えるほどに最適解の導出は困難になっていく」
13:名無しNIPPER
2024/04/09(火) 20:15:08.40 ID:pQEOMo+80
P「勿論、より良いアルゴリズムの開発も続けられてはいる…人の手でな」
加蓮「そっか…なんでもコンピュータに任せるわけにはいかないんだね…」
奏「ふふっ…それこそ、私達アイドルの活動もコンピュータには任せられないでしょう？」
14:名無しNIPPER
2024/04/09(火) 20:15:38.12 ID:pQEOMo+80
P「…話したいことを適当に話していただけだったが以外といいところに着地出来たな」
比奈「その一言で台無しっスよ！」
15:名無しNIPPER
2024/04/09(火) 20:16:13.51 ID:pQEOMo+80
おしまい。
改めて比奈さん誕生日おめでとう！インテグラルで年上ムーブする比奈さんが好きです
勿論ブルーナポレオンで年上に可愛がられる比奈さんも好きです
15Res/9.52 KB
↑[8] 前[4] 次[6]
書[5]
板[3] 1-[1] l20
