研究者
J-GLOBAL ID：201801021009266580   更新日: 2024年02月01日

浅田 和之

Asada Kazuyuki
所属機関・部署：
東北大学 電気通信研究所 システム・ソフトウェア研究部門

東北大学 電気通信研究所 システム・ソフトウェア研究部門 について


ホームページURL (1件)： http://www.riec.tohoku.ac.jp/~asada/
研究分野 (1件)： 計算科学
研究キーワード (9件)： 関数型プログラミング言語 ,  ラムダ計算 ,  圏論 ,  プログラム検証 ,  型理論 ,  形式言語理論 ,  論理 ,  プログラミング言語 ,  プログラム意味論
競争的資金等の研究課題 (2件)：
  • 2018 - 2021 プログラミング言語の普遍的モデルとプログラム推論
  • 2013 - 2017 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
論文 (32件)：
  • Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Probabilistic Model Checking with String Diagrams of MDPs. CoRR. 2023. abs/2307.08765
  • Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Solution of Mean Payoff Games by String Diagrams. CoRR. 2023. abs/2307.08034
  • Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Probabilistic Model Checking with String Diagrams of MDPs. CAV (3). 2023. 40-61
  • Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi. On Higher-Order Reachability Games Vs May Reachability. Reachability Problems. 2022. 108-124
  • Takeshi Tsukada, Kazuyuki Asada. Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings. LICS. 2022. 60-13
もっと見る
MISC (3件)：
  • Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi. Refinement Type Checking via Assertion Checking. 情報処理学会論文誌プログラミング(PRO). 2015. 8. 3
  • 浅田 和之, 日高 宗一郎, 加藤 弘之. 順序付き分岐グラフのための構造的再帰. 日本ソフトウェア科学会大会論文集. 2012. 29. 419-440
  • 浅田 和之. マルチルートグラフ及びグラフ代数の意味論. 日本ソフトウェア科学会大会論文集. 2011. 28. 1-7
学位 (1件)：
  • 博士 (京都大学)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM