この記事は eeic （東京大学工学部電気電子・電子情報工学科） Advent Calendar 2018 その2の1日目の記事として書かれたものです。 （空いてたのでねじ込みました） この記事は何ですか？ 2018年10月6日から10月8日にかけて軽井沢で情報科学若手の会という集…

What is this 記事? この記事はeeic （東京大学工学部電気電子・電子情報工学科） Advent Calendar 2018 その2 18日目に参加しています． 真面目で面白い事が書きたくなったので, Coqの記事を書いてみた ゴリゴリの情報科学っぽいことを初心者がやってみたよ…