【理工サイド交流祭】雫と蕾の『グロタンディーク宇宙』の話

大遅刻(1ヶ月)投稿遅れた理由は期末と某分散型SNSと帰省です。雫ちゃんと蕾ちゃんが宇宙の話をします。高校数学知ってる人向けに作ったので詳しい方からすると物足りないかもしれませんがご了承ください。また機会があれば証明不能性や到達不能基数、高次な宇宙などのもう少し踏み込んだ話もすると思います。(いつになるかな...)間違いや誤植、編集ミスなどあればコメントで指摘お願いします。雫蕾を推せ！！！！！！twitter: https://twitter.com/Psi0PsiOmega0

http://www.nicovideo.jp/watch/sm42735509