Papers - KAWAGUCHI, Nobuo
-
項書換え系の完備化アルゴリズムの視覚化
進直孝, 河口信夫, 酒井正彦, 坂部俊樹
電気関係学会東海支部連合大会 page： 643 1997
-
Classifier Systemを用いた対戦によるゲームプレイルールの学習
梅原聡, 河口信夫, 外山勝彦, 稲垣康善
電気関係学会東海支部連合大会 page： 611 1997
-
高階項書換え系の視覚的解析支援環境の実現
渡邉啓嗣, 河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善
電気関係学会東海支部連合大会 page： 644 1997
-
自然言語の漸進的解釈に基づくマルチモーダル対話システム -図形エディタSync/Draw-
山本博之, 松原茂樹, 河口信夫, 稲垣康善
インタラクティブシステムとソフトウェアIV page： 121-130 1996.12
-
GPを用いた原始帰納関数を実現するTRSの学習
桑山高史, 河口信夫, 稲垣康善
平成8年度電気関係学会東海支部連合大会 Vol. 589 page： 295 1996.9
-
遺伝的プログラミングを用いたゲームの局面評価関数の生成
堀之内剛史， 河口信夫， 稲垣康善
第10回人工知能学会全国大会 Vol. 3月22日 page： 649-652 1996.9
-
GPによるゲームの評価関数生成のための事例獲得--ゲームの対戦に基づく事例の信頼度の学習--
堀之内剛史, 河口信夫, 稲垣康善
平成8年度電気関係学会東海支部連合大会 Vol. 590 page： 295 1996.9
-
TERSE : A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems Reviewed
Nobuo Kawaguchi, Yasuyoshi Inagaki
Proceedings of AMAST 96, LNCS 1101 page： 571-574 1996
-
Visual Support Methods for Analysis, Verification and Transformation of Term Rewriting Systems
Vol. 13 ( 1 ) page： 23-36 1996
-
Implementation of Visualization of Term Rewriting Computation Using Functional Programming Language Standard ML
Vol. 116-C ( 1 ) page： 103-110 1996
-
Visual Environment for Multiagent Autoepistemic Logic -Visualizing Decision Procedure based on Tablean Method-
page： D-123 1996
-
項書換え系における書換え関係の視覚化
大野健治, 河口信夫, 坂部俊樹, 稲垣康善
電気関係学会東海支部連合大会 page： 657 1996
-
項書換え系における書換え系列の視覚化の拡張--中間実行とフィルター--
河口信夫, 坂部俊樹, 稲垣康善
電気関係学会東海支部連合大会 page： 659 1996
-
Martin-Lofの型理論に基づくプログラム合成のための定理証明系
中山毅, 河口信夫, 坂部俊樹, 稲垣康善
電気関係学会東海支部連合大会 page： 660 1996
-
項書換え系における再帰経路順序の視覚化
河口信夫, 大橋達也, 坂部俊樹, 稲垣康善
1995年度電気関係学会東海支部連合大会 Vol. 638 page： 319 1995.9
-
可換則に基づく貢書換え系の自動変換システムとその評価
河口信夫, 坂部俊樹, 稲垣康善
（平成6年度前期）情報処理学会第48回全国大会講演論文集 Vol. 1G-1 page： 271-272 1994.9
-
項書換え系の計算量解析の自動化
河口信夫, 坂部俊樹, 稲垣康善
平成6年度（1994）電気関係学会東海支部連合大会 Vol. 611 1994.9
-
TERSE: TErm Rewrinting Support Environment
Nobuo Kawaguchi, Toshiki Sakabe, and Yasuyoshi Inagaki
The 1994 ACM SIGPLAN Workshop on Standard ML and its Applications Vol. ML94 page： 91-100 1994
-
代数的仕様の解析・検証・変換のための視覚的支援環境
河口信夫, 坂部俊樹, 稲垣康善
第1回ソフトウェア工学の基礎ワークショップFOSE'94論文集 page： 9-16 1994
-
Support Environment for Analysis and Transformation of Term Rewriting Systems with Graphical User Interface.
TECHNICAL REPORT OFIEICE ( SS-93 ) page： 44 1994