授業

  1. 論理推論と知識表現 [講義資料(学内)]
  2. 基礎情報数学 [講義資料(学内)]