id:nekora さんはブクマしました： どうやら関数型言語は用途が相当限られている模様。やはりコンピュータを使って何か問題を解決したい時に学ぶべきは手続き型か。 2010/03/26 仰る事は判りますが、ちょっと補足させてください。金融で関数型パラダイムが流…

今日 3/26、といっても昨日ですが、長男が生まれました。とりあえず健康そうです。頑張った妻に感謝。 彼のために日本に残る決断をしました。無事生まれてきてくれてよかった。

この二年仕事をしてきた会社ですが、アジア圏での更なる発展をめざし、東京オフィスを香港に移転することになりました。(http://www.cufp.org でも既に東京の求人は止めて、香港で出しています。) え、どこの会社？まぁ調べてくださいよ。(追記: Jane Street…

(add-hook 'tuareg-mode-hook '(lambda () ;; indentation rules (setq tuareg-lazy-= t) (setq tuareg-lazy-paren t) (setq tuareg-in-indent 0) (setq tuareg-electric-indent nil) (setq tuareg-leading-star-in-doc t) (setq tuareg-with-indent 0) (set…

What are caml_{enter,leave}_blocking_section? They are not documented in the OCaml reference manual, but are very important if you tweak C code in multi-thread OCaml environment:Jacque Garrigue wrote: With posix threads (or windows threads…

昨日は、某所の先輩である中島さんが社長をやっておられるアーヴァイン・システムズ(http://www.irvinesystems.co.jp/)と香川大学の合同セミナーで、関数型言語と金融について、自由に噺をさせていただきました。深いとこまで話さない(話せない)割には、ずい…