河口研究室研究成果

河口研の研究成果です。資料をダウンロードして利用する場合、河口までご連絡いただけると幸いです。
連絡先 : kawaguti[at]nagoya-u.jp

	著者	タイトル	掲載誌等	VolNo.等	ページfrom	ページto	発表・掲載日	DL数
詳細	本田和利, 河口信夫, 外山勝彦, 稲垣康善	多エージェント系自己認識論理の視覚的環境--導出原理を用いた決定手続きの視覚化--	平成9年後期情報処理学会第55回全国大会	2W-4			1997-09-01	30
詳細	片桐秀樹, 河口信夫, 稲垣康善	モーバイル環境下における赤外線を用いた自律分散通信プロトコル	マルチメディア,分散,協調とモバイルシンポジウム論文集	DICOMO1997	67	72	1997-07-02	27
詳細	河口信夫, 桑山高史, 外山勝彦, 稲垣康善	原始帰納関数を実現する項書換え系の遺伝的プログラミングによる学習	1997年度人工知能学会全国大会	26-02	524	525	1997-06-26	50
詳細	河口信夫	書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究	名古屋大学大学院工学研究科　博士学位論文				1997-02-07	308
詳細	山本博之, 松原茂樹, 河口信夫, 稲垣康善	自然言語の漸進的解釈に基づくマルチモーダル対話システム -図形エディタSync/Draw-	インタラクティブシステムとソフトウェアIV		121	130	1996-12-01
詳細	堀之内剛史, 河口信夫, 稲垣康善	GPによるゲームの評価関数生成のための事例獲得--ゲームの対戦に基づく事例の信頼度の学習--	平成8年度電気関係学会東海支部連合大会	590	295		1996-09-01	28
詳細	桑山高史, 河口信夫, 稲垣康善	GPを用いた原始帰納関数を実現するTRSの学習	平成8年度電気関係学会東海支部連合大会	589	295		1996-09-01	28
詳細	堀之内剛史，　河口信夫，　稲垣康善	遺伝的プログラミングを用いたゲームの局面評価関数の生成	第10回人工知能学会全国大会	22-03	649	652	1996-06-26	51
詳細	河口信夫, 坂部俊樹, 稲垣康善	項書換え系の解析・検証・変換のための視覚的支援手法	コンピュータソフトウェア	Vol.13,No.1	23	36	1996-01-01
詳細	河口信夫, 坂部俊樹, 稲垣康善	関数型プログラミング言語StandardMLを用いた項書換え計算の視覚化の実現	電気学会論文誌　C	Vol.116-C,No.1	103	110	1996-01-01	41
詳細	河口信夫, 大橋達也, 坂部俊樹, 稲垣康善	項書換え系における再帰経路順序の視覚化	1995年度電気関係学会東海支部連合大会	638	319		1995-09-01	28
詳細	河口信夫, 坂部俊樹, 稲垣康善	代数的仕様の解析･検証･変換のための視覚的支援環境	第1回ソフトウェア工学の基礎ワークショップFOSE'94論文集		9	16	1994-12-15	34
詳細	河口信夫, 坂部俊樹, 稲垣康善	項書換え系の計算量解析の自動化	平成6年度（1994）電気関係学会東海支部連合大会	611			1994-10-06	34
詳細	河口信夫, 坂部俊樹, 稲垣康善	可換則に基づく貢書換え系の自動変換システムとその評価	（平成6年度前期）情報処理学会第48回全国大会講演論文集	1G-1	271	272	1994-09-01	27
詳細	Nobuo Kawaguchi, Toshiki Sakabe, and Yasuyoshi Inagaki	TERSE: TErm Rewrinting Support Environment	The 1994 ACM SIGPLAN Workshop on Standard ML and its Applications	ML94	91	100	1994-06-09
詳細	河口信夫, 坂部俊樹, 稲垣康善	可換則に基づいたTRSの変換について	平成5年度（1993年）度電気関係学会東海支部連合大会	613			1993-09-01	39
詳細	河口信夫	リフレクションの機能を持つ書換え計算モデルに関する研究	名古屋大学大学院工学研究科　修士学位論文				1992-03-01
詳細	河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善	リフレクティブ書換え計算モデル	平成3年度（1991）電気関係学会東海支部連合大会	582	582		1991-09-01	33
詳細	河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善	代数的プログラミング環境	平成2年度（1990）電気関係学会東海支部連合大会	542	542		1990-09-01	33
詳細	河口信夫	関数型プログラムの検証に関する基礎的研究	名古屋大学工学部卒業論文				1990-03-25

河口研究室 研究成果

河口研究室研究成果