muratak

村田 康佑

• Mail（個人）: (¥X.muratakjpXgmail.com)@ の beta normal form

学術

Interests

• プログラミング言語の理論
  • プログラム意味論
  • 定理証明支援系
  • Curry-Howard同型対応
• 数理論理学
  • 計算理論
  • 非古典論理
• データマイニング
  • テキストマイニング

論文

1. Kosuke Murata, Kento Emoto: Recursion Schemes in Coq. Lin A. (eds) In: Programming Languages and Systems. APLAS 2019. Lecture Notes in Computer Science, vol. 11893, pp. 202-221. Springer, Cham (2019)

2. 村田 康佑，江本 健斗．定理証明支援系Coqにおける不等式変形記法．情報処理学会論文誌プログラミング (PRO)，Vol. 11, No. 4, pp.1-12．(2018)

査読無し発表なども含めた完全版リストはこちら.

Notes

• 2017.12.08. 第三リスト準同型定理

CV

• 2010年4月–2013年3月　北海道函館中部高等学校，普通科
• 2014年4月–2018年3月　九州工業大学情報工学部
• 2018年4月–2020年3月　九州工業大学大学院情報工学府修了