2008-02-20から1日間の記事一覧

継続フェスティバル

↓という、継続(continuation)に関するinformalなワークショップがあるそうです。Academicな研究者に限らず、応用寄りの人も来てくれるとうれしいみたいです。http://logic.cs.tsukuba.ac.jp/~kam/Continuation2008/ Continuations are used, and constantly …