研究者
J-GLOBAL ID：201201002237994783   更新日: 2024年05月07日

松田 一孝

マツダ カズタカ | Matsuda Kazutaka
所属機関・部署：
東北大学 大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野

東北大学 大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野 について


職名： 准教授
ホームページURL (1件)： http://www2.sf.ecei.tohoku.ac.jp/~kztk/
研究分野 (2件)： ソフトウェア ,  情報学基礎論
研究キーワード (4件)： 領域特化言語 ,  プログラム変換 ,  関数プログラミング ,  プログラミング言語
競争的資金等の研究課題 (13件)：
  • 2022 - 2027 複数データ同期のため高水準双方向変換ネットワーク記述言語
  • 2019 - 2023 一方向プログラミングと双方向プログラミングの融合
  • 2019 - 2021 利便性の高い双方向プログラミング言語
  • 2018 - 2021 双方向変換記述のための高水準プログラミング言語
  • 2016 - 2019 継続と文脈の概念にもとづく新しい関係的プログラム意味論
全件表示
論文 (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
もっと見る
MISC (3件)：
  • 松田 一孝. ビブリオ・トーク -私のオススメ-:To Mock a Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure in Combinatory Logic. 情報処理. 2015. 56. 2. 200-201
  • 加藤 弘之, 胡 振江, 日高 宗一郎, 松田一孝. 高談闊論:双方向変換の原理と実践. コンピュータ・ソフトウェア. 2014
  • 松田 一孝. 補関数によるプログラムの双方向化に関する研究(<連載>研究会推薦博士論文速報). 情報処理. 2010. 51. 10. 1362-1362
講演・口頭発表等 (23件)：
  • Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
    (第24回プログラミングおよびプログラミング言語ワークショップ 2022)
  • Sparcl: A Language for Partially-Invertible Computation
    (第23回プログラミングおよびプログラミング言語ワークショップ 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)
もっと見る
学位 (1件)：
  • 博士(情報理工学) (東京大学)
委員歴 (7件)：
  • 2013/04 - 現在 日本ソフトウェア科学会 論文誌「コンピュータソフトウェア」編集委員
  • 2019/04 - 2023/03 情報処理学会プログラミング研究会 幹事
  • 2019/04 - 2023/03 情報処理学会 論文誌プログラミング編集委員会
  • 2019/04 - 2020/03 情報処理学会東北支部 広報幹事
  • 2013/04 - 2018/03 情報処理学会プログラミング研究会 運営委員
全件表示
受賞 (1件)：
  • 2012/01 - PEPM 2012 Best Paper Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals
所属学会 (3件)：
Association for Computing Machinery ,  情報処理学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM