MinCamlバグ
直しました。擬似コードも。発見・修正＆報告多謝。なぜかトラックバックは来ていませんでしたが、僕の見落としか設定ミスでしょうか…？
追記：なにやらこちらからのトラックバックも失敗します。一回目はread time outとか何とか言われ、二回目以降は
http://app.blog.livedoor.jp/azounoman/tb.cgi/50232574 へのトラックバックに失敗しました。 (302 Found)
だそうで…。はてなのせい？
ちなみに、ちょっと前にも書きましたが、K正規形の元になったA正規形の元になったCPSはSSAより遥かに先ですよう（1974年）。で、CPSとSSAは大体等価という。あとK正規形も僕が考えたわけじゃないです。ML Kitから来ているので…
あとレイトレのオリジナルはPascalじゃなくてBASICだったかと（だからMLに移植しても再帰がすべて末尾だったのでローカル変数をグローバルにしてもごにょごにょ）。それとも、それより前がある？
