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

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

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

• 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