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

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 双方向変換記述のための高階関数プログラミング言語

Show all

Papers (40)：

ｍore...

MISC (2)：

松田一孝. ビブリオ・トーク -私のオススメ-:To Mock a Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure in Combinatory Logic. 情報処理. 2015. 56. 2. 200-201
加藤弘之, 胡振江, 日高宗一郎, 松田一孝. 高談闊論:双方向変換の原理と実践. Computer Software. 2014

Lectures and oral presentations (21)：

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)
負型と分数型を持つ線形型付き可逆プログラミング言語とその並行計算に基づく意味論
(日本ソフトウェア科学会第 35 回大会 2018)
HOBiT: A Higher-Order Language that Bridges Uni- and Bi-directional Programming
(2016)

ｍore...

Professional career (1)：

Committee career (7)：

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