河口研究室研究成果

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

	著者	タイトル	掲載誌等	VolNo.等	ページfrom	ページto	発表・掲載日	DL数
詳細	河口信夫, 坂部俊樹, 稲垣康善	代数的仕様の解析･検証･変換のための視覚的支援環境	第1回ソフトウェア工学の基礎ワークショップFOSE'94論文集		9	16	1994-12-15	31
詳細	河口信夫, 坂部俊樹, 稲垣康善	項書換え系の計算量解析の自動化	平成6年度（1994）電気関係学会東海支部連合大会	611			1994-10-06	34
詳細	河口信夫, 坂部俊樹, 稲垣康善	可換則に基づく貢書換え系の自動変換システムとその評価	（平成6年度前期）情報処理学会第48回全国大会講演論文集	1G-1	271	272	1994-09-01	25
詳細	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	37
詳細	河口信夫	リフレクションの機能を持つ書換え計算モデルに関する研究	名古屋大学大学院工学研究科　修士学位論文				1992-03-01
詳細	河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善	リフレクティブ書換え計算モデル	平成3年度（1991）電気関係学会東海支部連合大会	582	582		1991-09-01	31
詳細	河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善	代数的プログラミング環境	平成2年度（1990）電気関係学会東海支部連合大会	542	542		1990-09-01	31
詳細	河口信夫	関数型プログラムの検証に関する基礎的研究	名古屋大学工学部卒業論文				1990-03-25
詳細	河口信夫	これまでの東海地域のオープンデータ/シビックテックの活動について	アーバンデータチャレンジ2016 愛知ブロックキックオフミーティング				None
詳細	河口信夫	最先端の情報技術を地域のコミュニティに！	イベントサロンなごや				None
詳細	渡邊康祐, 廣井慧, 神山剛, 佐野博之, 塚本昌克, 片桐雅二, 池田大造, 梶克彦, 河口信夫	回転磁石マーカによるスマートフォンの3次元位置推定手法					None	50
詳細	廖宸一櫻田健河口信夫‡	Webコンテンツ解析に基づくPOI潜在情報検索エンジンの提案					None
詳細	廖宸一櫻田健河口信夫	Webコンテンツ解析に基づくPOI潜在情報検索エンジンの提案					None
詳細	河口信夫	移動体ビッグデータの時空間解析システムの構築にむけて	QPITS 招待講演				None
詳細	飯田啓量,安部真晃,嶋田光佑,廣井慧,梶克彦,河口信夫	発展途上国における土のうの共有を可能にする Web システム”Do you know Donou?”の提案					None	48
詳細	Weichang Chen, Katsuhiko Kaji, Nobuo Kawaguchi	Construction of Japanese Dish Names Database Using Multi-Feature CRF from On-Line Reviews	情報処理学会第76回全国大会	No.2, 5C-1，pp.31-32，2014			None	44
詳細	鈴木友基，梶克彦，河口信夫	無線LAN屋内位置推定のためのフロアマップの構造化					None
詳細	鈴木友基，梶克彦，河口信夫	無線LAN屋内位置推定のためのフロアマップの構造化					None
詳細	岩田耕大, 河口信夫	仮想化環境を用いた自立移動ロボット開発ワークベンチ	SI2010				None

河口研究室 研究成果

河口研究室研究成果