id:yoshihiro503さんに誘われて、VSTTE Competitionというソフトウェア検証コンテストに参加しました。 「検証ツールに特に制限はないぜ」と書かれていたのでCoqを使いました。 競技プログラミンングに初めて参加しましたが、48時間ぶっとうしで同じ課題に取り組むのはとてもエキサイティングで楽しかったです。 参加メンバー [twitter:@yoshihiro503]さん [twitter:@pirapira]さん [twitter:@hirose_golf]さん ボク([twitter:@mzp]) 一日目 開始直前 yoshihiro503さんから"uiro,tebasaki,miso,..."と列挙された謎のメールが届く。 どうやらチーム名の候補だったらしいです。 yoshihiro503さんとSkypeで話しながらbitbucketの準備をしたりする。 0:00
![VSTTE Competition参加記録 - みずぴー日記](https://cdn-ak-scissors.b.st-hatena.com/image/square/0984de101c2f34065c1ca71962b62c57dba827ff/height=288;version=1;width=512/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fm%2Fmzp%2F20111113%2F20111113084731.jpg)