研究者
J-GLOBAL ID:201201002237994783   更新日: 2020年05月11日

松田 一孝

マツダ カズタカ | Matsuda Kazutaka
所属機関・部署:
職名: 准教授
ホームページURL (2件): http://db.tohoku.ac.jp/whois/detail/7e5259059a2306de4e311a8158bf864f.htmlhttp://db.tohoku.ac.jp/whois/e_detail/7e5259059a2306de4e311a8158bf864f.html
研究分野 (2件): ソフトウェア ,  情報学基礎論
研究キーワード (4件): 領域特化言語 ,  プログラム変換 ,  関数プログラミング ,  プログラミング言語
競争的資金等の研究課題 (3件):
  • 2015 - 2019 双方向変換記述のための高階関数プログラミング言語
  • 2012 - 2015 一対一でない相互変換のためのプログラム逆計算
  • 2010 - 2012 プログラムの形式文法に基づく双方向化の研究
論文 (28件):
  • Kazutaka Matsuda, Meng Wang. HOBiT: Programming Lenses Without Using Lens Combinators. Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. 2018. 31-59
  • Kazutaka Matsuda, Meng Wang. Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization. J. Funct. Program. 2018. 28. e15
  • Kazutaka Matsuda, Meng Wang. FliPpr: A System for Deriving Parsers from Pretty-Printers. New Generation Comput. 2018. 36. 3. 173-202
  • Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada. The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics. Mathematical Structures in Computer Science. 2018. 28. 2. 287-337
  • Kazutaka Matsuda, Meng Wang. "Bidirectionalization for free" for monomorphic transformations. Science of Computer Programming. 2015. 111. 79-109
もっと見る
MISC (1件):
  • 加藤 弘之, 胡 振江, 日高 宗一郎, 松田一孝. 高談闊論:双方向変換の原理と実践. コンピュータ・ソフトウェア. 2014
講演・口頭発表等 (18件):
  • Linear Quipper: 埋め込み線形型付き量子プログラミング言語
    (日本ソフトウェア科学会第35回大会 2018)
  • 負型と分数型を持つ線形型付き可逆プログラミング言語とその並行計算に基づく意味論
    (日本ソフトウェア科学会第 35 回大会 2018)
  • HOBiT: A Higher-Order Language that Bridges Uni- and Bi-directional Programming
    (日本ソフトウェア科学会第 33 回大会 2016)
  • 関数型プログラムの不変条件のICE流学習手法
    (日本ソフトウェア科学会第32回大会 2015)
  • Applicative Bidirectional Programming with Lenses
    (日本ソフトウェア科学会第32回大会 2015)
もっと見る
学位 (1件):
  • 博士(情報理工学) (東京大学)
委員歴 (4件):
  • 2013/04 - 現在 日本ソフトウェア科学会 論文誌「コンピュータソフトウェア」編集委員
  • 2013/04 - 2018/03 情報処理学会プログラミング研究会 運営委員
  • 2013/04 - 2017/03 情報処理学会 論文誌「プログラミング」編集委員
  • 2011/04 - 2015/03 情報処理学会 誌「情報処理」編集委員会,FWG委員(ただし2014年4月より同幹事,2015年4月より同主査)
受賞 (1件):
  • 2012/01 - PEPM 2012 Best Paper Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals
所属学会 (3件):
Association for Computing Machinery ,  情報処理学会 ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る