日々の流転

λ. お菓子買いだめ

今月のお菓子買いだめ。 ビックリマンとか懐かしいなぁ。

λ. Tokyo Society for the Application of Currying

Tokyo Society for the Application of Currying (TSAC)に参加。oskimura さんから、TSAC について聞いてはいたのだけど、今回、池上さんが参加されるということなので、oskimuraさんを誘って思い切って参加してみた。 こういうデフォルト英語な集まりに参加するのは初めてだったけど、参加して本当に良かったと思う。

今回の内容は、池上さんからのQuickCheckとそのRuby版RushCheckの紹介。Curt Sampson さんによる QuickCheck in Erlang の紹介。それから ICFP の作戦会議。

QuickCheck in Erlang の話は、Types for Verification のときに John Hughes さんから 聞いたことがあって、そのときは良く分からなかったけど、今回は普通に理解できた。 ただ、ちょうど知人から プログラミングErlang(Joe Armstrong/榊原一矢) を借りたまま積読になっていたので、せっかくだからこの本でErlangの予習して行けば良かったなぁ。 ちょっと勿体ないことをしてしまった。

ICFPは私も参加するつもり。彼らとは別のチームで参加するとは思うけど。

関連

• TSAC Meeting June - Tokyo Society for the Application of Currying Blog at Starling Software
• 6月の Tokyo Society for the Application of Currying (TSAC) に参加します - Inemuri nezumi diary(2008-06-19)
• Tokyo Society for the Application of Currying (TSAC) - TABのつもりですか？(makeは無慈悲なbuildの女王)