中野駅で降りたときに見覚えあるなと思ったら、栗林みな実のライブで中野サンプラザに行ったことがあった。
フレームワークの安定と発展は業務用と先進者用でうまいことすみ分けるのがいいと思います。機会があったらMobaSiF使ってみたいですね。
LLでアートではGainerやarduinoの話題が出たのはおもしろかったです。
ゴルフは短縮するためのテクニックがえぐくてよかったですね。浜地氏のばっさり具合もすばらしかった。
Gallian とCoqて同じ人だ。でもプレゼンがうまくなってたかも。静的検証の「証明」についてもっと教えてほしい感じでした。
pit便利そう。
unbabelはあの呼び出し方だと呼び出しが遅そう、でもおもしろいですね。
最後の抽選会でボールを受け取って景品もらいました。舞台にいるのはラリー・ウォールと特別賞の当たった方です。もらっておいて愚痴を言うのは筋違いですが、あたってやっほ～いと思っていたら、マスタリングTCP/IPで残念です。前の版ですがすでにもっていたので。