授業の記録

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