Look, everybody, we're all looking for answer, you know. We all want to understand who we are and where we come from, but... soemtimes we want to know the answers so badly that we... believe just about anything. South Park Episode 912 Trap…

対角線論法で郡司ペギオ幸夫さんの対角線論法の話が怪しいと書いてしまったが、読み直したら読み違いだったっぽい。 「isbn:4130100971原生計算と存在論的観測―生命と時間、そして原生」付録に圏論の話が載っていて、米田の lemma もでてきますよ(顔。 ただ…

型付ラムダ計算 それと型がつけられるかということがどうも正則性公理と関わっている気がして、この公理ってないほうが楽しくないかな。 と書いたら くるるさんから正則性公理 にお返事をもらった。 むしろ言及したいのは「この公理ってないほうが」の部分で…

succeed氏が FORTRANの勉強で、Fortran が再帰ができないことをぶつくさ。 FORTRAN77を使ってみたものの、超使えない。何アレ。再帰呼び出し出来ないじゃん。と思ったら、間にラッパ関数をかませれば可能と言うクソ仕様。 C言語なんてナウい言語に慣れている…