河口研究室研究成果

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

	著者	タイトル	掲載誌等	VolNo.等	ページfrom	ページto	発表・掲載日	DL数
詳細	河口信夫, 坂部俊樹, 稲垣康善	ωメタレベルインタプリタを持つ書換えシステム	電子情報通信学会春季大会講演論文集				None
詳細	河口信夫, 坂部俊樹, 稲垣康善	可換則に基づく貢書換え系の変換と必須呼びによる効率の評価	電子情報通信学会議技術報告	COMP93-64			None
詳細	河口信夫, 坂部俊樹, 稲垣康善	視覚的項書換え環境のSMLによる実現	ソフトウェア科学会第11回大会論文集	D6-4	285	288	None	27
詳細	河口信夫, 坂部俊樹, 稲垣康善	グラフィカルユーザーインターフェースを持つ項書換え系の解析・変換支援環境	電子情報通信学会議技術研究報告	SS93-44			None
詳細	河口信夫, 坂部俊樹, 稲垣康善	代数的仕様の解析･検証･変換のための視覚的支援環境	ソフトウェア工学の基礎Ⅰ,レクチャーノート／ソフトウェア学１４		11	20	None
詳細	河口信夫, 杉江智美, 外山勝彦, 稲垣康善	多エージェント系自己認識論理の視覚的環境-タブロー法に基づく手続きの視覚化-	電子情報通信学会全国大会	D-123			None
詳細	河口信夫, 坂部俊樹, 稲垣康善	項書換え系における書換え系列の視覚化の拡張--中間実行とフィルター--	電気関係学会東海支部連合大会		659		None
詳細	中山毅, 河口信夫, 坂部俊樹, 稲垣康善	Martin-Lofの型理論に基づくプログラム合成のための定理証明系	電気関係学会東海支部連合大会		660		None
詳細	大野健治, 河口信夫, 坂部俊樹, 稲垣康善	項書換え系における書換え関係の視覚化	電気関係学会東海支部連合大会		657		None
詳細	山本博之, 松原茂樹, 河口信夫, 稲垣康善	自然言語の漸進的処理に基づくマルチモーダル作図システムの提案	電気関係学会東海支部連合大会		586		None
詳細	臼田尚志, 萩原秀和, 河口信夫, 稲垣康善	異性体ソフトウェア群のバージョン管理に関する一考案	電気関係学会東海支部連合大会		569		None
詳細	松永悟, 松原茂樹, 河口信夫, 外山勝彦, 稲垣康善	自然言語の漸進的解釈に基づくマルチモーダルファイル検索システムSync/Search	ソフトウェア科学会第14回大会		97	100	None	32
詳細	臼田尚志, 萩原秀和（高岳製作所）, 河口信夫, 稲垣康善（名古屋大学）	異性体ソフトウェア群のバイナリ生成・管理手法	ソフトウェア科学会第14回大会		161	164	None
詳細	臼田尚志, 萩原秀和（高岳製作所）, 河口信夫, 稲垣康善（名古屋大学）	異性体ソフトウェア郡のバイナリ生成・管理手法の関する提案	情報処理学会春季全国大会				None
詳細	堀之内剛史, 河口信夫, 稲垣康善	遺伝的プログラミングを用いたゲームの局面評価関数の学習	電子情報通信学技術研究報告	KBSE96-35	17	24	None
詳細	Shigeki Matsubara, Hiroyuki Yamamoto, Nobuo Kawaguchi, Yasuyoshi Inagaki, and KatsuhikoToyama	An Interactive Multimodal Drawing System based on Incremental Interpretation	IJCAI197 Workshop:Intelligent Multimodal System		55	62	None
詳細	Shigeki Matsubara, Nobuo Kawaguchi, Hiroyuki Ymamoto, and Yasuyoshi Inagaki	A Multi-Modal Interaction System based on Incremental Interpretation of Natural Language	The 8th International Energy Week Conference & Exhibition	ETCE'97	138	144	None
詳細	松永悟, 松原茂樹, 河口信夫, 外山勝彦, 稲垣康善	発話に即時応答可能なメールツールの提案	情報処理学会第57回全国大会講演論文集		209	210	None
詳細	片桐秀樹, 河口信夫, 外山勝彦, 稲垣康善	モバイルアドホックネットワーク構築のための分散アルゴリズムの提案とその実現	情報処理学会第57回全国大会	Vol.3	558	559	None
詳細	渡辺啓嗣, 河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善	依存対に基づく高階項書換え系の停止性証明	電子情報通信学会議技術研究報告	SS97-85	63	70	None

河口研究室 研究成果

河口研究室研究成果