井上 克巳 | 神戸大学工学部
スポンサーリンク
概要
関連著者
-
井上 克巳
神戸大学工学部
-
井上 克巳
国立情報学研究所
-
羽根田 博正
神戸大学
-
羽根田 博正
神戸大学工学部
-
田川 聖治
神戸大学工学部
-
田川 聖治
近畿大学理工学部
-
鍋島 英知
山梨大学大学院医学工学総合研究部
-
井上 克巳
神戸大学 工学部
-
田川 聖治
神戸大学 工学部
-
羽根田 博正
神戸大学 工学部
-
鍋島 英知
神戸大学大学院 自然科学研究科
-
田川 聖治
神戸大学
-
坂間 千秋
和歌山大学
-
佐藤 健
国立情報学研究所
-
岩沼 宏治
山梨大学大学院医学工学総合研究部
-
長谷川 隆三
九州大学大学院システム情報科学研究院
-
佐藤 健
国立情報学研究所:総合研究大学院大学
-
岡田 大輔
神戸大学
-
岩沼 宏治
山梨大学 大学院 医学工学総合研究部
-
神崎 安宣
神戸大学
-
長谷川 隆三
九州大学大学院システム情報科学研究科知能システム学専攻
-
坂間 千秋
和歌山大学システム工学部
-
井上 克巳[他]
国立情報学研究所
-
川口 俊介
神戸大学大学院自然科学研究科
-
番原 睦則
神戸大学学術情報基盤センター
-
田村 直之
神戸大学学術情報基盤センター
-
藤田 博
九州大学大学院システム情報科学研究院
-
越村 三幸
九州大学大学院システム情報科学研究院
-
新田 克己
東京工業大学大学院総合理工学研究科
-
安村 禎明
東京工業大学大学院 総合理工学研究科
-
白井 康之
三菱総合研究所
-
佐藤 健
北海道大学大学院工学研究科
-
山本 英子
豊橋技術科学大学 情報工学系
-
工藤 嘉晃
北海道大学大学院工学研究科電子情報工学専攻
-
川村 尚生
鳥取大学工学部
-
鍋島 英知
山梨大学工学部コンピュータ・メディア工学科
-
田村 直之
神戸大学工学部
-
大谷 透
神戸大学大学院自然科学研究科
-
井垣 努
松下電子部品(株)
-
関 俊一
松下電子部品(株)
-
山本 泰生
神戸大学大学院自然科学研究科
-
柴崎 真人
東京工業大学大学院
-
小松 弘
本間・小松法律事務所
-
小西 健太
神戸大学大学院自然科学研究科
-
若林 昇
神戸大学
-
鵜飼 訓史
奈良先端大・情報科学
-
上田 盛慈
神戸大学大学院自然科学研究科
-
鵜飼 訓史
奈良先端技術大学大学院情報科学研究科
-
田村 直之
鳥取大学工学部知能情報工学科
-
藤田 博
九州大学大学院システム情報科学研究科
-
田村 直之
神戸大 学術情報基盤セ
-
田村 直之
神戸大学工学部:神戸大学大学院自然科学研究科博士課程システム科学専攻
-
田村 直之
神戸大学工学部情報知能工学科
-
太田 好彦
職業能力開発大学校情報工学科
-
川村 尚生
鳥取大学大学院工学研究科
-
新田 克巳
東京工業大学大学院知能システム科学専攻
-
新田 克巳
東京工業大学大学院総合理工学研究科
-
若木 利子
芝浦工業大学システム工学部
-
若木 利子
芝浦工業大学
-
坂田 史郎
神戸大学大学院 自然科学研究科
-
金重 憲治
神戸大学大学院自然科学研究科
-
坂井 朱美
東京大学大型計算機センター
-
新田 克己
東京工業大学 大学院 総合理工学研究科 知能システム科学専攻
-
山本 友和
豊橋芸術科学大学工学部 情報工学系
-
鍋島 英知
豊橋芸術科学大学工学部 情報工学系
-
深井 一成
神戸大学大学院自然科学研究科電気電子工学専攻
-
坂東 秀之
神戸大学大学院自然科学研究科
-
松田 卓
神戸大学大学院自然科学研究科電気電子工学専攻
-
間浦 真次
神戸大学大学院自然科学研究科電気電子工学専攻
-
河口 義則
神戸大学大学院自然科学研究科電気電子工学専攻
-
中小路 宗紀
神戸大学大学院自然科学研究科電気電子工学専攻
-
関 俊一
松下電子部品 (株)
-
新田 克己
東京工業大学
-
井垣 努
松下電子部品 (株)
著作論文
- 競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- [招待論文]結論発見手続きとその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- ペナルティ関数法によるSAWフィルタのロバスト最適設計
- ダイアグラムに基づく法的論争支援システム
- アフォーダンス理論による人工技能への接近 : 記憶と身体性
- 今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
- モデル消去法に基づくSOL導出の実現
- 遺伝的アルゴリズムとアフォーダンスを用いた知能ロボットの創発
- 距離に基づく遺伝アルゴリズムの構築法 -表現型の距離と調和交叉法-
- 巡回セールスマン問題に対する遺伝的アルゴリズムの構成法 : 表現型の距離と調和交叉法
- CF帰納法における一般化に関する考察
- エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
- 遺伝アルゴリズムを枠組としたメタ戦略の構築法-グラフ彩色問題を実例として-
- デフォルト規則を含む拡張論理プログラムの学習
- 節集合の対称性を利用したSATCHMOによる充足可能性判定
- タブローに基づく論理的帰結発見手続きSOL
- SATソルバと後ろ向き推論によるアクション言語Αの実装
- アクション言語のためのボトムアップ処理系
- ノンホーンマジックセット法と関連性テストとの等価性
- 補題の利用による効率的なSOL導出の実現
- 有限オートマトンに基づく非決定性アクション言語
- アクション言語Aにおける行動規則の学習
- 拡張論理プログラム学習へのトップダウン手続きの組込み
- プランニンググラフとSATプランニング(「プランニング技術の進展と新たな応用展開」)
- Java言語によるアクション言語処理系の実装