松田 一孝

J-GLOBALへ         更新日: 18/10/05 19:54
 
アバター
研究者氏名
松田 一孝
 
マツダ カズタカ
URL
http://db.tohoku.ac.jp/whois/detail/7e5259059a2306de4e311a8158bf864f.html
所属
東北大学
部署
大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野
職名
准教授
学位
博士(情報理工学)(東京大学)

研究分野

 
 

委員歴

 
2013年4月
 - 
現在
日本ソフトウェア科学会  論文誌「コンピュータソフトウェア」編集委員
 
2013年4月
 - 
2018年3月
情報処理学会プログラミング研究会  運営委員
 
2013年4月
 - 
2017年3月
情報処理学会  論文誌「プログラミング」編集委員
 
2011年4月
 - 
2015年3月
情報処理学会  誌「情報処理」編集委員会,FWG委員(ただし2014年4月より同幹事,2015年4月より同主査)
 

受賞

 
2012年1月
PEPM 2012 Best Paper Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals
受賞者: Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
 

論文

 
Kazutaka Matsuda,Meng Wang
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   31-59   2018年4月   [査読有り]
Kazutaka Matsuda,Meng Wang
J. Funct. Program.   28 e15   2018年   [査読有り]
Kazutaka Matsuda,Meng Wang
New Generation Comput.   36(3) 173-202   2018年   [査読有り]
Makoto Hamana,Kazutaka Matsuda,Kazuyuki Asada
Mathematical Structures in Computer Science   28(2) 287-337   2018年   [査読有り]
Kazutaka Matsuda,Kazuyuki Asada
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017   71-82   2017年   [査読有り]
Kazutaka Matsuda, Meng Wang
Science of Computer Programming   111 79-109   2015年11月   [査読有り]
Kazutaka Matsuda, Meng Wang
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015      2015年9月   [査読有り]
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations
Soichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015      2015年7月   [査読有り]
Kazutaka Matsuda,Array
Sci. Comput. Program.   111 79-109   2015年   [査読有り]
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda
CONCUR 2014 - Concurrency Theory - 25th International Conference      2014年   [査読有り]
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Science of Computer Programming   78(1) 2216-2242   2013年11月   [査読有り]
Kazutaka Matsuda, Meng Wang
15th International Symposium on Principles and Practice of Declarative Programming      2013年9月   [査読有り]
Kazutaka Matsuda, Meng Wang
Programming Languages and Systems - 22nd European Symposium on Programming      2013年3月   [査読有り]
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
Journal of Functional Programming   23(5) 515-551   2013年1月   [査読有り]
Polynomial-time inverse computation for accumulative functions with multiple data traversals
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012      2012年1月   [査読有り]
Functional programs as compressed data
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012      2012年1月   [査読有り]
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Higher-Order and Symbolic Computation   25(1) 3-38   2012年   [査読有り]
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi
Higher-Order and Symbolic Computation   25(1) 39-84   2012年   [査読有り]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
Logic-Based Program Synthesis and Transformation      2011年7月   [査読有り]
Three Complementary Approaches to Bidirectional Programming
Nate Foster, Kazutaka Matsuda, Janis Voigtländer
Generic and Indexed Programming      2010年   [査読有り]
Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
Programming Languages and Systems, 19th European Symposium on Programming   448-467   2010年   [査読有り]
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
Proceeding of the 15th ACM SIGPLAN international conference on Functional programming   181-192   2010年   [査読有り]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
Proceeding of the 15th ACM SIGPLAN international conference on Functional programming   205-216   2010年   [査読有り]
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Mathematics of Program Construction, 10th International Conference   397-425   2010年   [査読有り]
松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
コンピュータ・ソフトウェア   26(2) 56-75   2009年4月   [査読有り]
Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation   61-72   2009年   [査読有り]
A Web Service Architecture for Bidirectional XML Updating
Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007   721-732   2007年   [査読有り]
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming   47-58   2007年   [査読有り]
木上の双方向変換を利用したファイルマネージャの実現
松田一孝, 大川徳之, 野村芳明, 森田直幸, 筧一彦, 胡振江, 武市正人
情報処理学会論文誌:トランザクション「プログラミング」   47(SIG2 (PRO28)) 84-98   2006年2月   [査読有り]
データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案
松田一孝, 筧一彦, 胡振江, 武市正人
情報処理学会論文誌:トランザクション「プログラミング」   46(SIG11 (PRO26)) 1-15   2005年8月   [査読有り]

