TL;DR いろんな本を使って操作的意味論と数理論理学を学び始めた MBP にインスコした CoqIde で Coq を書き始めた #100DaysOfCS を始めた はじめに 先日、大学の図書館でいろいろと本を借りてきました。 プログラミング言語の基礎概念 (CoPL) 型システム入門…