MATSUDA Kazutaka

J-GLOBAL         Last updated: Oct 5, 2018 at 19:54
 
Avatar
Name
MATSUDA Kazutaka
URL
http://db.tohoku.ac.jp/whois/e_detail/7e5259059a2306de4e311a8158bf864f.html
Affiliation
Tohoku University
Section
Graduate School of Information Sciences Department of Computer and Mathematical Sciences
Job title
Associate Professor
Degree
博士(情報理工学)(The University of Tokyo)

Research Areas

 
 

Committee Memberships

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

Awards & Honors

 
Jan 2012
Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, Best Paper, PEPM 2012
Winner: Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
 

Published Papers

 
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   Apr 2018   [Refereed]
Kazutaka Matsuda,Meng Wang
J. Funct. Program.   28 e15   2018   [Refereed]
Kazutaka Matsuda,Meng Wang
New Generation Comput.   36(3) 173-202   2018   [Refereed]
Makoto Hamana,Kazutaka Matsuda,Kazuyuki Asada
Mathematical Structures in Computer Science   28(2) 287-337   2018   [Refereed]
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   [Refereed]
Kazutaka Matsuda, Meng Wang
Science of Computer Programming   111 79-109   Nov 2015   [Refereed]
Kazutaka Matsuda, Meng Wang
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015      Sep 2015   [Refereed]
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      Jul 2015   [Refereed]
Kazutaka Matsuda,Array
Sci. Comput. Program.   111 79-109   2015   [Refereed]
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   [Refereed]
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Science of Computer Programming   78(1) 2216-2242   Nov 2013   [Refereed]
Kazutaka Matsuda, Meng Wang
15th International Symposium on Principles and Practice of Declarative Programming      Sep 2013   [Refereed]
Kazutaka Matsuda, Meng Wang
Programming Languages and Systems - 22nd European Symposium on Programming      Mar 2013   [Refereed]
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
Journal of Functional Programming   23(5) 515-551   Jan 2013   [Refereed]
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      Jan 2012   [Refereed]
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      Jan 2012   [Refereed]
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Higher-Order and Symbolic Computation   25(1) 3-38   2012   [Refereed]
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi
Higher-Order and Symbolic Computation   25(1) 39-84   2012   [Refereed]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
Logic-Based Program Synthesis and Transformation      Jul 2011   [Refereed]
Three Complementary Approaches to Bidirectional Programming
Nate Foster, Kazutaka Matsuda, Janis Voigtländer
Generic and Indexed Programming      2010   [Refereed]
Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
Programming Languages and Systems, 19th European Symposium on Programming   448-467   2010   [Refereed]
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
Proceeding of the 15th ACM SIGPLAN international conference on Functional programming   181-192   2010   [Refereed]
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   [Refereed]
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Mathematics of Program Construction, 10th International Conference   397-425   2010   [Refereed]
松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
コンピュータ・ソフトウェア   26(2) 56-75   Apr 2009   [Refereed]
Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation   61-72   2009   [Refereed]
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   [Refereed]
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming   47-58   2007   [Refereed]
木上の双方向変換を利用したファイルマネージャの実現
松田一孝, 大川徳之, 野村芳明, 森田直幸, 筧一彦, 胡振江, 武市正人
情報処理学会論文誌:トランザクション「プログラミング」   47(SIG2 (PRO28)) 84-98   Feb 2006   [Refereed]
データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案
松田一孝, 筧一彦, 胡振江, 武市正人
情報処理学会論文誌:トランザクション「プログラミング」   46(SIG11 (PRO26)) 1-15   Aug 2005   [Refereed]

Misc

 
高談闊論:双方向変換の原理と実践
加藤 弘之,胡 振江,日高 宗一郎,松田一孝
Computer Software      May 2014

Conference Activities & Talks

 
HOBiT: A Higher-Order Language that Bridges Uni- and Bi-directional Programming
Kazutaka Matsuda, Meng Wang
Sep 2016   
関数型プログラムの不変条件のICE流学習手法
千葉知也,佐藤亮介, 松田一孝,小林直樹
日本ソフトウェア科学会第32回大会   Sep 2015   
Applicative Bidirectional Programming with Lenses
Kazutaka Matsuda, Meng Wang
Sep 2015   
RePair流高階圧縮アルゴリズムの最適化
武田広太郎,小林直樹,松田一孝
日本ソフトウェア科学会第31回大会   Sep 2014   
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回プログラミングおよびプログラミング言語ワークショップ   3 Mar 2010   
PaI: A Grammar-Based Program Inversion System
Kazutaka Matsuda
The Seventh Asian Symposium on Programming Languages and Systems   14 Dec 2009   
ガイド付き木オートマトンに基づく逆プログラムの自動生成
松田一孝,穆信成, 胡振江, 武市正人
日本ソフトウェア科学会第26回大会   16 Sep 2009   
木文法の構文解析を利用したプログラム逆計算
松田一孝,胡振江, 武市正人, 穆信成
第11回プログラミングおよびプログラミング言語ワークショップ   9 Mar 2009   
補関数の生成に基づく森上の変換の双方向化
松田一孝,胡振江, 武市正人
日本ソフトウェア科学会第25回大会   10 Sep 2008   
補関数の生成による複製を含むプログラムの自動双方向化
松田一孝,胡振江,中野圭介,浜名誠,武市正人
第10回プログラミングおよびプログラミング言語ワークショップ   5 Mar 2008   
木構造データに対するビュー更新反映プログラムの自動生成
松田一孝,胡振江, 中野圭介, 浜名誠, 武市正人
第9回プログラミングおよびプログラミング言語ワークショップ   8 Mar 2007   
木上の双方向変換を利用したファイルマネージャの実現
松田一孝,胡振江, 武市正人
第8回プログラミングおよびプログラミング言語ワークショップ   5 Mar 2006   
A Domain Specific Language for Knowledge Discovery based on Dual Computations
Kazutaka Matsuda
The Second ASIAN Symposium on Programming Languages and Systems   4 Nov 2004   
階層的分割による並列連想計算
松田一孝,西岡真吾, 胡振江, 武市正人
日本ソフトウェア科学会第21回大会   15 Sep 2004   
FliPpr: A Prettier Invertible Printing System
Kazutaka Matsuda, Meng Wang
10th Asian Symposium on Programming Languages and Systems   Dec 2012   

Research Grants & Projects

 
Japan Society for the Promotion of Science: Grant-in-Aid for Young Scientists (B)
Project Year: Apr 2015 - Mar 2019    Investigator(s): MATSUDA Kazutaka
Japan Society for the Promotion of Science: Grant-in-Aid for Young Scientists (B)
Project Year: May 2012 - Mar 2015    Investigator(s): MATSUDA Kazutaka
Japan Society for the Promotion of Science: Grant-in-Aid for Research Activity Start-up
Project Year: Apr 2010 - Mar 2012    Investigator(s): MATSUDA Kazutaka