この記事は，OIT Advent Calender 2018 22日目の記事です． 自己紹介 数学にハマった情報科学部生（数学歴4ヶ月程度）． Haskellが好き． 圏論やりたい． Twitter（@4afS_）． この記事の対象者 / 非対象者 この記事の対象者 論理学ってどんなのか見てみたい…