比奈「楽しい数学？」加蓮「グラフ理論編！」 (15ﾚｽ)
上下前次1-新
1: 04/09(火)20:05 ID:pQEOMo+80(1/15) AAS
比奈さん誕生日おめでとう＆デレぽ投稿数ランクイン記念。
特に繋がりはない前作
vip2chｽﾚ:news4ssnip
SSWiki : 外部ﾘﾝｸ:ss.vip2ch.com
2: 04/09(火)20:06 ID:pQEOMo+80(2/15) AAS
事務所、レッスンルーム
比奈「おはようございまス…インテグラルの皆はもう揃ってるっスね」
加蓮「あ、デレぽ投稿数3位の比奈さんおはよー」
奏「ランクインおめでとう デレぽ投稿数3位の比奈さん」
比奈「皆この前の未央ちゃん達の投稿見たっスね！？全く称えられてる気がしないんスけど！？」
マキノ「こうして目立つ機会があるのはアイドルとしても悪いことではないと思うけれど…」
省1
3: 04/09(火)20:07 ID:pQEOMo+80(3/15) AAS
プロデューサー(以下P表記)「お、みんな集まってるな 比奈はデレぽ投稿数3位おめでとう」
比奈「プロデューサーまで…どうせアタシはSNSに入り浸る日陰者っスよ…」
奏(…少しからかいすぎたかしら)
P「いや、比奈は胸を張っていいと思うぞ？」
比奈「え？」
P「デレぽに沢山投稿してるってことはそれだけ沢山事務所の仲間やファンと交流しているってことだ 恥ずかしく思うことはないと思うぞ」
省2
4: 04/09(火)20:08 ID:pQEOMo+80(4/15) AAS
P「ということで今日はSNSとも関係するグラフ理論について話そうかな」
比奈「随分無理やりな導入じゃないっスか！？」
加蓮「プロデューサーも語りたいんだよ 奈緒もよくこんな感じで唐突に語り始めるし」
奏「…？グラフとSNSって関係しているのかしら」
マキノ「奏が想像しているのはy=xみたいな関数を視覚化したグラフね プロデューサーが話そうとしているのはそちらではなくて…」
P「そう、ノードとエッジの集合で構成された方だ マキノは情報系の勉強してるから知ってたみたいだな」
省2
5: 04/09(火)20:08 ID:pQEOMo+80(5/15) AAS
P「ふむ…わざと専門的な言い方をしたがやっぱり分からないよな…」
奏「全く…普段からかっていることの仕返し？」
加蓮「そうだそうだー！マキノは兎も角私や比奈さんは数学のことさっぱりだー！」
マキノ「胸を張ってそんな情けないことを言われても…」
P「よし！まずはグラフ理論の基礎について説明しよう それから面白い事例について今回は二つ紹介しよう」
0.グラフ理論基礎
省2
6: 04/09(火)20:09 ID:pQEOMo+80(6/15) AAS
0.グラフ理論基礎
P「じゃあ早速グラフ理論について話していこう まずはノード…これは点のことだ SNSで例えるならユーザーのことだ」
比奈「ふむふむ…」
P「そしてエッジ…これは点の間を結ぶ枝や線のことだ SNSで例えるなら繋がり…フォローに相当するかな」
奏「なるほど…あとは？」
P「いや、基本的な要素はこれだけだ これらを使って繋がり方とかを考えるのがグラフ理論だ」
省2
7: 04/09(火)20:10 ID:pQEOMo+80(7/15) AAS
比奈「応用…例えばどんなのっスか？」
P「例えばエッジに向きをつけたり これでSNSで片方だけのフォローか相互フォローかを表せるな」
マキノ「あとは…そうね エッジに重みをつけたりとかかしら？」
加蓮「線に重み？それ何に使えるの？」
P「さっきのマキノの乗り換えアプリの例で言えば点を駅、線を経路とすると…重みは駅の間で移動にかかる値段や時間とかを表せるな」
奏「なら…あなたと私の間の思いの強さも、表せたりするのかしら？」
省2
8: 04/09(火)20:11 ID:pQEOMo+80(8/15) AAS
1.四色定理
P「基礎も説明したし早速事例について話そうか まずは四色定理について…ということで突然ですが比奈に問題です」
比奈「アタシっスか！？」
P「何、比奈にも関係ある問題だ 平面の地図…あるいは絵でもいい 同じ色が隣接しないように塗り分けるには最大でも何色必要でしょうか？」
加蓮「先生ー…じゃなかった プロデューサーに質問！それってグラフ理論関係あるの？」
P「これが関係あるんだな 塗る場所をノード、隣接しているかどうかをエッジとするとグラフ理論に落とし込めるんだ」
省2
9: 04/09(火)20:11 ID:pQEOMo+80(9/15) AAS
奏「妙に歯切れが悪いわね…何か問題でもあるの？」
加蓮「あ、分かった！まだ証明されてないんでしょ！」
マキノ「いや、証明はされた、と言われてはいるの ただその方法がコンピュータを使った証明で…」
奏「…それ、問題なの？」
P「そう、世界で初めてコンピュータを使った証明だったんだ…そしてそれが人間には追試出来ない方法だったわけだ」
加蓮「人間には出来ない？どういうこと？」
省2
10: 04/09(火)20:12 ID:pQEOMo+80(10/15) AAS
P「当然反発も起きてな…今でも分類が減ったりはしているがコンピュータ無しでの証明方法は未だに発表されていない」
マキノ「エレガントな証明の対比としてエレファントな証明なんて言われてしまっているわ」
奏「見えているのに人の手では届かないなんて、歯がゆいものね…」
P「人の手による証明が出来るようになるかは分からないな…フェルマーの最終定理を当時の理論のみで証明するよりは可能性はあると思うが」
加蓮「フェルマーの最終定理は聞いたことある！当時の理論のみってどういうこと？」
マキノ「フェルマーの最終定理自体は証明されているの ただ当時は知られていない現代数学の理論を大量に使っていて…」
省2
11: 04/09(火)20:13 ID:pQEOMo+80(11/15) AAS
2.巡回セールスマン問題
P「ともあれ、四色定理でコンピュータの貢献も説明したことだし次はコンピュータの限界について話そうか 巡回セールスマン問題だな」
奏「セールスマンが回る地点をノード、通るルートをエッジにする、といったところかしら？」
P「流石にみんな慣れてきたか その通り 全ての地点を一度だけ回る時の最短ルートを考える問題だ」
加蓮「それこそコンピュータを使えば簡単なんじゃないの？」
P「勿論、回る場所が少なければ総当たりでいいんだが…」
省2
12: 04/09(火)20:14 ID:pQEOMo+80(12/15) AAS
奏「多すぎてちょっと考えたくなくなってくるわね…」
加蓮「もしかして、この問題って解決出来ないの？」
P「そう、点が増えれば増えるほどに最適解の導出は困難になっていく」
マキノ「ただ、総当たりを諦めて最適解に近いものを導出することは出来るわ 近似アルゴリズムと呼ばれるものね」
比奈「アルゴリズム…どんなのっスか？」
P「厳密性に欠ける大雑把な概略を説明するなら…最初に適当なルートを入れて、それに似たルートのうちいい方に乗り換え続ける、とかかな」
省2
13: 04/09(火)20:15 ID:pQEOMo+80(13/15) AAS
P「勿論、より良いアルゴリズムの開発も続けられてはいる…人の手でな」
加蓮「そっか…なんでもコンピュータに任せるわけにはいかないんだね…」
奏「ふふっ…それこそ、私達アイドルの活動もコンピュータには任せられないでしょう？」
マキノ「あら、昔はチェスも将棋もコンピュータは人間に勝てるようにはならないなんて言われていたけれど、技術者はそれを覆したのよ？」
比奈「それに今はAIが絵を描く時代っスよ？アタシ達もうかうかしてたら…」
P「つまり、これからのアイドルはAIが持ってない、あるいはAIに負けない魅力を見せていく必要があるってことだ！」
省2
14: 04/09(火)20:15 ID:pQEOMo+80(14/15) AAS
P「…話したいことを適当に話していただけだったが以外といいところに着地出来たな」
比奈「その一言で台無しっスよ！」
15: 04/09(火)20:16 ID:pQEOMo+80(15/15) AAS
おしまい。
改めて比奈さん誕生日おめでとう！インテグラルで年上ムーブする比奈さんが好きです
勿論ブルーナポレオンで年上に可愛がられる比奈さんも好きです
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.149s*