田村 直之 | 神戸大学工学部:神戸大学大学院自然科学研究科博士課程システム科学専攻
スポンサーリンク
概要
関連著者
-
田村 直之
神戸大学学術情報基盤センター
-
田村 直之
神戸大学工学部:神戸大学大学院自然科学研究科博士課程システム科学専攻
-
田村 直之
神戸大学工学部
-
田村 直之
神戸大 学術情報基盤セ
-
田村 直之
神戸大学工学部情報知能工学科
-
番原 睦則
神戸大学学術情報基盤センター
-
金田 悠紀夫
神戸大学工学都システム工学科
-
北川 哲
神戸大学大学院自然科学研究科
-
大西 秀志
神戸大学大学院自然科学研究科
-
金田 悠紀夫
神戸大学工学部システム工学科
-
金田 悠紀夫
神戸大学大学院 自然科学研究科
-
金田 悠紀夫
神戸大学大学院自然科学研究科
-
金田 悠紀夫
関西学院大学理工学部
-
松田 一人
神戸大学大学院自然科学研究科
-
川谷 宗之
神戸大学大学院自然科学研究科
-
岡本 英彰
神戸大学大学院自然科学研究科
-
金田 悠紀夫
神戸大学大学院自然科学研究科:神戸大学工学部
-
井上 克巳
国立情報学研究所
-
小畑 正貴
岡山理科大学工学部情報工学科
-
伴 好弘
神戸大学
-
鳩野 逸生
神戸大学学術情報基盤センター
-
伴 好弘
神戸大学 学術情報基盤センター
-
川村 尚生
鳥取大学工学部
-
前川 禎男
神戸大学工学部システム工学科
-
小畑 正貴
岡山理科大学工学部
-
田村 直之
神戸大学大学院自然科学研究科
-
和田 耕一
筑波大学電子・情報工学系:神戸大学大学院自然科学研究科
-
川谷 宗之
神戸大学自然科学研究科
-
岡本 英彰
神戸大学自然科学研究科
-
松田 一人
神戸大学自然科学研究科
-
北川 哲
神戸大学自然科学研究科
-
大西 秀志
神戸大学自然科学研究科
-
四ノ宮 昇
神戸大学大学院自然科学研究科
-
村中 大
神戸大学大学院自然科学研究科
-
浦田 泰裕
神戸大学大学院自然科学研究科
-
前川 禎男
神戸大学工学部
-
川村 尚生
鳥取大学大学院工学研究科
-
田村 直之
神戸大学
-
丹生 智也
神戸大学大学院工学研究科
-
瀧 和男
神戸大学工学部情報知能工学科
-
瀧 和男
神戸大学工学部:神戸大学大学院工学系研究科修士課程システム工学専攻
-
和田 耕一
筑波大学電子・情報工学系
-
井上 克巳
神戸大学工学部
-
伴 好弘
神戸大学学術情報基盤センター
-
和田 耕一
神戸大学大学院自然科学研究科
-
日根 俊治
松下電器産業(株)
-
鵜飼 訓史
奈良先端大・情報科学
-
坂本 浩二
神戸大学大学院自然科学研究科
-
上田 盛慈
神戸大学大学院自然科学研究科
-
鵜飼 訓史
奈良先端技術大学大学院情報科学研究科
-
田村 直之
鳥取大学工学部知能情報工学科
-
番原 睦則
奈良工業高等専門学校
-
姜 京順
釜山外国語大学校コンピュータ電子工学部
-
松島 秀樹
神戸大学大学院自然科学研究科
-
前岡 淳
神戸大学大学院 自然科学研究科
-
田村 直之
神戸大学 工学部
-
斎田 明生
神戸大学自然科学研究科
-
浦田 泰裕
神戸大学自然科学研究科
-
齋田 明生
神戸大学自然科学研究科
-
松田 秀雄
神戸大学大学院自然科学研究科
-
鳩野 逸生
神戸大学 総合情報処理センター
-
瀧 和男
神戸大学工学部
-
姜 京順
釜山外国語大学校(韓国)コンピュータ電子工学部コンピュータ工学科
-
井上 克巳[他]
国立情報学研究所
-
鳩野 逸生
神戸大学
著作論文
- SATによるシステム検証(最近のSAT技術の発展)
- 制約最適化問題とSAT符号化(最近のSAT技術の発展)
- 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 線形論理と論理プログラミング(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
- PrologからJavaへのトランスレータ処理系とその応用
- シーケンシャル実行型PrologマシンPEK : ハードウェア構成
- Prolog Cafe: Java上で動作するProlog処理系(研究のツールボックス〔第4回〕)
- Grid計算環境における2つの制約解消系の試験的実装について
- グリッド計算環境における制約解消システムの構築に向けて
- Grid 計算環境における2つの制約解消系の試験的実装について
- グリッド計算環境における制約解消システムの構築に向けて
- LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム
- 時相線形論理型言語のコンパイラ処理系のための抽象機械について
- 整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案 (特集 「AIの基本問題SATと応用技術」および一般)
- SAT型制約ソルバーSugarについて (特集 「AIの基本問題SATと応用技術」および一般)
- フィールドを有するマルチエージェントシステム記述用言語
- フィールドの概念を備えたマルチエージェント記述用言語の設計と実装について
- Prologに基づくエージェントプログラムにおけるマイグレーションの実現
- Javaを用いた異種エージェント間での協調支援工ージェントの開発に関する研究
- ネットワーク環境におけるマルチエージェントシステム記述用言語
- 分散環境下におけるマルチエージェントシステム記述用言語
- 並列Prolog処理系"K-Prolog"の実現
- 大学におけるセキュリティポリシー導入の一事例
- 大学におけるインシデント対応の一事例
- LF-001 Profit Sharingの学習の合理性に関する理論的考察(人工知能・ゲーム)
- 制約条件に論理的ORを含む組合せ最適化問題に対するハイブリッド型最適化手法の実現(サイバー増大ページ論文概要,サイバー増大号)