研究者
J-GLOBAL ID:201201002237994783
更新日: 2022年01月14日
松田 一孝
マツダ カズタカ | Matsuda Kazutaka
所属機関・部署:
職名:
准教授
ホームページURL (1件):
http://www2.sf.ecei.tohoku.ac.jp/~kztk/
研究分野 (2件):
ソフトウェア
, 情報学基礎論
研究キーワード (4件):
領域特化言語
, プログラム変換
, 関数プログラミング
, プログラミング言語
競争的資金等の研究課題 (11件):
- 2019 - 2023 一方向プログラミングと双方向プログラミングの融合
- 2019 - 2021 利便性の高い双方向プログラミング言語
- 2018 - 2021 双方向変換記述のための高水準プログラミング言語
- 2016 - 2019 継続と文脈の概念にもとづく新しい関係的プログラム意味論
- 2015 - 2019 双方向変換記述のための高階関数プログラミング言語
- 2013 - 2017 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
- 2011 - 2016 高階モデル検査とその応用
- 2012 - 2015 一対一でない相互変換のためのプログラム逆計算
- 2010 - 2014 双方向モデル変換の言語的基盤技術に関する研究
- 2010 - 2012 プログラムの形式文法に基づく双方向化の研究
- 2008 - 2010 ソフトウェアの安全性向上のための型理論の深化と応用
全件表示
論文 (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件):
- 2019/04 - 現在 情報処理学会プログラミング研究会 幹事
- 2019/04 - 現在 情報処理学会 論文誌プログラミング編集委員会
- 2013/04 - 現在 日本ソフトウェア科学会 論文誌「コンピュータソフトウェア」編集委員
- 2019/04 - 2020/03 情報処理学会東北支部 広報幹事
- 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
, 情報処理学会
, 日本ソフトウェア科学会
前のページに戻る