Rchr
J-GLOBAL ID：201201002237994783   Update date: May. 07, 2024

Matsuda Kazutaka

マツダ カズタカ | Matsuda Kazutaka
Affiliation and department：
Tohoku University Graduate School of Information Sciences Department of Computer and Mathematical Sciences

About Tohoku University Graduate School of Information Sciences Department of Computer and Mathematical Sciences


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
Lectures and oral presentations  (23)：
  • Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
    (2022)
  • Sparcl: A Language for Partially-Invertible Computation
    (2021)
  • 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)
ｍore...
Professional career (1)：
  • 博士(情報理工学) (The University of Tokyo)
Committee career (7)：
  • 2013/04 - 現在 日本ソフトウェア科学会 論文誌「コンピュータソフトウェア」編集委員
  • 2019/04 - 2023/03 情報処理学会プログラミング研究会 幹事
  • 2019/04 - 2023/03 情報処理学会 論文誌プログラミング編集委員会
  • 2019/04 - 2020/03 情報処理学会東北支部 広報幹事
  • 2013/04 - 2018/03 情報処理学会プログラミング研究会 運営委員
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 ,  情報処理学会 ,  日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM