ここから勉強する。 Togetterまとめ： http://togetter.com/li/43517 http://en.wikipedia.org/wiki/Reversible_computing http://en.wikipedia.org/wiki/CLOCK http://en.wikipedia.org/wiki/Closed_timelike_curve

wikipedia:jp:余弦定理 wikipedia:en:Law_of_cosines http://doc.pisan-dub.jp/2010/20100728001/3_3.html#3.3.3.2

wikipedia:jp:決定論 wikipedia:en:Determinism http://plato.stanford.edu/entries/determinism-causal/ http://philsci-archive.pitt.edu/view/subjects/determinism-indeterminism.html

日本語で「NPを信じる」というのは、NPが神とか仏の時だけ特殊な意味になっていて、「アラーを信じる」というのは「太郎を信じる」というのとは明らかに異なる。前者は「NPを神とする宗教を信仰する」というのと同じか。だとすると「聖ペトロを信じている」…

twitterで「ラムダ計算が分かっているとはどういうことか、言語学者はほぼ分かっていない」という発言を（気軽に）したら、「もう一歩踏み込んで書いて欲しい」というご要望を頂きました。僕自身、型理論の専門家と議論をしていると勉強不足を感じることが多…

http://abcnews.go.com/WNT/video/japan-rocks-11370738 http://www.sanspo.com/geino/news/100810/gnj1008100504001-n1.htm http://www.nikkansports.com/entertainment/news/p-et-tp0-20100810-664135.html http://mainichi.jp/enta/music/news/20100809mo…