ラムダ計算は、計算モデルとしてだけでなく、手計算の実際的手段としても役立ちます。しかし、通常使われる各種変換（アルファ、ベータ、イータ、デルタ）ではうまく計算が進まないときがあります。例えば、gがfの逆関数のとき、f(g(y)) は y に簡約されるの…

GNU bashにもいろいろなバージョンがあります。最新は 3.2.* らしいです。1.14.* なんて古いのもまだ使えます。さて、次のfor文はシェルのバージョンにより挙動が違います。 $ for x in ; do echo $x; done GNU bash, version 3.00.15(1)-release (i686-redh…

昨日の記事に6個目の星を付けてくれている方、そのはてなIDが meso_name/@livedoor。星をクリックすると、http://s.hatena.ne.jp/meso_name/@livedoor/ ってURLに飛ぶ。不思議なIDだなぁ。はてなIDって、'/'だの'@'だの入れられる？ どんな技を使ったのだろ…