Daisuke Kimura

J-GLOBAL         Last updated: Apr 19, 2016 at 10:50
 
Avatar
Name
Daisuke Kimura
Affiliation
Toho University
Section
Faculty of Science

Published Papers

 
Induction by Coinduction and Control Operators in Call-by-Name
Yoshihiko Kakutani and Daisuke Kimura
In Proceedings of COS'13 workshop   EPTCS 127 101-112   Jun 2013   [Refereed]
Call-by-value and Call-by-name Dual Calculi with Inductive and Coinductive Types.
Daisuke Kimura and Makoto Tatsuta
Logical Methods in Computer Science   9(1)    Mar 2013   [Refereed]
Daisuke Kimura and Yoshihiko Kakutani
Special Issue of New Generation Computing   29(1) 61-86   2011   [Refereed]
Dual Calculus with Inductive types and Coinductive types.
Daisuke Kimura and Makoto Tatsuta
Proceedings of Rewriting Techniques and Applications, 20th International Conference (RTA 2009)      2009   [Refereed]
Classical Natural Deduction for S4 Modal Logic.
Daisuke Kimura and Yoshihiko Kakutani
Proceedings of The Seventh Asian Symposium on Programming Languages and Systems (APLAS2009)      2009   [Refereed]
A Calculus Corresponding to Classical Modal Logic S4
Daisuke Kimura
The 11th JSSST Workshop on Programming and Programming Languages (PPL2009)      2009   [Refereed]
Computation in Classical Logic and Dual Calculus.
Daisuke Kimura
   2007   [Refereed]
Call-by-Value is Dual to Call-by-Name, Extended.
Daisuke Kimura
Proceedings of The Fifth Asian Symposium on Programming Languages and Systems (APLAS2007), LNCS   4807 415-430   2007   [Refereed]
Duality between Call-by-value Reductions and Call-by-name Reductions.
Daisuke Kimura
IPSJ journal   48(4) 1721-1757   2007   [Refereed]

Research Areas

 
 

Academic & Professional Experience

 
Apr 2010
 - 
Today
Post-doctoral Researcher, National Institute of Informatics
 
Apr 2009
 - 
Mar 2010
Research Student, Graduate School of Information Science and Technology, University of Tokyo
 
Apr 2007
 - 
Mar 2009
Post-doctoral Researcher, National Institute of Informatics
 
Apr 2003
 - 
Mar 2007
Ph.D course student, Department of Informatics, The Graduate University for Advanced Studies
 
Apr 2001
 - 
Mar 2003
Master course student, Department of Mathematics, Kyoto University.
 

Others

 
Mar 2015   PPL2015 PC member, Poster chair