例えばサイコロを振ってnが出た後、n面サイコロをまたふるという試行は、後者の試行が前者の試行の結果によって決まるというものである。試行Tの根源事象eによってS(e)という試行が定まっているわけで、そういうことならSは「試行の族」なのではと思った。以…

僕は今まで、コードって嘘じゃないか、実はまやかしなんじゃないか(さほどの重要性はないのではないか？)？というようなスタンスでさえいたのだが、考えを改めるべきなのかもしれない。 数学には超関数と呼ばれる概念がある。(特殊なものだけの話だけど)関数…

数理論理学の本はわかりづらい。そもそも一般の数学書の形式（定義.XXX命題.YYYみたいな形式）にのっとってないものの方が多い気がする。つまり、どちらかというと一般の読み物っぽくて、本で使う語用法も一切整理せず、煙に巻いてわざとわからせないように…

今日って1月4日ですか！？冬休み現在進行形でだらけてﾓｳﾃﾏｽﾜ…こんなんじゃ東大とかハーバード大とか行けへんわなあぁ（無理）…ﾊｧ… 僕はここ3年間、年末年始は勉強せず音楽をやるっていうのがジンクスになっている気がします。とは言え、前年は音楽理論を片っ…