電子情報工学科　教員・研究室：佐々木 克巳

佐々木 克巳　教授

〔専門分野〕

　情報数理，数理論理学

〔研究テーマ〕

　形式論理とその応用　

〔教員web〕

　http://www.st.nanzan-u.ac.jp/info/sasaki/

　大学の研究業績システムのページ

研究内容の紹介

• 証明のしくみを整理してみよう
• 佐々木研3年次の研究の例

主な研究業績・最近の研究業績

• "Logics and Provability", ILLC Dissertation Series DS -2001-07, Institute for Logic Language and Computation, University of Amsterdam, （2001）, pp.1-139.
• "Formulas in modal logic S4", The Review of Symbolic Logic, 3（2010）, pp. 600-627. 他