１．お型付け 春休み生活崩壊で進捗が微妙なことに...しかし近日型付けます。 型付けます。 型とは言うまでもなく、typeですね。Int,Double,IO String,Array (Int,Int) Char...などがあります。世の中では、型をつけるとさまざまなことがスッキリすることか…

１．射影仮説 というのがあります。これは量子力学の「公理系」に入ってたり入ってなかったりあるいは面倒なのでそもそも公理を明示しなかったりと言うこともありますが、大雑把に次のような感じの「公理系」の一つとして組み込まれます。 ある種の確率論を…

３週間たってしまったし、普通の日記をする。 ここ数日考えていたことなど。 １．領域 理論というのがあります。 ↑みたいな本を結構前に読んで知ったのが最初（かつ実質的に最後）で、数学的には（非空）有効集合の上限をとれるような半順序集合とその単調連…