南山大学

 

名古屋キャンパス/理工学部 ソフトウェア工学科

  • 理工学部3学科合計/男子:873名 女子:171名
    (2017年5月1日現在)
  • 教員/13名

教員紹介

佐々木 克巳 (教授)

  • 所属 / 理工学部ソフトウェア工学科
  • 最終学歴 / 東京理科大学大学院理工学研究科情報科学専攻博士後期課程 退学
[ 長期研究 ]
テーマ
形式論理とその応用
内容
推論を形式的立場から体系的に整理し、計算機科学や数学教育への応用を考察する。
[ 短期研究 ]
テーマ
  1. 非古典論理における標準形の論理式とexact model
  2. 形式証明と証明活動の対応の明確化とその応用
内容
  1. 非古典論理において、標準形の論理式とexact modelの構成方法を研究し、ある範囲の論理式の導出関係を古典論理と同等の形で明らかにする。
  2. 形式体系の証明図と実際の証明文との対応を明らかにし、形式体系の視点から、証明活動の適切なあり方を探る。具体的には、証明の適切な表現、証明の適切な構成、証明の適切な教育方法などを探る。
[ 趣味・特技など ] バスケットボール
[ 皆様へメッセージ ] -