mzp https://blog.hatena.ne.jp/mzp/ みずぴー日記 https://mzp.hatenadiary.org/ id:yoshihiro503さんに誘われて、VSTTE Competitionというソフトウェア検証コンテストに参加しました。 「検証ツールに特に制限はないぜ」と書かれていたのでCoqを使いました。競技プログラミンングに初めて参加しましたが、48時間ぶっとうしで同じ課題に取り組むのはとてもエキサイティングで楽しかったです。 参加メンバー [twitter:@yoshihiro503]さん [twitter:@pirapira]さん [twitter:@hirose_golf]さん ボク([twitter:@mzp]) 一日目 開始直前 yoshihiro503さんから"uiro,tebasa… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20111111%2Fvstee" title=" VSTTE Competition参加記録 - みずぴー日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/m/mzp/20111113/20111113084731.jpg Hatena Blog https://hatena.blog 2011-11-11 00:00:00 rich https://mzp.hatenadiary.org/entry/20111111/vstee 1.0 100%