2006-04-11から1日間の記事一覧

学会プログラム委員のお仕事:査読のbidding

査読のある学会のプログラム委員になると、査読をします(あたりまえ)。すべての委員がすべての論文を査読するわけではなくて(原則として議論には参加しますが)、私の分野では1本あたり3人ぐらいで分担します(sub-reviewerに外注することもあります)…

IBM PL Day

プログラミング言語の基礎研究について、(学会以外に)企業と学界が交流する機会としては、たとえばアメリカだとhttp://research.ihost.com/plday06/ http://domino.research.ibm.com/comm/research.nsf/pages/r.plansoft.plday2005.htmlのようなイベントが…

突発簡単チュートリアル1:代入(substitution)と環境(environment)

「ブログの内容がないよー」と怒られてしまったので、反省してチュートリアルもどきを始めてみる。 let pi = 3.14 in pi *. 10. *. 10. みたいな、変数定義のある式を考えます。上のプログラムは(.が多いことからもわかるように:-)OCamlですが、HaskellでもS…

手書き

突然ですが、手書きで字を書けますか?>皆様 僕は書けません。いや、もちろんまったく書けないわけではありませんが、10文字ぐらいで手が痛くなったり、漢字どころか平仮名もよくわからなくなったりします(←わりと本当)。いつもはPCを使うので困らないの…