河口研究室研究成果

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

	著者	タイトル	掲載誌等	VolNo.等	ページfrom	ページto	発表・掲載日	DL数
詳細	堀之内剛史, 河口信夫, 稲垣康善	GPによるゲームの評価関数生成のための事例獲得--ゲームの対戦に基づく事例の信頼度の学習--	平成8年度電気関係学会東海支部連合大会	590	295		1996-09-01	31
詳細	桑山高史, 河口信夫, 稲垣康善	GPを用いた原始帰納関数を実現するTRSの学習	平成8年度電気関係学会東海支部連合大会	589	295		1996-09-01	28
詳細	堀之内剛史，　河口信夫，　稲垣康善	遺伝的プログラミングを用いたゲームの局面評価関数の生成	第10回人工知能学会全国大会	22-03	649	652	1996-06-26	55
詳細	河口信夫, 坂部俊樹, 稲垣康善	項書換え系の解析・検証・変換のための視覚的支援手法	コンピュータソフトウェア	Vol.13,No.1	23	36	1996-01-01
詳細	河口信夫, 坂部俊樹, 稲垣康善	関数型プログラミング言語StandardMLを用いた項書換え計算の視覚化の実現	電気学会論文誌　C	Vol.116-C,No.1	103	110	1996-01-01	42
詳細	河口信夫, 大橋達也, 坂部俊樹, 稲垣康善	項書換え系における再帰経路順序の視覚化	1995年度電気関係学会東海支部連合大会	638	319		1995-09-01	28
詳細	河口信夫, 坂部俊樹, 稲垣康善	代数的仕様の解析･検証･変換のための視覚的支援環境	第1回ソフトウェア工学の基礎ワークショップFOSE'94論文集		9	16	1994-12-15	36
詳細	河口信夫, 坂部俊樹, 稲垣康善	項書換え系の計算量解析の自動化	平成6年度（1994）電気関係学会東海支部連合大会	611			1994-10-06	36
詳細	河口信夫, 坂部俊樹, 稲垣康善	可換則に基づく貢書換え系の自動変換システムとその評価	（平成6年度前期）情報処理学会第48回全国大会講演論文集	1G-1	271	272	1994-09-01	29
詳細	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	42
詳細	河口信夫	リフレクションの機能を持つ書換え計算モデルに関する研究	名古屋大学大学院工学研究科　修士学位論文				1992-03-01
詳細	河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善	リフレクティブ書換え計算モデル	平成3年度（1991）電気関係学会東海支部連合大会	582	582		1991-09-01	34
詳細	河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善	代数的プログラミング環境	平成2年度（1990）電気関係学会東海支部連合大会	542	542		1990-09-01	34
詳細	河口信夫	関数型プログラムの検証に関する基礎的研究	名古屋大学工学部卒業論文				1990-03-25
詳細	河口信夫	これまでの東海地域のオープンデータ/シビックテックの活動について	アーバンデータチャレンジ2016 愛知ブロックキックオフミーティング				None
詳細	河口信夫	最先端の情報技術を地域のコミュニティに！	イベントサロンなごや				None
詳細	渡邊康祐, 廣井慧, 神山剛, 佐野博之, 塚本昌克, 片桐雅二, 池田大造, 梶克彦, 河口信夫	回転磁石マーカによるスマートフォンの3次元位置推定手法					None	50
詳細	廖宸一櫻田健河口信夫‡	Webコンテンツ解析に基づくPOI潜在情報検索エンジンの提案					None
詳細	廖宸一櫻田健河口信夫	Webコンテンツ解析に基づくPOI潜在情報検索エンジンの提案					None

河口研究室 研究成果

河口研究室研究成果