Matsuda Kazutaka 松田一孝

… Alternative Names

MATSUDA Kazutaka 松田一孝

Less

Researcher Number	10583627
Other IDs
Affiliation (Current)	2025: 東北大学, 情報科学研究科, 准教授
Affiliation (based on the past Project Information) *help	2018 – 2024: 東北大学, 情報科学研究科, 准教授 2017: 東北大学, 情報科学研究科, 助教 2015 – 2016: 東北大学, 情報科学研究科, 准教授 2015 – 2016: 東北大学, 大学院情報科学研究科, 准教授 2012 – 2014: 東京大学, 情報理工学(系)研究科, 助教 … More 2013: 東京大学, 大学院情報理工学系研究科, 助教 2011: 東北大学, 情報科学研究科, 助教 2010 – 2011: 東北大学, 大学院・情報科学研究科, 助教 Less
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software Except Principal Investigator Fundamental theory of informatics / Software / Software
Keywords	Principal Investigator 双方向変換 / 関数プログラミング / プログラミング言語 / 領域特化言語 / プログラム変換 / 可逆プログラミング / 双方向プログラミング / 型推論 / 線形型システム / 可逆計算 / プログラム合成 / プログラム逆計算 / 逆計算 … More Except Principal Investigator … More グラフ変換 / 双方向変換 / 高階再帰スキーム / 型理論 / 高階モデル検査 / 型システム / ソフトウェア自己適応 / ソフトウェア共進化 / 自動双方向化 / ソフトウエア自己適応 / ソフトウエア共進化 / データ同期 / 双方向変換言語 / 関数型言語 / 関数型プログラム / 高階文法 / データ圧縮 / プログラム検証 / モデル変換 / プログラミング言語 / ソフトウエア工学 / モデル駆動ソフトウエア開発 / モデルコードの共進化 / モデル駆動ソフトウェア開発 / ソフトウェア工学 / ツリーオートマトン / 資源使用法解析 / モデル検査 / メモリ使用法解析 / 述語抽象化 / プログラム解析 / 資源使用法検証 / ソフトウェア検証 Less

High-Level Bidirectional-Transformation-Network Programming Langauge for Synchronization of Multiple DataPrincipal Investigator
- Principal Investigator
  
  松田一孝
- Project Period (FY)
  2022 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tohoku University
Combining Unidirectional and Bidirectional ProgrammingPrincipal Investigator
- Principal Investigator
  
  Matsuda Kazutaka
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tohoku University
A Higher-Order Programming Language for Bidirectional TransformationsPrincipal Investigator
- Principal Investigator
  
  Matsuda Kazutaka
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Tohoku University
Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation
- Principal Investigator
  
  Hu Zhenjiang
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Program Inversion for m-to-1 Mutual ConversionPrincipal Investigator
- Principal Investigator
  
  MATSUDA Kazutaka
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
Higher-Order Model Checking and its Applications
- Principal Investigator
  
  Kobayashi Naoki
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo
  Tohoku University
Study on Language Foundation for Bidirectional Model Transformation
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Grammar-based Approach to Program BidirectionalizationPrincipal Investigator
- Principal Investigator
  
  MATSUDA Kazutaka
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Software
- Research Institution
  Tohoku University
Advancement and Application of Type Theory for Improving Software Safety
- Principal Investigator
  
  KOBAYASHI Naoki
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University

All 2023 2022 2021 2020 2018 2017 2015 2014 2013 2012 2011 2010

All Journal Article Presentation

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

1. KOBAYASHI Naoki (00262155)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
2. IGARASHI Atsushi (40323456)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. SUMII Eijiro (00333550)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. TERAUCHI Tachio (70447150)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. HU Zhenjiang (50292769)

# of Collaborated Projects: 2 results

# of Collaborated Products: 11 results
6. HIDAKA Soichiro (70321578)

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
7. KATO Hiroyuki (10321580)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
8. NAKANO Keisuke (30505839)

# of Collaborated Projects: 2 results

# of Collaborated Products: 6 results
9. EMOTO Kento (00587470)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. INABA Kazuhiro (30570311)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
11. SASANO Isao (10362021)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
12. SHINOHARA Ayumi (00226151)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. UNNO Hiroshi (80569575)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. MORIHATA Akimasa (10582257)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 浅田和之 (00570251)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. WANG Meng

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
17. ZHU Zirun

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 浜名誠

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Matsuda Kazutaka 松田 一孝

MATSUDA Kazutaka 松田 一孝

Research Projects

Research Products

Co-Researchers

High-Level Bidirectional-Transformation-Network Programming Langauge for Synchronization of Multiple DataPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Combining Unidirectional and Bidirectional ProgrammingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A Higher-Order Programming Language for Bidirectional TransformationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Program Inversion for m-to-1 Mutual ConversionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Higher-Order Model Checking and its Applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Language Foundation for Bidirectional Model Transformation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Grammar-based Approach to Program BidirectionalizationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Advancement and Application of Type Theory for Improving Software Safety

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Embedding by Unembedding2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Synbit: synthesizing bidirectional programs using unidirectional sketches2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Synbit: synthesizing bidirectional programs using unidirectional sketches2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Sparcl: a language for partially-invertible computation2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Modular Inference of Linear Types for Multiplicity-Annotated Arrows2020

Matsuda Kazutaka 松田一孝

MATSUDA Kazutaka 松田一孝