ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
マイクラ動画が飽和して「もう視聴者全員マイクラぐらい知ってるでしょ」と言わんばかりの動画がいっぱいのこのご時世にマインクラフトの初歩の初歩から解説してるのなんかじわじわ来る
当たり前のように埋まってる選択公理に草
動画冒頭のマインクラフトの説明を丁寧に述べてるところに定義を並べた上で本題の議論へ進む数学らしさが出ていて、すき。
エンダードラゴンは一度ルベーグ非可測集合にバラバラになってるのか…😨
ふむ、Banach-Tarskiの定理が使えるような分割が素手でできるだと…妙だな…
ゲーム、証明、……なんだ形式主義か
豊穣剣とか作れそう
スライス剣とカルテシアン兵剣も追加で
選択公理を素材に使うと消滅するということは、線形論理か何かを採用している……？
ちなみに前チャンネル主とマイクラやったとき、洞窟の入り口を探そうって言ったら、却下されてその場を掘り始めました
帰納法掘り当てたら資源無限化施設と併用して文字通り資源が無限個になりそう
マイクラ実況でまだされてないことってあったんだ……
めっちゃ凝ってて草
ダイヤを材料にして無限ホテルを建設してそう
まな板modはBanach-Tarskiの定理を認めれば全然チートじゃなかったのか
選択公理を認めるとゲームバランスが崩壊するから、認めちゃダメ！というメッセージですね、わかります
Banach-Tarskiの定理をつかえばBanach-Tarskiの定理を増やせる...ってコト！？
Minecraftは選択公理を満たすのですね。私のプレイしていた時代のバージョンにはなかったのですが、途中で公理が追加されたのでしょうか？
タイトルにツボってチャンネル登録した
集合論勉強してる途中だからタイムリーだなぁ……位相とかに入るとBanach-Tarskiの話も出てくるのかな？
つまりゲーム意味論による選択公理の例示ってことですね（ぐるぐる目）
高度な数学の動画を上げ続けてる方が、この時代にMinecraftの基礎の基礎を解説しているの、なんだか不思議な感じw
Mobもバター猫とかアキレス亀とかスワンプマンが出て来そう…w
公理を採用じゃなくて採掘することあるんだ
豆と太陽好き
必ずオウム返しで聞き返す魔理沙
選択公理は「自明」だよね！
ダイヤと作業台からダイヤグラムが作れたりします？
グラム(?)があれば作れるかも…!
minecraft×数学最高すぎる
マイクラ世界に無限公理ってあったんだ。
統合版なのにアドオンじゃなくてModなんだ...それはそうと選択公理ってそこら中に埋まってるモノだっけ？？？
その通りで本当はアドオンなんですが、視聴者的にはMODの方が伝わりやすいかなと思ってMODと書いてます(見る人からすると名前がアドオンなのかMODなのかは関係ないですし)
マシュマロ投げたいけどご指定のページは見つかりませんでした。と出てきます！投げさせてください！
すみません! 修正しました!
バナッハタルスキー64個で足りなくなるのかと思っちゃった
ホントはBanach-Tarskiは無限のつもりなんだけどマイクラの仕様上無理っぽい? から64個で
@@alg-dx 足りなくなったらバナッハタルスキーでバナッハタルスキーを増やし始めるオチを予想してたのに
かなりまな板だよこれ！
マイクラ動画が飽和して「もう視聴者全員マイクラぐらい知ってるでしょ」と言わんばかりの動画がいっぱいのこのご時世にマインクラフトの初歩の初歩から解説してるのなんかじわじわ来る
当たり前のように埋まってる選択公理に草
動画冒頭のマインクラフトの説明を丁寧に述べてるところに
定義を並べた上で本題の議論へ進む数学らしさが出ていて、すき。
エンダードラゴンは一度ルベーグ非可測集合にバラバラになってるのか…😨
ふむ、Banach-Tarskiの定理が使えるような分割が素手でできるだと…妙だな…
ゲーム、証明、……なんだ形式主義か
豊穣剣とか作れそう
スライス剣とカルテシアン兵剣も追加で
選択公理を素材に使うと消滅するということは、線形論理か何かを採用している……？
ちなみに前チャンネル主とマイクラやったとき、洞窟の入り口を探そうって言ったら、却下されてその場を掘り始めました
帰納法掘り当てたら資源無限化施設と併用して文字通り資源が無限個になりそう
マイクラ実況でまだされてないことってあったんだ……
めっちゃ凝ってて草
ダイヤを材料にして無限ホテルを建設してそう
まな板modはBanach-Tarskiの定理を認めれば全然チートじゃなかったのか
選択公理を認めるとゲームバランスが崩壊するから、認めちゃダメ！というメッセージですね、わかります
Banach-Tarskiの定理をつかえばBanach-Tarskiの定理を増やせる...ってコト！？
Minecraftは選択公理を満たすのですね。私のプレイしていた時代のバージョンにはなかったのですが、途中で公理が追加されたのでしょうか？
タイトルにツボってチャンネル登録した
集合論勉強してる途中だからタイムリーだなぁ……位相とかに入るとBanach-Tarskiの話も出てくるのかな？
つまりゲーム意味論による選択公理の例示ってことですね（ぐるぐる目）
高度な数学の動画を上げ続けてる方が、この時代にMinecraftの基礎の基礎を解説しているの、なんだか不思議な感じw
Mobもバター猫とかアキレス亀とかスワンプマンが出て来そう…w
公理を採用じゃなくて採掘することあるんだ
豆と太陽好き
必ずオウム返しで聞き返す魔理沙
選択公理は「自明」だよね！
ダイヤと作業台からダイヤグラムが作れたりします？
グラム(?)があれば作れるかも…!
minecraft×数学最高すぎる
マイクラ世界に無限公理ってあったんだ。
統合版なのにアドオンじゃなくてModなんだ...
それはそうと選択公理ってそこら中に埋まってるモノだっけ？？？
その通りで本当はアドオンなんですが、視聴者的にはMODの方が伝わりやすいかなと思ってMODと書いてます(見る人からすると名前がアドオンなのかMODなのかは関係ないですし)
マシュマロ投げたいけど
ご指定のページは見つかりませんでした。
と出てきます！投げさせてください！
すみません! 修正しました!
バナッハタルスキー64個で足りなくなるのかと思っちゃった
ホントはBanach-Tarskiは無限のつもりなんだけどマイクラの仕様上無理っぽい? から64個で
@@alg-dx 足りなくなったらバナッハタルスキーでバナッハタルスキーを増やし始めるオチを予想してたのに
かなりまな板だよこれ！