λx. x K S K @はてな

このブログ内に記載された文章およびコードの著作権は,すべて Keisuke Nakano に帰属します.

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

Haskell Bowling

こちらから引用. うーん,この定義って 第9フレームがストライクで 第10フレームが2投(1本以上9本以下)で終わった場合, 正しい得点を返さないような気が. OCamlで書けばこんな間違いしないのに(嘘). [追記] こちらに続きがあります.

APLAS 2006

参加された皆さんお疲れ様でした. さすがに,2泊5日などという頭の悪いスケジュールを組んだのは私だけだったようで. 今回最も印象に残ったのは Tree transducerの業界で著名なSM氏と議論ができたこと 帰りの京成線でのRA氏によるCoqのチュートリアル どっ…