11/5にLL名古屋というイベントを開催されました。 プログラムを見てもらえば分かりますが、いわゆるLLではなく「Lが2個はいっていれば、それはLLです」がテーマのLT大会でした。 開催経緯 発端 OSC Nagoya 2011とLL Planetの開催日が同日だったせいでLL Plan…

Gallinaによる証明駆動開発の魅力 View more presentations from Hiroki Mizuno

id:yoshihiro503さんに誘われて、VSTTE Competitionというソフトウェア検証コンテストに参加しました。 「検証ツールに特に制限はないぜ」と書かれていたのでCoqを使いました。競技プログラミンングに初めて参加しましたが、48時間ぶっとうしで同じ課題に取…