任意の型が、 lambda とみなされていてもよいのではないか。 整数すらも Church numerous で lambda としてあらわせるならば、型付ラムダでもどんな型を引数にとるか考えて型の引数でマッチングしても問題なく行きそうだ。定義されていないときにはエラーに…

高等教育を侵食する似非科学 高等教育を侵食する似非科学1 高等教育を侵食する似非科学2 ruke と今日、1時間ほど英語一列の話をしていて分かったこと。僕としては、上で書いたことで万人が納得するとは思わないが、正直、決定権もない人間が考えても仕方ない…

50個くらいの html が 3組あってそれの共通のデータを取り出したいときに shell と perl で頑張るのはゆがんでるらしい。 手でやるほうがどうかしてるのに。

任意の同一3粒子はエンタングルしてる、って聞くと君と繋がっているようでなんとなく幸せ。おっとよく考えたら騙されてる予感。 だって、いまも君と重力相互作用しているのだから。