Tohoku University · Research Institute of Electrical Communication · 教授

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

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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, 勝股 審也, 溝口 佳寛, 中野 圭介, 才川 隆文
• 双方向モデル変換の言語的基盤技術に関する研究胡 振江, 日高 宗一郎, 加藤 弘之, 稲葉 一弘, 中野 圭介, 篠埜 功, 江本 健斗, 松田 一孝

• Official profile
• ORCID