番原 睦則 | 神戸大学学術情報基盤センター
スポンサーリンク
概要
関連著者
-
番原 睦則
神戸大学学術情報基盤センター
-
田村 直之
神戸大学学術情報基盤センター
-
田村 直之
神戸大 学術情報基盤セ
-
田村 直之
神戸大学工学部情報知能工学科
-
田村 直之
神戸大学工学部
-
田村 直之
神戸大学工学部:神戸大学大学院自然科学研究科博士課程システム科学専攻
-
番原 睦則
奈良工業高等専門学校
-
姜 京順
釜山外国語大学校コンピュータ電子工学部
-
松田 一人
神戸大学大学院自然科学研究科
-
川谷 宗之
神戸大学大学院自然科学研究科
-
岡本 英彰
神戸大学大学院自然科学研究科
-
北川 哲
神戸大学大学院自然科学研究科
-
大西 秀志
神戸大学大学院自然科学研究科
-
井上 克巳
国立情報学研究所
-
姜 京順
神戸大学大学院自然科学研究科
-
川谷 宗之
神戸大学自然科学研究科
-
岡本 英彰
神戸大学自然科学研究科
-
松田 一人
神戸大学自然科学研究科
-
北川 哲
神戸大学自然科学研究科
-
大西 秀志
神戸大学自然科学研究科
-
姜 京順
釜山外国語大学校(韓国)コンピュータ電子工学部コンピュータ工学科
-
豊田 正史
東京大学
-
丹生 智也
神戸大学大学院工学研究科
-
河野 健二
慶應義塾大学
-
川村 尚生
鳥取大学工学部
-
権藤 克彦
東京工業大学情報理工学研究科計算工学専攻
-
井上 克巳
神戸大学工学部
-
田村 直之
神戸大学大学院自然科学研究科
-
鵜飼 訓史
奈良先端大・情報科学
-
上田 盛慈
神戸大学大学院自然科学研究科
-
鵜飼 訓史
奈良先端技術大学大学院情報科学研究科
-
田村 直之
鳥取大学工学部知能情報工学科
-
平井 崇晴
神戸大学大学院自然科学研究科
-
吉川 英男
神戸大学大学院自然科学研究科
-
川村 尚生
鳥取大学大学院工学研究科
-
宋 剛秀
奈良工業高等専門学校
-
宋 剛秀
神戸大学
-
井上 克巳[他]
国立情報学研究所
-
田村 直之
神戸大学情報基盤センター
-
番原 睦則
神戸大学情報基盤センター
-
宋 剛秀
神戸大学情報基盤センター
著作論文
- SATによるシステム検証(最近のSAT技術の発展)
- 制約最適化問題とSAT符号化(最近のSAT技術の発展)
- SATによるシステム検証
- 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- PrologからJavaへのトランスレータ処理系とその応用
- Prolog Cafe: Java上で動作するProlog処理系(研究のツールボックス〔第4回〕)
- Grid計算環境における2つの制約解消系の試験的実装について
- グリッド計算環境における制約解消システムの構築に向けて
- Grid 計算環境における2つの制約解消系の試験的実装について
- グリッド計算環境における制約解消システムの構築に向けて
- LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム
- 時相線形論理型言語のコンパイラ処理系のための抽象機械について
- 線形論理型言語のコパイラ処理系のための抽象機械について
- 古典線形論理型プログラミング言語の静的解析の一手法について
- 直観主義時相線形論理における論理プログラミングについて
- 線形論理型言語のJava言語による処理系の設計と実装
- 整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案 (特集 「AIの基本問題SATと応用技術」および一般)
- SAT型制約ソルバーSugarについて (特集 「AIの基本問題SATと応用技術」および一般)
- 特集「ソフトウェア論文」の編集にあたって
- 「SATソルバー」(私のブックマーク)