Nobuo Kawaguchi : Research Activities

河口研究室 研究成果

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

総レコード数:817
発表・掲載日順 ダウンロード数順
著者タイトル掲載誌等VolNo.等ページfromページto発表・掲載日DL数
詳細河口信夫書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究名古屋大学大学院工学研究科 博士学位論文1997-02-07268
詳細山本博之, 松原茂樹, 河口信夫, 稲垣康善自然言語の漸進的解釈に基づくマルチモーダル対話システム -図形エディタSync/Draw-インタラクティブシステムとソフトウェアIV1211301996-12-01
詳細堀之内剛史, 河口信夫, 稲垣康善GPによるゲームの評価関数生成のための事例獲得--ゲームの対戦に基づく事例の信頼度の学習--平成8年度電気関係学会東海支部連合大会5902951996-09-0124
詳細桑山高史, 河口信夫, 稲垣康善GPを用いた原始帰納関数を実現するTRSの学習平成8年度電気関係学会東海支部連合大会5892951996-09-0126
詳細堀之内剛史, 河口信夫, 稲垣康善遺伝的プログラミングを用いたゲームの局面評価関数の生成第10回人工知能学会全国大会22-036496521996-06-2645
詳細河口信夫, 坂部俊樹, 稲垣康善項書換え系の解析・検証・変換のための視覚的支援手法コンピュータソフトウェアVol.13,No.123361996-01-01
詳細河口信夫, 坂部俊樹, 稲垣康善関数型プログラミング言語StandardMLを用いた項書換え計算の視覚化の実現電気学会論文誌 CVol.116-C,No.11031101996-01-0139
詳細河口信夫, 大橋達也, 坂部俊樹, 稲垣康善項書換え系における再帰経路順序の視覚化1995年度電気関係学会東海支部連合大会6383191995-09-0125
詳細河口信夫, 坂部俊樹, 稲垣康善代数的仕様の解析・検証・変換のための視覚的支援環境第1回ソフトウェア工学の基礎ワークショップFOSE'94論文集9161994-12-1528
詳細河口信夫, 坂部俊樹, 稲垣康善項書換え系の計算量解析の自動化平成6年度(1994)電気関係学会東海支部連合大会6111994-10-0632
詳細河口信夫, 坂部俊樹, 稲垣康善可換則に基づく貢書換え系の自動変換システムとその評価(平成6年度前期)情報処理学会第48回全国大会講演論文集1G-12712721994-09-0123
詳細Nobuo Kawaguchi, Toshiki Sakabe, and Yasuyoshi InagakiTERSE: TErm Rewrinting Support EnvironmentThe 1994 ACM SIGPLAN Workshop on Standard ML and its ApplicationsML94911001994-06-09
詳細河口信夫, 坂部俊樹, 稲垣康善可換則に基づいたTRSの変換について平成5年度(1993年)度電気関係学会東海支部連合大会6131993-09-0134
詳細河口信夫リフレクションの機能を持つ書換え計算モデルに関する研究名古屋大学大学院工学研究科 修士学位論文1992-03-01
詳細河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善リフレクティブ書換え計算モデル平成3年度(1991)電気関係学会東海支部連合大会5825821991-09-0128
詳細河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善代数的プログラミング環境平成2年度(1990)電気関係学会東海支部連合大会5425421990-09-0128
詳細河口信夫関数型プログラムの検証に関する基礎的研究名古屋大学工学部卒業論文1990-03-25
詳細河口信夫これまでの東海地域のオープンデータ/シビックテックの活動についてアーバンデータチャレンジ2016 愛知ブロック キックオフミーティングNone
詳細河口信夫最先端の情報技術を地域のコミュニティに!イベントサロン なごやNone
詳細渡邊 康祐, 廣井 慧, 神山 剛, 佐野 博之, 塚本 昌克, 片桐 雅二, 池田 大造, 梶 克彦, 河口 信夫回転磁石マーカによるスマートフォンの3次元位置推定手法None46