授業の記録


  1. Basic Mathematics 2016: 北陸先端科学技術大学院大学 先端科学技術研究科 情報科学系での2016年度の基礎情報数学I114の佐野担当分の授業ページ.
  2. Modal Logic (I236): 北陸先端科学技術大学院大学 先端科学技術研究科 情報科学系 2016年度 I236「論理推論と知識表現」の佐野担当分の授業ページ.
  3. I236(2-2): Modal Logic: Lecture information of lecture I236 (Logical Reasoning and Knowledge Representation) at JAIST.
  4. 上級Cプログラミング:北陸大学 未来創造学部での 2015年度後期の上級Cプログラミングの授業ページ.
  5. 数学基礎論サマースクール2015 (外部リンク): 神戸大学での数学基礎論サマースクール2015の頁。佐野は「様相論理入門」を担当(90分の講義を三つ)しました。スライドがおいてあります。
  6. Modal Logic (I236): 北陸先端科学技術大学院大学 情報科学研究科での2015年度の I236の論理推論と知識表現の佐野担当分の授業ページ.
  7. Graph and Automaton 2015: 北陸先端科学技術大学院大学 情報科学研究科での2015年度のグラフとオートマトン理論 I118の授業ページ.
  8. Basic Mathematics 2014: 北陸先端科学技術大学院大学 情報科学研究科での2014年度の基礎情報数学I114の授業ページ.
  9. Basic Mathematics 2013: 北陸先端科学技術大学院大学 情報科学研究科での2013年度の基礎情報数学I114の授業ページ.
  10. Seminar on Logic 2008: 京都大学文学部での2008年度の演習「論理学演習」のページ.