• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr
J-GLOBAL ID:201201002237994783   Update date: Jan. 17, 2025

Matsuda Kazutaka

マツダ カズタカ | Matsuda Kazutaka
Clips
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
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 情報処理学会 論文誌プログラミング編集委員会
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