Track B14:00〜14:40
Go を書きながら定理を書く安心開発スタイル
- #isabelle
- #go
- #formal-methods
DeNA TechCon 2021では、各セッションごとにTwitterハッシュタグを用意しています。
ぜひ、セッションの感想などを下記のハッシュタグ付きでツイートしてみてください！
#denatechcon #techcon_13
このセッションに関するツイートを見る
国分 佑樹
2018年からSWETチームで働いているエンジニア。本来の専門は単体テストやプロセス改善による開発の安定化と高速化だが、最近は単体テストでは解決できない領域への対処方法として形式手法に取り組んでいる。最近の活動では、iOSDC Japan 2018 ベストトーク賞2位、Qiita Advent Calendar 2017 最多いいね数賞など。オープンソース活動も活発にしており、静的検査ツールや効率的なテストを支援するためのライブラリ等を開発している。
アンケートに答えると抽選で110名様にプレゼントが当たる！
動画を視聴して、2021年3月3日23:59までにアンケートへ回答いただいた方にプレゼントキャンペーンをご用意しました。
Amazonギフト券3,000円分を抽選で100名様に、タクシーが呼べるアプリ「GO」で使える5,000円分のクーポンを抽選で10名様にプレゼント！
