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

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

ｍore...

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)：

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)

ｍore...

Professional career (1)：

Committee career (10)：

Show all

Awards (1)：

2012/01 - PEPM 2012 Best Paper Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals

Association Membership(s) (4)：

Association for Computing Machinery , 情報処理学会 , 日本ソフトウェア科学会 , 電気情報通信学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page