APLAS 2006

参加された皆さんお疲れ様でした． さすがに，2泊5日などという頭の悪いスケジュールを組んだのは私だけだったようで． 今回最も印象に残ったのは

• Tree transducerの業界で著名なSM氏と議論ができたこと
• 帰りの京成線でのRA氏によるCoqのチュートリアル

どっちもAPLASの本体には直接関係ないなぁ．

忘れないうちにということで， 試しにCoqのプログラムを書いて動かしてみたが， Proof Generalがすぐに固まってしまう． ぬう．