松田一孝 Matsuda Kazutaka

研究者番号	10583627
その他のID
所属 (現在)	2025年度: 東北大学, 情報科学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2018年度 – 2024年度: 東北大学, 情報科学研究科, 准教授 2017年度: 東北大学, 情報科学研究科, 助教 2015年度 – 2016年度: 東北大学, 情報科学研究科, 准教授 2015年度 – 2016年度: 東北大学, 大学院情報科学研究科, 准教授 2012年度 – 2014年度: 東京大学, 情報理工学(系)研究科, 助教 … もっと見る 2013年度: 東京大学, 大学院情報理工学系研究科, 助教 2011年度: 東北大学, 情報科学研究科, 助教 2010年度 – 2011年度: 東北大学, 大学院・情報科学研究科, 助教隠す
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / ソフトウエア / ソフトウェア研究代表者以外情報学基礎 / ソフトウェア / ソフトウエア
キーワード	研究代表者双方向変換 / 関数プログラミング / プログラミング言語 / 領域特化言語 / プログラム変換 / 可逆プログラミング / 双方向プログラミング / 型推論 / 線形型システム / 可逆計算 / プログラム合成 / プログラム逆計算 / 逆計算 … もっと見る研究代表者以外 … もっと見るグラフ変換 / 双方向変換 / 高階再帰スキーム / 型理論 / 高階モデル検査 / 型システム / ソフトウェア自己適応 / ソフトウェア共進化 / 自動双方向化 / ソフトウエア自己適応 / ソフトウエア共進化 / データ同期 / 双方向変換言語 / 関数型言語 / 関数型プログラム / 高階文法 / データ圧縮 / プログラム検証 / モデル変換 / プログラミング言語 / ソフトウエア工学 / モデル駆動ソフトウエア開発 / モデルコードの共進化 / モデル駆動ソフトウェア開発 / ソフトウェア工学 / ツリーオートマトン / 資源使用法解析 / モデル検査 / メモリ使用法解析 / 述語抽象化 / プログラム解析 / 資源使用法検証 / ソフトウェア検証隠す

複数データ同期のため高水準双方向変換ネットワーク記述言語研究代表者
- 研究代表者
  
  松田一孝
- 研究期間 (年度)
  2022 – 2026
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東北大学
一方向プログラミングと双方向プログラミングの融合研究代表者
- 研究代表者
  
  松田一孝
- 研究期間 (年度)
  2019 – 2022
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  東北大学
双方向変換記述のための高階関数プログラミング言語研究代表者
- 研究代表者
  
  松田一孝
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  東北大学
大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
- 研究代表者
  
  胡振江
- 研究期間 (年度)
  2013 – 2016
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  ソフトウェア
- 研究機関
  国立情報学研究所
一対一でない相互変換のためのプログラム逆計算研究代表者
- 研究代表者
  
  松田一孝
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  東京大学
高階モデル検査とその応用
- 研究代表者
  
  小林直樹
- 研究期間 (年度)
  2011 – 2015
- 研究種目
  
  基盤研究(S)
- 研究分野
  
  情報学基礎
- 研究機関
  東京大学
   東北大学
双方向モデル変換の言語的基盤技術に関する研究
- 研究代表者
  
  胡振江
- 研究期間 (年度)
  2010 – 2013
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  国立情報学研究所
プログラムの形式文法に基づく双方向化の研究研究代表者
- 研究代表者
  
  松田一孝
- 研究期間 (年度)
  2010 – 2011
- 研究種目
  
  研究活動スタート支援
- 研究分野
  
  ソフトウエア
- 研究機関
  東北大学
ソフトウェアの安全性向上のための型理論の深化と応用
- 研究代表者
  
  小林直樹
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  情報学基礎
- 研究機関
  東北大学

すべて 2023 2022 2021 2020 2018 2017 2015 2014 2013 2012 2011 2010

すべて雑誌論文学会発表

[雑誌論文] Embedding by Unembedding2023
- 著者名/発表者名
  Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu
- 雑誌名
  
  Proceedings of the ACM on Programming Languages
  
  巻: 7(ICFP) 号: ICFP ページ: 1-47
- DOI
  10.1145/3607830
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K24818
[雑誌論文] Synbit: synthesizing bidirectional programs using unidirectional sketches2022
- 著者名/発表者名
  Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
- 雑誌名
  
  Formal Methods in System Design
  
  巻: 61(2) 号: 2-3 ページ: 198-247
- DOI
  10.1007/s10703-023-00436-9
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K24818
[雑誌論文] Synbit: synthesizing bidirectional programs using unidirectional sketches2021
- 著者名/発表者名
  Yamaguchi Masaomi、Matsuda Kazutaka、David Cristina、Wang Meng
