藤田 憲悦

J-GLOBALへ         更新日: 17/07/13 02:52
 
アバター
研究者氏名
藤田 憲悦
 
フジタ ケンエツ
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

 
Parallel computation and synchronized term rewirting systems --Extended abstract--
FUJITA KEN-ETSU / Aart Middeldorp
京都大学数理解析研究所講究録   Vol. 1222, pp. 105--113    2001年
Lambda-calculus with lazy lists --Extended abstract --
FUJITA KEN-ETSU
京都大学数理解析研究所講究録   Vol. 1268, pp. 118--125    2002年
Continuation Semantics and CPS-Translation of lambda-mu-Calculus
Ken-etsu Fujita
Proc. of the Fifth Symposium on Algebra, Languages and Computation, JAMS Annual Meeting   14--18   2001年
ラムダミュウ計算のモデルについて
藤田 憲悦
コンピュータソフトウェア   Vol. 20, No. 3, pp.73--79    2003年
A sound and complete CPS-translation for lambda-mu-calculus
Ken-etsu Fujita
Springer Lecture Notes in Computer Science   Vol. 2701, pp.120--134    2003年

講演・口頭発表等

 
ガロア埋め込み:多相型関数と抽象データ型の証明双対性
日本ソフトウェア科学会   2004年   
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
日本数学会2009年秋季総合分科会 数学基礎論および歴史   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年