FUJITA Kenetsu

J-GLOBAL         Last updated: Nov 15, 2018 at 03:15
 
Avatar
Name
FUJITA Kenetsu
URL
http://www.comp.cs.gunma-u.ac.jp/~fujita/
Affiliation
Gunma University
Job title
Associate Professor
Degree
A study on logic and type system(Tohoku University)

Research Areas

 
 

Academic & Professional Experience

 
1987
   
 
- Relationship between type systems and logics
 
2003
   
 
On Structure of Web-graph
 

Education

 
 
 - 
1990
Graduate School, Division of Engineering, Tohoku University
 
 
   
 
Faculty of Engineering, Tohoku University
 

Misc

 
A sound and complete CPS-translation for λμ-calculus -- Extended abstract --
藤田 憲悦
京都大学数理解析研究所講究録   1437, 163--173    2005
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

Conference Activities & Talks

 
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   
On Duality Between Kripke Models and Lattice Theoretical Models of Second Order Intuitionistic Propositional Logic
Second International Conference on Order, Algebra, and Logics   2011   
On duality between Alexandrov spaces and algebraic completely distributive lattices
日本数学会2011年度秋季総合分科会 数学基礎論   2011   
A lattice theoretical description of Sobolev's Kripke models
日本数学会2011年度秋季総合分科会 数学基礎論   2011