- 雑誌名
  
  Proceedings of the ACM on Programming Languages
  
  巻: 5 号: OOPSLA ページ: 1-31
- DOI
  10.1145/3485482
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11892
[雑誌論文] Sparcl: a language for partially-invertible computation2020
- 著者名/発表者名
  Matsuda Kazutaka、Wang Meng
- 雑誌名
  
  Proceedings of the ACM on Programming Languages
  
  巻: 4 号: ICFP ページ: 1-31
- DOI
  10.1145/3409000
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11892
[雑誌論文] Modular Inference of Linear Types for Multiplicity-Annotated Arrows2020
- 著者名/発表者名
  Kazutaka Matsuda
- 雑誌名
  
  Programming Languages and Systems - 29th European Symposium on Programming
  
  巻: なしページ: 456-483
- DOI
  10.1007/978-3-030-44914-8_17
- ISBN
  9783030449131, 9783030449148
- 査読あり
- データソース
  KAKENHI-PROJECT-19K11892
[雑誌論文] FliPpr: A System for Deriving Parsers from Pretty-Printers2018
- 著者名/発表者名
  Kazutaka Matsuda, Meng Wang
- 雑誌名
  
  New Generation Computing
  
  巻: 36 号: 3 ページ: 173-202
- DOI
  10.1007/s00354-018-0033-7
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15966
[雑誌論文] Applicative bidirectional programming2018
- 著者名/発表者名
  Kazutaka Matsuda, Meng Wang
- 雑誌名
  
  Journal of Functional Programming
  
  巻: 28 ページ: 1-49
- DOI
  10.1017/s0956796818000096
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15966
[雑誌論文] Embedding invertible languages with binders: a case of the FliPpr language2018
- 著者名/発表者名
  Kazutaka Matsuda, Meng Wang
- 雑誌名
  
  Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell
  
  巻: なしページ: 158-171
- DOI
  10.1145/3242744.3242758
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15966
[雑誌論文] HOBiT: Programming Lenses Without Using Lens Combinators2018
- 著者名/発表者名
  Kazutaka Matsuda, Meng Wang
- 雑誌名
  
  Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018,
  
  巻: なしページ: 31-59
- DOI
  10.1007/978-3-319-89884-1_2
- ISBN
  9783319898834, 9783319898841
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15966
[雑誌論文] The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics2018
- 著者名/発表者名
  M. Hamana, K. Matsuda and K. Asada
- 雑誌名
  
  Mathematical Structures in Computer Science
  
  巻: 28 号: 2 ページ: 287-337
- DOI
  10.1017/s096012951600027x
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00092, KAKENHI-PROJECT-15K15966
[雑誌論文] A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction2017
- 著者名/発表者名
  Kazutaka Matsuda, Kazuyuki Asada
- 雑誌名
  
  Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  
  巻: －ページ: 71-82
- DOI
  10.1145/3018882.3018883
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K15966
[雑誌論文] Applicative Bidirectional Programming with Lenses2015
- 著者名/発表者名
  Kazutaka Matsuda and Meng Wang
- 雑誌名
  
  Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
  
  巻: なしページ: 62-74
- DOI
  10.1145/2784731.2784750
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15966
[雑誌論文] "Bidirectionalization for Free" for Monomorphic Transformations2015
- 著者名/発表者名
  Kazutaka Matsuda
- 雑誌名
  
  Science of Computer Programming
  
  巻: 未定ページ: 79-109
- DOI
  10.1016/j.scico.2014.07.008
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24700020
[雑誌論文] Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations2015
- 著者名/発表者名
  Soichiro Hidaka, Martin Billes, Quang Minh Tran, and Kazutaka Matsuda
- 雑誌名
  
  Proceedings of the 4th International Workshop on Bidirectional Transformations
  
  巻: なし
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15966
[雑誌論文] Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking2014
- 著者名/発表者名
  Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda
- 雑誌名
  
  Proceedings of CONCUR 2014, LNCS
  
  巻: 8704 ページ: 312-326
- DOI
  10.1007/978-3-662-44584-6_22
- ISBN
  9783662445839, 9783662445846
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23220001
[雑誌論文] FliPpr: A Prettier Invertible Printing System2013
- 著者名/発表者名
  Kazutaka Matsuda and Meng Wang
- 雑誌名
  
  Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013
  
  巻: LNCS 7792 ページ: 101-120
- DOI
  10.1007/978-3-642-37036-6_6
- ISBN
  9783642370359, 9783642370366
- 査読あり
- データソース
  KAKENHI-PROJECT-24700020
