木村 大輔

J-GLOBALへ         更新日: 16/04/19 10:50
 
アバター
研究者氏名
木村 大輔
 
キムラダイスケ
所属
東邦大学
部署
理学部
職名
講師

論文

 
Induction by Coinduction and Control Operators in Call-by-Name
角谷良彦, 木村大輔
In Proceedings of COS'13 workshop   EPTCS 127 101-112   2013年6月   [査読有り]
Call-by-value and Call-by-name Dual Calculi with Inductive and Coinductive Types.
木村 大輔, 龍田真
Logical Methods in Computer Science   9(1)    2013年3月   [査読有り]
木村 大輔, 角谷良彦
Special Issue of New Generation Computing   29(1) 61-86   2011年   [査読有り]
Dual Calculus with Inductive types and Coinductive types.
木村 大輔, 龍田真
Proceedings of Rewriting Techniques and Applications, 20th International Conference (RTA 2009)      2009年   [査読有り]
Classical Natural Deduction for S4 Modal Logic.
木村 大輔, 角谷良彦
Proceedings of The Seventh Asian Symposium on Programming Languages and Systems (APLAS2009)      2009年   [査読有り]
古典S4様相論理に対応する計算系
木村 大輔
   2009年   [査読有り]
Computation in Classical Logic and Dual Calculus.
木村 大輔
   2007年   [査読有り]
Duality between Call-by-value Reductions and Call-by-name Reductions.
木村 大輔
情報処理学会論文誌   48(4) 1721-1757   2007年   [査読有り]

研究分野

 
 

経歴

 
2010年4月
 - 
現在
国立情報学研究所 特任研究員
 
2009年4月
 - 
2010年3月
東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 研究生
 
2007年4月
 - 
2009年3月
国立情報学研究所 特任研究員
 
2003年4月
 - 
2007年3月
総合研究大学院大学 複合科学研究科 情報学専攻 博士課程
 
2001年4月
 - 
2003年3月
京都大学大学院理学研究科 数学教室 修士課程
 

担当経験のある科目

 
 

所属学協会

 
 

その他

 
2015年3月   PPL2015 プログラム委員, ポスターセッション幹事