教員紹介

専門分野

計算理論，数理論理学

■ 個人ページ：http://www.cs.gunma-u.ac.jp/~fujita/

研究概要

計算の理論，計算モデルと数理論理学の観点から情報の基礎理論を究める．

研究内容

• 専門分野：計算理論，数理論理学，プログラム基礎理論
• 研究テーマ：関数型プログラミング言語，型検査・型推論と計算可能性，モデル検査・定理証明系と数理的技法

＊関数型プログラミング言語
＊型推論・型検査問題と計算可能性
＊モデル検査・定理証明システムと形式的・数理的技法