木村大輔

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

論文

 
Cyclic Theorem Prover for Separation Logic by Magic Wand
中澤巧爾,龍田真,木村大輔
In First Workshop on Automated Deduction for Separation Logics (ADSL) at FLoC      2018年7月   [査読有り]
Decidability of Entailments in Separation Logic with Arrays and Lists
木村大輔, 龍田真
第 20 回プログラミングおよびプログラミング言語ワークショップ論文集 (PPL2018)      2018年3月   [査読有り]
Decision Procedure for Entailment of Symbolic Heaps with Arrays
木村大輔, 龍田真
Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS2017), Lecture Notes in Computer Science   10695 169-189   2017年12月   [査読有り]
Decision Procedure for Symbolic Heaps with Arrays
木村大輔, 龍田真
第 19 回プログラミングおよびプログラミング言語ワークショップ論文集 (PPL2017)      2017年3月   [査読有り]
Translation of Symbolic Heaps with Monadic Induc- tive Definitions into Monadic Second-Order Logic
龍田真,木村大輔
第 18 回プログラミングおよびプログラ ミング言語ワークショップ論文集 (PPL2016)      2016年3月   [査読有り]
Separation Logic with Monadic Inductive Definitions and Implicit Existentials
龍田真,木村大輔
Proceedings of he 13th Asian Symposium on Programming Languages and Systems (APLAS2015), Lecture Notes in Computer Science   9458 69-89   2015年12月   [査読有り]
Induction by Coinduction and Control Operators in Call-by-Name
角谷良彦, 木村大輔
Proceedings of COS'13 workshop   EPTCS 127 101-112   2013年6月   [査読有り]
木村大輔, 龍田真
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年   [査読有り]
木村大輔, 角谷良彦
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年   [査読有り]

研究分野

 
 

経歴

 
2016年4月
 - 
現在
東邦大学 理学部情報科学科 講師
 
2015年4月
 - 
2016年3月
東邦大学 理学部情報科学科 非常勤講師
 
2010年4月
 - 
2015年3月
国立情報学研究所 特任研究員
 
2009年4月
 - 
2010年3月
東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 研究生
 
2007年4月
 - 
2009年3月
国立情報学研究所 特任研究員
 

担当経験のある科目

 
 

所属学協会

 
 

その他

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