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