tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

20150318 00:07	やる気がでなすぎて大変なことになっているので旅に出たい
20150318 00:13	https://t.co/8NPZtN767J
20150318 23:40	「異なる様々な定式化が実は同値になる（例えば一例として計算能力に関してチューリングマシン=λ計算=再帰計算=... とかのような現象）ということはその概念は本質的なものなのであろう」的な考え方ってなにか一言で言える、オッカムの剃刀とかそれ系の名前ついてなかったっけ。思い出せない

presented by k.inaba (kiki .a.t. kmonos.net) under