Papers - KAWAGUCHI, Nobuo
-
視覚的項書換え環境のSMLによる実現
河口信夫, 坂部俊樹, 稲垣康善
ソフトウェア科学会第11回大会論文集 Vol. D6-4 page： 285-288 1994
-
ωメタレベルインタプリタを持つ書換えシステム
河口信夫, 坂部俊樹, 稲垣康善
電子情報通信学会春季大会講演論文集 1994
-
可換則に基づいたTRSの変換について
河口信夫, 坂部俊樹, 稲垣康善
平成5年度（1993年）度電気関係学会東海支部連合大会 Vol. 613 1993.9
-
Commutative Law Based Transformation for Improving Efficiency of Term Rewriting Systems
TECHNICAL REPORT OFIEICE Vol. COMP193 ( 64 ) page： 21-29 1993
-
リフレクションの機能を持つ書換え計算モデルに関する研究
河口信夫
名古屋大学大学院工学研究科 修士学位論文 1992.3
-
リフレクティブ書換え計算モデル
河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善
平成3年度（1991）電気関係学会東海支部連合大会 Vol. 582 page： 582 1991.9
-
代数的プログラミング環境
河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善
平成2年度（1990）電気関係学会東海支部連合大会 Vol. 542 page： 542 1990.9
-
関数型プログラムの検証に関する基礎的研究
河口信夫
名古屋大学工学部卒業論文 1990.3