東北大学 · 電気通信研究所

研究关键词graph transformation・simply typed lambda calculus・beta reduction・order-2 finitary PCF・categorical semantics・profunctor arrows・finite graphs・decision algorithms

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• Compositional Solution of Mean Payoff Games by String Diagrams.Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
• Enriched Presheaf Model of Quantum FPC.Takeshi Tsukada, Kazuyuki Asada
• Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
• Pumping Lemma for Higher-order Languages.Kazuyuki Asada, Naoki Kobayashi

• 量子計算・確率計算と高級プログラミング言語の融合のための基盤理論浅田 和之
• 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築胡 振江, 加藤 弘之, 中野 圭介, 日高 宗一郎, 浅田 和之, 江本 健斗, 森畑 明昌, 松田 一孝
• プログラミング言語の普遍的モデルとプログラム推論浅田 和之

• 官方个人主页
• ORCID