[雑誌論文] Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem2013
- 著者名/発表者名
  Kazutaka Matsuda, Meng Wang
- 雑誌名
  
  Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
  
  巻: なしページ: 297-308
- DOI
  10.1145/2505879.2505888
- 査読あり
- データソース
  KAKENHI-PROJECT-24700020
[雑誌論文] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals2013
- 著者名/発表者名
  Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
- 雑誌名
  
  Higher-Order and Symbolic Computation
  
  巻: Volume 25, Issue 1 号: 1 ページ: 3-38
- DOI
  10.1007/s10990-013-9097-8
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-25240009, KAKENHI-PROJECT-25730002
[雑誌論文] Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins2013
- 著者名/発表者名
  Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
- 雑誌名
  
  Journal of Functional Programming
  
  巻: Volume 23, Issue 5 号: 5 ページ: 515-551
- DOI
  10.1017/s0956796813000130
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-25240009
[雑誌論文] Refactoring Pattern Matching2012
- 著者名/発表者名
  Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
- 雑誌名
  
  Science of Computer Programming
  
  巻: 未定号: 11 ページ: 2216-2242
- DOI
  10.1016/j.scico.2012.07.014
- 査読あり
- データソース
  KAKENHI-PROJECT-22300012
[雑誌論文] Marker-directed Optimization of UnCAL Graph Transformations2012
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- 雑誌名
  
  LOPSTR2011 : 21st International Symposium on Logic-Based Program Synthesis and Transformation, Revised Papers
  
  巻: LNCS 7225(accepted)
- 査読あり
- データソース
  KAKENHI-PROJECT-22800003
[雑誌論文] Marker-directed Optimization of UnCAL Graph Transformations, LOPSTR 20112012
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, and Isao Sasano
- 雑誌名
  
  21st International Symposium on Logic-Based Program Synthesis and Transformation
- 査読あり
- データソース
  KAKENHI-PROJECT-22800003
[雑誌論文] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals2012
- 著者名/発表者名
  Kazutaka Matsuda, Kazuhiro Inaba and Keisuke Nakano
- 雑誌名
  
  In Proceedings of ACM SIGPLAN Partial Evaluation and Program Manipulation
  
  ページ: 5-14
- DOI
  10.1145/2103746.2103752
- 査読あり
- データソース
  KAKENHI-PROJECT-22700008, KAKENHI-PROJECT-22800003
[雑誌論文] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, PEPM 20122012
- 著者名/発表者名
  Kazutaka Matsuda, Kazuhiro Inaba, and Keisuke Nakano
- 雑誌名
  
  ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
  
  ページ: 5-14
- 査読あり
- データソース
  KAKENHI-PROJECT-22800003
[学会発表] Kalpis: An Arrow Metalanguage for Partially Invertible Computation2023
- 著者名/発表者名
  Anders Agren Thune, Kazutaka Matsuda, Meng Wang
- 学会等名
  第25回プログラミングおよびプログラミング言語ワークショップ（ポスター）
- データソース
  KAKENHI-PROJECT-23K24818
[学会発表] Embedding by Unembedding2023
- 著者名/発表者名
  Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu
- 学会等名
  The 28th ACM SIGPLAN International Conference on Functional Programming
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K24818
[学会発表] Lenses for Web Applications2023
- 著者名/発表者名
  Zihang Ye, Kazutaka Matsuda
- 学会等名
  第25回プログラミングおよびプログラミング言語ワークショップ（ポスター）
- データソース
  KAKENHI-PROJECT-23K24818
[学会発表] Synbit: synthesizing bidirectional programs using unidirectional sketches2022
- 著者名/発表者名
  Yamaguchi Masaomi、Matsuda Kazutaka、David Cristina、Wang Meng
- 学会等名
  第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）
- データソース
  KAKENHI-PROJECT-19K11892
[学会発表] Sparcl: A Language for Partially-Invertible Computation2021
- 著者名/発表者名
  Kazutaka Matsuda and Meng Wang
- 学会等名
  プログラミングおよびプログラミング言語ワークショップ
- データソース
  KAKENHI-PROJECT-19K11892
[学会発表] Modular Inference of Linear Types for Multiplicity-Annotated Arrows2020
- 著者名/発表者名
  Kazutaka Matsuda
- 学会等名
  日本ソフトウェア科学会第37回大会，トップカンファレンス特別講演
- データソース
  KAKENHI-PROJECT-19K11892
[学会発表] High-Level Language for Bidirectional Transformations: Experiences and Future Directions2020
- 著者名/発表者名
  Kazutaka Matsuda