Misc

 
高談闊論:双方向変換の原理と実践
加藤 弘之,胡 振江,日高 宗一郎,松田一孝
コンピュータ・ソフトウェア      2014年5月

講演・口頭発表等

 
Linear Quipper: 埋め込み線形型付き量子プログラミング言語
菅野翔太,松田一孝
日本ソフトウェア科学会第35回大会   2018年8月   
負型と分数型を持つ線形型付き可逆プログラミング言語とその並行計算に基づく意味論
八木颯,松田一孝
日本ソフトウェア科学会第 35 回大会   2018年8月   
HOBiT: A Higher-Order Language that Bridges Uni- and Bi-directional Programming
松田一孝,Meng Wang
日本ソフトウェア科学会第 33 回大会   2016年9月   
関数型プログラムの不変条件のICE流学習手法
千葉知也,佐藤亮介, 松田一孝,小林直樹
日本ソフトウェア科学会第32回大会   2015年9月   
Applicative Bidirectional Programming with Lenses
Kazutaka Matsuda, Meng Wang
日本ソフトウェア科学会第32回大会   2015年9月   
RePair流高階圧縮アルゴリズムの最適化
武田広太郎,小林直樹,松田一孝
日本ソフトウェア科学会第31回大会   2014年9月   
FliPpr: A Prettier Invertible Printing System
Kazutaka Matsuda, Meng Wang
10th Asian Symposium on Programming Languages and Systems   2012年12月   
Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
1st International Workshop on Trends in Tree Automata and Tree Transducers   2012年   
マクロ木変換器の多項式時間逆実行
松田一孝,中野圭介, 稲葉一浩
第12回プログラミングおよびプログラミング言語ワークショップ   2010年3月3日   
PaI: A Grammar-Based Program Inversion System
Kazutaka Matsuda
The Seventh Asian Symposium on Programming Languages and Systems   2009年12月14日   
ガイド付き木オートマトンに基づく逆プログラムの自動生成
松田一孝,穆信成, 胡振江, 武市正人
日本ソフトウェア科学会第26回大会   2009年9月16日   
木文法の構文解析を利用したプログラム逆計算
松田一孝,胡振江, 武市正人, 穆信成
第11回プログラミングおよびプログラミング言語ワークショップ   2009年3月9日   
補関数の生成に基づく森上の変換の双方向化
松田一孝,胡振江, 武市正人
日本ソフトウェア科学会第25回大会   2008年9月10日   
補関数の生成による複製を含むプログラムの自動双方向化
松田一孝,胡振江,中野圭介,浜名誠,武市正人
第10回プログラミングおよびプログラミング言語ワークショップ   2008年3月5日   
木構造データに対するビュー更新反映プログラムの自動生成
松田一孝,胡振江, 中野圭介, 浜名誠, 武市正人
第9回プログラミングおよびプログラミング言語ワークショップ   2007年3月8日   
木上の双方向変換を利用したファイルマネージャの実現
松田一孝,胡振江, 武市正人
第8回プログラミングおよびプログラミング言語ワークショップ   2006年3月5日   
A Domain Specific Language for Knowledge Discovery based on Dual Computations
Kazutaka Matsuda
The Second ASIAN Symposium on Programming Languages and Systems   2004年11月4日   
階層的分割による並列連想計算
松田一孝,西岡真吾, 胡振江, 武市正人
日本ソフトウェア科学会第21回大会   2004年9月15日   

担当経験のある科目

 
 

競争的資金等の研究課題

 
双方向変換記述のための高階関数プログラミング言語
日本学術振興会: 若手研究(B)
研究期間: 2015年4月 - 2019年3月    代表者: 松田 一孝
一対一でない相互変換のためのプログラム逆計算
日本学術振興会: 若手研究(B)
研究期間: 2012年5月 - 2015年3月    代表者: 松田 一孝
プログラムの形式文法に基づく双方向化の研究
日本学術振興会: 研究活動スタート支援
研究期間: 2010年4月 - 2012年3月    代表者: 松田 一孝