論文 - 河口 信夫
-
GPによるゲームの評価関数生成のための事例獲得--ゲームの対戦に基づく事例の信頼度の学習--
堀之内剛史, 河口信夫, 稲垣康善
平成8年度電気関係学会東海支部連合大会 590 巻 頁： 295 1996年9月
-
遺伝的プログラミングを用いたゲームの局面評価関数の生成
堀之内剛史， 河口信夫， 稲垣康善
第10回人工知能学会全国大会 3月22日 巻 頁： 649-652 1996年9月
-
TERSE : A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems 査読有り
Nobuo Kawaguchi, Yasuyoshi Inagaki
Proceedings of AMAST 96, LNCS 1101 頁： 571-574 1996年
-
項書換え系の解析・検証・変換のための視覚的支援手法 Open Access
コンピュータソフトウェア 13 巻 ( 1 ) 頁： 23-36 1996年
-
関数型プログラミング言語StandardMLを用いた項書換え計算の視覚化の実現 Open Access
電気学会論文誌C 116-C 巻 ( 1 ) 頁： 103-110 1996年
-
多エージェント系自己認識論理の視覚的環境 -タブロー法に基づく決定手続きの視覚化-
電子情報通信学会全国大会 頁： D-123 1996年
-
項書換え系における書換え関係の視覚化
大野健治, 河口信夫, 坂部俊樹, 稲垣康善
電気関係学会東海支部連合大会 頁： 657 1996年
-
項書換え系における書換え系列の視覚化の拡張--中間実行とフィルター--
河口信夫, 坂部俊樹, 稲垣康善
電気関係学会東海支部連合大会 頁： 659 1996年
-
Martin-Lofの型理論に基づくプログラム合成のための定理証明系
中山毅, 河口信夫, 坂部俊樹, 稲垣康善
電気関係学会東海支部連合大会 頁： 660 1996年
-
項書換え系における再帰経路順序の視覚化
河口信夫, 大橋達也, 坂部俊樹, 稲垣康善
1995年度電気関係学会東海支部連合大会 638 巻 頁： 319 1995年9月
-
可換則に基づく貢書換え系の自動変換システムとその評価 Open Access
河口信夫, 坂部俊樹, 稲垣康善
（平成6年度前期）情報処理学会第48回全国大会講演論文集 1G-1 巻 頁： 271-272 1994年9月
-
項書換え系の計算量解析の自動化
河口信夫, 坂部俊樹, 稲垣康善
平成6年度（1994）電気関係学会東海支部連合大会 611 巻 1994年9月
-
TERSE: TErm Rewrinting Support Environment Open Access
Nobuo Kawaguchi, Toshiki Sakabe, and Yasuyoshi Inagaki
The 1994 ACM SIGPLAN Workshop on Standard ML and its Applications ML94 巻 頁： 91-100 1994年
-
代数的仕様の解析・検証・変換のための視覚的支援環境
河口信夫, 坂部俊樹, 稲垣康善
第1回ソフトウェア工学の基礎ワークショップFOSE'94論文集 頁： 9-16 1994年
-
グラフィカルユーザーインタフェースを持つ項書換え系の解析・変換支援環境
信学技報 ( SS-93 ) 頁： 44 1994年
-
視覚的項書換え環境のSMLによる実現 Open Access
河口信夫, 坂部俊樹, 稲垣康善
ソフトウェア科学会第11回大会論文集 D6-4 巻 頁： 285-288 1994年
-
ωメタレベルインタプリタを持つ書換えシステム
河口信夫, 坂部俊樹, 稲垣康善
電子情報通信学会春季大会講演論文集 1994年
-
可換則に基づいたTRSの変換について
河口信夫, 坂部俊樹, 稲垣康善
平成5年度（1993年）度電気関係学会東海支部連合大会 613 巻 1993年9月
-
可換則に基づく項書換え系の変換と必須呼びによる効率の評価
信学技報 COMP193 巻 ( 64 ) 頁： 21-29 1993年
-
リフレクションの機能を持つ書換え計算モデルに関する研究
河口信夫
名古屋大学大学院工学研究科 修士学位論文 1992年3月