- 学会等名
  SFDI2020: Fourth Workshop on Software Foundations for Data Interoperability
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11892
[学会発表] 負型と分数型を持つ線形型付き可逆プログラミング言語とその並行計算に基づく意味論2018
- 著者名/発表者名
  八木颯, 松田一孝
- 学会等名
  日本ソフトウェア科学会第 35 回大会（ポスター）
- データソース
  KAKENHI-PROJECT-15K15966
[学会発表] Linear Quipper: 埋め込み線形型付き量子プログラミング言語2018
- 著者名/発表者名
  菅野翔太，松田一孝，Oleg Kiselyov
- 学会等名
  第21回プログラミングおよびプログラミング言語ワークショップ（査読有り）
- データソース
  KAKENHI-PROJECT-15K15966
[学会発表] Linear Quipper: 埋め込み線形型付き量子プログラミング言語2018
- 著者名/発表者名
  菅野翔太, 松田一孝
- 学会等名
  日本ソフトウェア科学会第35回大会
- データソース
  KAKENHI-PROJECT-15K15966
[学会発表] Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations2015
- 著者名/発表者名
  Soichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda
- 学会等名
  4th International Workshop on Bidirectional Transformations (BX 2015)
- 発表場所
  L'Aquila (Italy)
- 年月日
  2015-07-24
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25240009
[学会発表] Applicative Bidirectional Programming with Lenses2015
- 著者名/発表者名
  Kazutaka Matsuda and Meng Wang
- 学会等名
  日本ソフトウェア科学会第32回大会
- 発表場所
  早稲田大学（東京）
- 年月日
  2015-09-08
- データソース
  KAKENHI-PROJECT-15K15966
[学会発表] RePair流高階圧縮アルゴリズムの最適化2014
- 著者名/発表者名
  武田広太郎、小林直樹、松田一孝
- 学会等名
  日本ソフトウェア科学会大会
- 発表場所
  名古屋大学（愛知県名古屋市）
- 年月日
  2014-09-09
- データソース
  KAKENHI-PROJECT-23220001
[学会発表] Relating a data structure and its text representation: A case study of pretty-printing and parsing2013
- 著者名/発表者名
  Kazutaka Matsuda
- 学会等名
  BIRS Workshop: Bi-directional transformations (BX) - Theory and Applications Across Disciplines (13w5115)
- 発表場所
  Banff International Research Station (Banff, Canada)
- データソース
  KAKENHI-PROJECT-24700020
[学会発表] A Type Class for Bidirectionalization: Or, a Light-Weight Approach to the View-Update Problem2013
- 著者名/発表者名
  松田一孝，Meng Wang
- 学会等名
  日本ソフトウェア科学会第30回大会
- 発表場所
  東京大学（東京都）
- データソース
  KAKENHI-PROJECT-24700020
[学会発表] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals2012
- 著者名/発表者名
  Kazutaka Matsuda
- 学会等名
  1st International Workshop on Trends in Tree Automata and Tree Transducers
- 発表場所
  Nagoya, Japan
- データソース
  KAKENHI-PROJECT-24700020
[学会発表] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals2012
- 著者名/発表者名
  松田一孝
- 学会等名
  プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  和歌山県西牟婁郡
- 年月日
  2012-03-10
- データソース
  KAKENHI-PROJECT-22800003
[学会発表] 型システムによる高階木変換器の逆像計算2011
- 著者名/発表者名
  塚田武志, 松田一孝
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  札幌
- 年月日
  2011-03-09
- データソース
  KAKENHI-PROJECT-22800003
[学会発表] A Short Review : Left Inverses vs. Right Inverses2011
- 著者名/発表者名
  Kazutaka Matsuda
- 学会等名
  4th DIKU-IST Workshop
- 発表場所
  東京
- 年月日
  2011-01-11
- データソース
  KAKENHI-PROJECT-22800003
[学会発表] Marker-directed Optimization of UnCAL Graph Transformations, LOPSTR 20112011
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, and Isao Sasano
- 学会等名
  21st International Symposium on Logic-Based Program Synthesis and Transformation
- 発表場所
  Odense, Denmark
- 年月日
  2011-07-19
- データソース
  KAKENHI-PROJECT-22800003
[学会発表] Right Inverses in Bidirectionalization2011
- 著者名/発表者名
  Kazutaka Matsuda
- 学会等名
  Dagstuhl Seminar-Bidirectional Transformations "bx"
- 発表場所
  Dagstuhl,ドイツ
- 年月日
  2011-01-20
- データソース
  KAKENHI-PROJECT-22800003
