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

研究キーワード形式言語理論・プログラミング言語理論・プログラム変換・双方向変換・定理証明支援系・関数型プログラミング・木トランスデューサ理論

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• XML stream transformer generation through program composition and dependency analysisS Nishimura, K Nakano
• Graph-Transformation Verification using Monadic Second-Order LogicKazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
• On repetitive right application of B-terms.Mirai Ikebuchi, Keisuke Nakano
• 順序を考慮にいれたXQueryの融合変換加藤 弘之, 日高 宗一郎, 胡 振江, 中野 圭介, 石原 靖哲

• 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築胡 振江, 加藤 弘之, 中野 圭介, 日高 宗一郎, 浅田 和之, 江本 健斗, 森畑 明昌, 松田 一孝
• 定理証明支援系による形式木言語理論の定式化中野 圭介
• 物理的・確率的システムの検証を支える形式的基盤の構築Affeldt Reynald, J Garrigue, 勝股 審也, 溝口 佳寛, 中野 圭介, 才川 隆文
• 双方向モデル変換の言語的基盤技術に関する研究胡 振江, 日高 宗一郎, 加藤 弘之, 稲葉 一弘, 中野 圭介, 篠埜 功, 江本 健斗, 松田 一孝

• 公式プロフィール
• ORCID