大学情報データベース

トップ > 研究者検索 > プロフィール

研究者 : 藤田 憲悦


【プロフィール】

基本情報
【氏名】
藤田 憲悦
【カナ】
フジタ ケンエツ
【ローマ字】
Kenetsu FUJITA
所属部局等
【所属部局】
大学院理工学府
Graduate School of Science and Technology
【学科専攻】
電子情報・数理教育領域
Domain of Electronics and Infomatics, Mathematics and Physics
【講座】
情報数理工学
【本務職】
准教授
連絡情報
【連絡先】
376-8515 群馬県桐生市天神町1-5-1 群馬大学工学部
Department of Computer Science Gunma University 1-5-1 Tenjin-cho, Kiryu 376-8515 Japan
研究分野
  • 情報学基礎
【名称】
情報学基礎
Fundamental informatics
研究分野キーワード
【キーワード】
プログラミング言語 論理学 意味論
Programming language logic semantics types
研究テーマ
  • 型検査、型推論、定理証明
    Type checking, type inference, theorem proving
【キーワード】
プログラミング言語 論理学 意味論 Webグラフ
Programming language logic semantics types Web-graph
【研究態様】
個人研究
【研究制度】
経常研究
  • 計算戦略,データ型,入出力関係における双対性
    Duality on computation-strategy, data-types, and input-output relations
【キーワード】
プログラミング言語 論理学 意味論 Webグラフ
Programming language logic semantics types Web-graph
【研究態様】
個人研究
科学研究費の獲得状況
  • 簡約システムの存在定理に関する定量的性質の解明
【課題番号】
【年度】
2017年
【代表・分担】
代表
  • ラムダ計算の型問題に対する可解性・非可解性の特徴付け
【課題番号】
【年度】
2016年
【代表・分担】
代表
  • ラムダ計算の型問題に対する可解性・非可解性の特徴付け
【課題番号】
【年度】
2015年
【代表・分担】
代表
  • ラムダ計算の型問題に対する可解性・非可解性の特徴付け
【課題番号】
【年度】
2014年
【代表・分担】
代表
  • ラムダ計算の型問題に対する可解性・非可解性の特徴付け
【課題番号】
【年度】
2013年
【代表・分担】
代表
  • 計算と論理に対する層論的構造解析の展開
【課題番号】
【年度】
2012年
【代表・分担】
分担
  • 双対性に基づくプログラム変換に関する研究
【研究種目】
基盤研究(C)一般
【課題番号】
【年度】
2006年
【代表・分担】
代表
  • 双対性に基づくプログラム変換に関する研究
【研究種目】
基盤研究(C)
【課題番号】
17500004
【年度】
2005年
【代表・分担】
代表
  • チャーチのラムダ計算のBCK論理による再生
【研究種目】
基盤研究(C)(2)
【課題番号】
15540107
【年度】
2005年
【代表・分担】
分担
  • λμ計算の表示的意味論に関する研究
【研究種目】
基盤研究(C)(2)
【課題番号】
14540119
【年度】
2004年
【代表・分担】
代表
  • チャーチのラムダ計算のBCK論理による再生
【研究種目】
基盤研究(C)(2)
【課題番号】
15540107
【年度】
2004年
【代表・分担】
分担
  • λμ計算の表示的意味論に関する研究
【研究種目】
基盤研究(C)(2)
【課題番号】
14540119
【年度】
2003年
【代表・分担】
代表
  • チャーチのラムダ計算のBCK論理による再生
【研究種目】
基盤研究(C)(2)
【課題番号】
15540107
【年度】
2003年
【代表・分担】
分担
  • λμ計算の表示的意味論に関する研究
【研究種目】
基盤研究(C)(2)
【課題番号】
14540119
【年度】
2002年
【代表・分担】
代表
取得学位
  • A study on logic and type system
【取得年月】
1990年07月
【取得方法】
課程
【取得大学】
東北大学
Tohoku University
【研究分野】
情報学基礎
Fundamental informatics
使用外国語
【発表に使用する外国語】
英語
【執筆に使用する外国語】
英語