松田一孝

マツダカズタカ | Matsuda Kazutaka

所属機関・部署：
職名：准教授
ホームページURL (1件)： http://www2.sf.ecei.tohoku.ac.jp/~kztk/

研究分野 (2件)：ソフトウェア , 情報学基礎論

研究キーワード (4件)：領域特化言語 , プログラム変換 , 関数プログラミング , プログラミング言語

競争的資金等の研究課題 (11件)：

全件表示

論文 (40件)：

MISC (2件)：

松田一孝. ビブリオ・トーク -私のオススメ-:To Mock a Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure in Combinatory Logic. 情報処理. 2015. 56. 2. 200-201
加藤弘之, 胡振江, 日高宗一郎, 松田一孝. 高談闊論:双方向変換の原理と実践. コンピュータ・ソフトウェア. 2014

講演・口頭発表等 (21件)：

Modular Inference of Linear Types for Multiplicity-Annotated Arrows
(日本ソフトウェア科学会第37回大会 2020)
High-Level Language for Bidirectional Transformations: Experiences and Future Directions
(SFDI2020: Fourth Workshop on Software Foundations for Data Interoperability 2020)
Linear Quipper: 埋め込み線形型付き量子プログラミング言語
(日本ソフトウェア科学会第35回大会 2018)
負型と分数型を持つ線形型付き可逆プログラミング言語とその並行計算に基づく意味論
(日本ソフトウェア科学会第 35 回大会 2018)
HOBiT: A Higher-Order Language that Bridges Uni- and Bi-directional Programming
(日本ソフトウェア科学会第 33 回大会 2016)

学位 (1件)：

委員歴 (7件)：

全件表示

受賞 (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の登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

松田 一孝