2006-11-14から1日間の記事一覧
こちらから引用. うーん,この定義って 第9フレームがストライクで 第10フレームが2投(1本以上9本以下)で終わった場合, 正しい得点を返さないような気が. OCamlで書けばこんな間違いしないのに(嘘). [追記] こちらに続きがあります.
参加された皆さんお疲れ様でした. さすがに,2泊5日などという頭の悪いスケジュールを組んだのは私だけだったようで. 今回最も印象に残ったのは Tree transducerの業界で著名なSM氏と議論ができたこと 帰りの京成線でのRA氏によるCoqのチュートリアル どっ…