久しぶりの一階述語論理とか頭が混乱してくる。 Class Resources に Week1 にほぼ相当するであろう資料が置いてあるので参考になる。元々は「計算知能論」って授業なのね・・・。enPit-Proスマートエスイー提供講座シリーズが関連する講座か・・・。これで 3…