鍋島 英知 | 山梨大学工学部コンピュータ・メディア工学科
スポンサーリンク
概要
関連著者
-
鍋島 英知
山梨大学大学院医学工学総合研究部
-
鍋島 英知
山梨大学工学部コンピュータ・メディア工学科
-
岩沼 宏治
山梨大学工学部
-
岩沼 宏治
山梨大学大学院医学工学総合研究部
-
井上 克巳
国立情報学研究所
-
羽根田 博正
神戸大学
-
羽根田 博正
神戸大学大学院自然科学研究科
-
梅原 雅之
山梨大学大学院工学研究科電子情報工学専攻
-
井上 克巳
神戸大学大学院自然科学研究科
-
中村 正人
山梨大学工学部コンピュータメディア工学科
-
井上 克巳
神戸大学工学部
-
小谷 忠史
山梨大学大学院工学研究科電子情報工学専攻
-
中村 正人
山梨大学大学院工学研究科電子情報工学専攻
-
鈴木 慎治
山梨大学コンピュータ・メディア工学科
-
鈴木 慎治
ソフトウェアマネージメント
-
西村 崇征
松下ソリューションテクノロジー株式会社
-
西村 崇征
山梨大学大学院工学研究科博士前期課程電子情報工学専攻
-
坂東 秀之
神戸大学大学院自然科学研究科
-
奥澤 望
神戸大学大学院自然科学研究科
-
小谷 忠史
(株)日本コンピュータコンサルタント
著作論文
- 投機的計算によるSATプランニングの効率改善に関する研究(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 時間的差分データの監視を目的とした携帯端末画面への表示システムに関する研究
- HTMLからXMLへの事例ベース変換における複合テキストブロックの取扱い : アライメント等の適用
- エージェントの行動学習問題におけるGAとGPの特性解析とハイブリッド化による性能向上
- アクション言語Aにおける行動規則の学習
- 非決定性アクション言語NA上のプランニング手続き
- 事例に基づくシリーズ型HTML文書の意味論理構造の自動認識 : HTMLからXMLへの自動変換を目指して
- プランニンググラフとSATプランニング(「プランニング技術の進展と新たな応用展開」)