藤田 憲悦

J-GLOBALへ         更新日: 18/11/15 03:15
 
アバター
研究者氏名
藤田 憲悦
 
フジタ ケンエツ
URL
http://www.comp.cs.gunma-u.ac.jp/~fujita/
所属
群馬大学
職名
准教授
学位
A study on logic and type system(東北大学)

研究分野

 
 

経歴

 
1987年
   
 
- 型付きプログラミング言語と論理学に関する研究
 
2003年
   
 
ウェブグラフの構造に関する研究
 

学歴

 
 
 - 
1990年
東北大学大学院 工学研究科 情報工学専攻
 
 
   
 
東北大学 工学部 電子工学専攻
 

委員歴

 
 
   
 
European Association for Theoretical Computer Science 会員
 
 
   
 
日本ソフトウェア科学会 会員
 
 
   
 
人工知能学会 会員
 
 
   
 
日本数学会 会員,基礎論・歴史分科会運営委員
 
 
   
 
情報処理学会 会員
 

Misc

 
A sound and complete CPS-translation for λμ-calculus -- Extended abstract --
藤田 憲悦
京都大学数理解析研究所講究録   1437, 163--173    2005年
An interpretation of λμ-calculus in λ-calculus
Ken-etsu Fujita
Information Processing Letters   Vol. 84, No. 5, 261-264    2002年
A bijective CPS-translation between classical and intuitionistic proofs
藤田 憲悦
Proc. of the Seventh Symposium on Algebra, Languages and Computation   pp. 2--13    2003年
A Galois embedding from polymorphic types into existential types -- Extended Abstract --
藤田 憲悦 / 長谷川 真人
京都大学数理解析研究所講究録   Vol. 1442, pp.97--114    2005年
Galois embedding from polymorphic types into existential types
FUJITA KEN-ETSU
Springer Lecture Notes in Computer Science   Vol. 3461, pp. 194--208    2005年

講演・口頭発表等

 
ガロア埋め込み:多相型関数と抽象データ型の証明双対性
日本ソフトウェア科学会   2004年   
The undecidability of type related problems for predicative second-order system in type-free style
日本数学会2009年秋季総合分科会 数学基礎論および歴史   2009年   
Type checking and type inference of existential systems
日本数学会2008年度年会 数学基礎論および歴史分科会   2009年   
The undecidability of type related problems for predicative second-order system in type-free style
Proof Theory   2010年   
On the models of 2nd order intuitionistic propositional logic
MSJ Spring Meeting 2011   2011年