Rchr
J-GLOBAL ID:201201002237994783
Update date: Jan. 17, 2025 Matsuda Kazutaka
マツダ カズタカ | Matsuda Kazutaka
Affiliation and department: Job title:
Associate Professor
Homepage URL (1): http://www2.sf.ecei.tohoku.ac.jp/~kztk/ Research field (2):
Software
, Information theory
Research keywords (4):
領域特化言語
, プログラム変換
, 関数プログラミング
, プログラミング言語
Research theme for competitive and other funds (13): - 2022 - 2027 High-Level Bidirectional-Transformation-Network Programming Langauge for Synchronization of Multiple Data
- 2019 - 2023 一方向プログラミングと双方向プログラミングの融合
- 2019 - 2021 Highly-Usable High-Level Bidirectional Programming Language
- 2018 - 2021 双方向変換記述のための高水準プログラミング言語
- 2016 - 2019 New reational program semantics based on the notion of continuations and contexts
- 2015 - 2019 双方向変換記述のための高階関数プログラミング言語
- 2013 - 2017 Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation
- 2011 - 2016 Higher-Order Model Checking and its Applications
- 2012 - 2015 Program Inversion for m-to-1 Mutual Conversion
- 2010 - 2014 Study on Language Foundation for Bidirectional Model Transformation
- 2010 - 2012 Grammar-based Approach to Program Bidirectionalization
- 2008 - 2010 Advancement and Application of Type Theory for Improving Software Safety
- 2008 - 2009 プログラムの系統的な自動双方向化の理論と実装に関する研究
Show all
Papers (40): -
Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang. Reconciling Partial and Local Invertibility. Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II. 2024. 59-89
-
Kazutaka Matsuda, Meng Wang. Sparcl: A language for partially invertible computation. J. Funct. Program. 2024. 34
-
Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu. Embedding by Unembedding. Proceedings of the ACM on Programming Languages. 2023. 7. ICFP. 1-47
-
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang. Synbit: synthesizing bidirectional programs using unidirectional sketches. Formal Methods Syst. Des. 2022. 61. 2. 198-247
-
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang. Synbit: synthesizing bidirectional programs using unidirectional sketches. Proceedings of the ACM on Programming Languages. 2021. 5. OOPSLA. 1-31
more... MISC (3): -
松田 一孝. ビブリオ・トーク -私のオススメ-:To Mock a Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure in Combinatory Logic. 情報処理. 2015. 56. 2. 200-201
-
加藤 弘之, 胡 振江, 日高 宗一郎, 松田一孝. 高談闊論:双方向変換の原理と実践. Computer Software. 2014
-
MATSUDA Kazutaka. Construction of Bidirectional Programs with Complementary Functions(<Series>Quick Report on Doctoral Theses Recommended by IPSJ SIGs). IPSJ Magazine. 2010. 51. 10. 1362-1362
Books (1): - IT研究者のひらめき本棚 : ビブリオ・トーク : 私のオススメ
近代科学社 2017 ISBN:9784764905481
Lectures and oral presentations (29): -
先送りレンズ
(日本ソフトウェア科学会第 41 回大会 2024)
-
Embedding by Unembedding
(日本ソフトウェア科学会第41回大会 2024)
-
OCamlにおけるEmbedding by Unembedding
(第26回プログラミングおよびプログラミング言語ワークショップ 2024)
-
双方向変換言語におけるpin演算子の有用性の確認
(第26回プログラミングおよびプログラミング言語ワークショップ 2024)
-
Lenses for Web Applications
(プログラミングおよびプログラミング言語ワークショップ 2023)
more... Professional career (1): - 博士(情報理工学) (The University of Tokyo)
Committee career (9): - 2024/04 - 現在 日本ソフトウェア科学会 プログラミング論研究会 運営委員
- 2013/04 - 現在 日本ソフトウェア科学会 論文誌「コンピュータソフトウェア」編集委員
- 2024 - 2024 日本ソフトウェア科学会 プログラミング論研究会 PPLサマースクール2024 幹事
- 2019/04 - 2023/03 情報処理学会プログラミング研究会 幹事
- 2019/04 - 2023/03 情報処理学会 論文誌プログラミング編集委員会
- 2019/04 - 2020/03 情報処理学会東北支部 広報幹事
- 2013/04 - 2018/03 情報処理学会プログラミング研究会 運営委員
- 2013/04 - 2017/03 情報処理学会 論文誌「プログラミング」編集委員
- 2011/04 - 2015/03 情報処理学会 誌「情報処理」編集委員会,FWG委員(ただし2014年4月より同幹事,2015年4月より同主査)
Show all
Awards (1): - 2012/01 - PEPM 2012 Best Paper Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals
Association Membership(s) (3):
Association for Computing Machinery
, 情報処理学会
, 日本ソフトウェア科学会
Return to Previous Page