[学会発表] Marker-Directed Optimization of UnCAL Graph Transformations2011
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- 学会等名
  21^<st> International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- 発表場所
  University of Southern Denmark, Odense, Denmark
- 年月日
  2011-07-19
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Right Inverses in Bidirectionalization2011
- 著者名/発表者名
  Kazutaka Matsuda
- 学会等名
  Dagstuhl Seminar-Bidirectional Transformations"bx"
- 発表場所
  Dagstuhl, German
- 年月日
  2011-01-20
- データソース
  KAKENHI-PROJECT-22800003
[学会発表] A Short Review : Left Inverses vs. Right Inverses2011
- 著者名/発表者名
  Kazutaka Matsuda
- 学会等名
  4th DIKU-IST Workshop
- 発表場所
  Tokyo, Japan
- 年月日
  2011-01-11
- データソース
  KAKENHI-PROJECT-22800003
[学会発表] Marker-Directed Optimization of UnCAL Graph Transformations2011
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- 学会等名
  21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- 発表場所
  Odense, Denmark
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Grammar-based Approach to Invertible Programs2010
- 著者名/発表者名
  Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
- 学会等名
  19th European Symposium on Programming (ESOP 2010)
- 発表場所
  Paphos, Cyprus
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Bidirectionalizing Graph Transformations2010
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- 学会等名
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- 発表場所
  Hyatt Regency Inner Harbor, Baltimore, America
- 年月日
  2010-09-28
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Gradual Refinement : Blending Pattern Matching with Data Abstraction2010
- 著者名/発表者名
  Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
- 学会等名
  10th International Conference on Mathematics of Program Construction (MPC 2010)
- 発表場所
  Quebec City, Canada
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Combining Syntactic and Semantic Bidirectionalization2010
- 著者名/発表者名
  Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
- 学会等名
  15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- 発表場所
  Baltimore, Maryland, USA
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Combining Syntactic and Semantic Bidirectionalization2010
- 著者名/発表者名
  Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
- 学会等名
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- 発表場所
  Hyatt Regency Inner Harbor, Baltimore, America
- 年月日
  2010-09-28
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Gradual Refinement : Blending Pattern Matching With Data Abstraction2010
- 著者名/発表者名
  Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
- 学会等名
  10^<th> International Conference on Mathematics of Program Construction (MPC2010)
- 発表場所
  Manoir St-Castin, Quebec City, Canada
- 年月日
  2010-06-22
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Bidirectionalizing Graph Transformations2010
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- 学会等名
  15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- 発表場所
  Baltimore, Maryland, USA
- データソース
  KAKENHI-PROJECT-22300012

1. 小林直樹 (00262155)

共同の研究課題数: 2件

共同の研究成果数: 2件
2. 五十嵐淳 (40323456)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 住井英二郎 (00333550)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 寺内多智弘 (70447150)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 胡振江 (50292769)

共同の研究課題数: 2件

共同の研究成果数: 11件
6. 日高宗一郎 (70321578)

共同の研究課題数: 2件

共同の研究成果数: 5件
7. 加藤弘之 (10321580)

共同の研究課題数: 2件

共同の研究成果数: 4件
8. 中野圭介 (30505839)

共同の研究課題数: 2件

共同の研究成果数: 6件
9. 江本健斗 (00587470)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 稲葉一弘 (30570311)

共同の研究課題数: 1件

共同の研究成果数: 4件
11. 篠埜功 (10362021)

共同の研究課題数: 1件

共同の研究成果数: 2件
12. 篠原歩 (00226151)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 海野広志 (80569575)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 森畑明昌 (10582257)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 浅田和之 (00570251)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. WANG Meng

共同の研究課題数: 1件

共同の研究成果数: 6件
17. ZHU Zirun

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 浜名誠

共同の研究課題数: 0件

共同の研究成果数: 1件

松田 一孝 Matsuda Kazutaka

研究課題

研究成果

共同研究者

複数データ同期のため高水準双方向変換ネットワーク記述言語研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

一方向プログラミングと双方向プログラミングの融合研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

双方向変換記述のための高階関数プログラミング言語研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

一対一でない相互変換のためのプログラム逆計算研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高階モデル検査とその応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

双方向モデル変換の言語的基盤技術に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

プログラムの形式文法に基づく双方向化の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェアの安全性向上のための型理論の深化と応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Embedding by Unembedding2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Synbit: synthesizing bidirectional programs using unidirectional sketches2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Synbit: synthesizing bidirectional programs using unidirectional sketches2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Sparcl: a language for partially-invertible computation2020

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Modular Inference of Linear Types for Multiplicity-Annotated Arrows2020

著者名/発表者名

松田一孝 Matsuda Kazutaka