Asada Kazuyuki 浅田和之

… Alternative Names

浅田和之アサダカズユキ

Less

Researcher Number	00570251
Other IDs
Affiliation (Current)	2025: 東北大学, 電気通信研究所, 助教
Affiliation (based on the past Project Information) *help	2024: 東北大学, 電気通信研究所, 助教 2018 – 2021: 東北大学, 電気通信研究所, 助教 2016: 東京大学, 情報理工学(系)研究科, 研究員 2013: 東京大学, 情報理工学(系)研究科, 研究員
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related Except Principal Investigator Software
Keywords	Principal Investigator プログラミング言語 / 量子計算 / プログラム検証 / プログラム意味論 / 連続分布確率計算 / 再帰型 / 多相型 / 普遍的モデル / 反復補題 / 確率計算 … More / 高階文法 / ラムダ計算 / 関数型言語 / 非決定計算 / モデル検査 / ゲーム意味論 / 量子プログラミング / 線形代数 / 圏論的意味論 / 高階不動点論理 / 高階プログラム検証 / ゲーム理論 / 交差型 / 圏論 / 量子プログラミング言語 / 線形論理 / 完全抽象モデル / 表示的意味論 / 関数型プログラミング言語 … More Except Principal Investigator ソフトウェア自己適応 / ソフトウェア共進化 / 自動双方向化 / ソフトウエア自己適応 / ソフトウエア共進化 / データ同期 / グラフ変換 / 双方向変換言語 / 双方向変換 Less

量子計算・確率計算と高級プログラミング言語の融合のための基盤理論Principal Investigator
- Principal Investigator
  
  浅田和之
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Tohoku University
Universal models of programming languages and program reasoningPrincipal Investigator
- Principal Investigator
  
  Asada Kazuyuki
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- 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

All 2022 2021 2020 2018 2013

All Journal Article Presentation

[Journal Article] On Higher-Order Reachability Games vs May Reachability2022
- Author(s)
  Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi
- Journal Title
  
  arXiv preprint arXiv:2203.08416
  
  Volume: -
- Open Access
- Data Source
  KAKENHI-PROJECT-18K11156
[Journal Article] Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings2022
- Author(s)
  Takeshi Tsukada and Kazuyuki Asada
- Journal Title
  
  Proc. the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11156
[Journal Article] A Compositional Approach to Parity Games2021
- Author(s)
  Watanabe Kazuki, Eberhart Clovis, Asada Kazuyuki, Hasuo Ichiro
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 351 Pages: 278-295
- DOI
  10.4204/eptcs.351.17
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11156
[Journal Article] On Average-Case Hardness of Higher-Order Model Checking2020
- Author(s)
  Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
- Journal Title
  
  5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
  
  Volume: 167
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11156
[Journal Article] Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars2020
- Author(s)
  Kazuyuki Asada, Naoki Kobayashi
- Journal Title
  
  5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
  
  Volume: 167
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11156
[Journal Article] Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered2018
- Author(s)
  Kazuyuki Asada, Naoki Kobayashi
- Journal Title
  
  Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
  
  Volume: LIPIcs 122 Pages: 1-15
- DOI
  10.4230/LIPICS.FSTTCS.2018.14
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11156, KAKENHI-PROJECT-15H05706
[Journal Article] Species, Profunctors and Taylor Expansion Weighted by SMCC2018
- Author(s)
  Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong
- Journal Title
  
  Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
  
  Volume: - Pages: 889-898
- DOI
  10.1145/3209108.3209157
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11156, KAKENHI-PROJECT-16K16004
[Presentation] On Average-Case Hardness of Higher-Order Model Checking2020
- Author(s)
  Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
- Organizer
  5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11156
[Presentation] Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars2020
- Author(s)
  Kazuyuki Asada, Naoki Kobayashi
- Organizer
  5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11156
[Presentation] Species, Profunctors and Taylor Expansion Weighted by SMCC2018
- Author(s)
  Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong
- Organizer
  the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11156
[Presentation] Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered2018
- Author(s)
  Kazuyuki Asada, Naoki Kobayashi
- Organizer
  the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11156
[Presentation] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches2013
- Author(s)
  Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
- Organizer
  15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
- Place of Presentation
  Complutense University of Madrid, Madrid, Spain
- Year and Date
  2013-09-16
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Structural Recursion for Querying Ordered Graphs2013
- Author(s)
  Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
- Place of Presentation
  Hilton Boston Logan Airport Hotel, Boston, Massachusetts, USA
- Year and Date
  2013-09-27
- Data Source
  KAKENHI-PROJECT-25240009

1. Hu Zhenjiang (50292769)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. MATSUDA Kazutaka (10583627)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 加藤弘之 (10321580)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
6. 中野圭介 (30505839)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
7. 日高宗一郎 (70321578)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
8. ZHU Zirun

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Asada Kazuyuki 浅田 和之

浅田 和之 アサダ カズユキ

Research Projects

Research Products

Co-Researchers

量子計算・確率計算と高級プログラミング言語の融合のための基盤理論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Universal models of programming languages and program reasoningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] On Higher-Order Reachability Games vs May Reachability2022

Author(s)

Journal Title

Data Source

[Journal Article] Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings2022

Author(s)

Journal Title

Data Source

[Journal Article] A Compositional Approach to Parity Games2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On Average-Case Hardness of Higher-Order Model Checking2020

Author(s)

Journal Title

Data Source

[Journal Article] Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars2020

Author(s)

Journal Title

Data Source

[Journal Article] Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Species, Profunctors and Taylor Expansion Weighted by SMCC2018

Author(s)

Journal Title

DOI

Data Source

[Presentation] On Average-Case Hardness of Higher-Order Model Checking2020

Author(s)

Organizer

Data Source

[Presentation] Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars2020

Author(s)

Organizer

Data Source

[Presentation] Species, Profunctors and Taylor Expansion Weighted by SMCC2018

Author(s)

Organizer

Data Source

[Presentation] Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered2018

Author(s)

Organizer

Data Source

[Presentation] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches2013

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Structural Recursion for Querying Ordered Graphs2013

Author(s)

Organizer

Place of Presentation

Asada Kazuyuki 浅田和之

浅田和之アサダカズユキ