Rchr
J-GLOBAL ID：201801021009266580
Update date: Jan. 17, 2025
Asada Kazuyuki
Asada Kazuyuki
Affiliation and department：
Homepage URL (1)：
http://www.riec.tohoku.ac.jp/~asada/
Research field (1)：
Computational science
Research keywords (9)：
関数型プログラミング言語
, ラムダ計算
, 圏論
, プログラム検証
, 型理論
, 形式言語理論
, 論理
, プログラミング言語
, プログラム意味論
Research theme for competitive and other funds (3)：
- 2024 - 2029 量子計算・確率計算と高級プログラミング言語の融合のための基盤理論
- 2018 - 2021 Universal models of programming languages and program reasoning
- 2013 - 2017 Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation
Papers (37)：
-
Keishi Hashiba, Keisuke Nakano 0001, Kazuyuki Asada, Kentaro Kikuchi. Characterizations of Partial Well-Behaved Lenses. PEPM. 2025. 43-53
-
Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Solution of Mean Payoff Games by String Diagrams. Principles of Verification (3). 2025. 423-445
-
Takeshi Tsukada, Kazuyuki Asada. Enriched Presheaf Model of Quantum FPC. Proc. ACM Program. Lang. 2024. 8. POPL. 362-392
-
Takeshi Tsukada, Kazuyuki Asada. Enriched Presheaf Model of Quantum FPC. CoRR. 2023. abs/2311.03117
-
Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Probabilistic Model Checking with String Diagrams of MDPs. CoRR. 2023. abs/2307.08765
ｍore...
MISC (3)：
-
Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi. Refinement Type Checking via Assertion Checking. 2015. 8. 3
-
Structural Recursion on Ordered Graphs. 2012. 29. 419-440
-
Semantics of multi-rooted graph and graph algebra. 2011. 28. 1-7
Professional career (1)：
Return to Previous Page
