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

研究キーワード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