http://tabesugi.net/memo/cur/cur.html#221300で、オレンジの語源について、a norange -> an orangeに変化したという話を読んで、イタリアで赤いオレンジジュースが欲しいときに「あらんしあ・ろっそ」をくれと言った記憶があったので、話が違うような気が…

２１章を読み始めた。'Metatheory of Recursive Types'というタイトルで、induction, coinduction, F-closed, F-consistent, fixed pointというキーワードで特徴付けられるような話が展開されている。なかなか目が慣れなくて現状青息吐息。１ページ理解する…

あちこちで噂になっているようですが http://journal.mycom.co.jp/articles/2006/08/23/java7closuer/ 提案はこれまでにもされて却下されてきた経緯があるような気がするので、提案されただけどうということはないような気がするのですが、今回のには何かこ…

増えるかと思ったら減るみたい。って、まだ結論は出ていないみたいですけど。

Erlangの使い手のBlogってないですかね。