宋 剛秀 | 神戸大学
スポンサーリンク
概要
関連著者
-
宋 剛秀
奈良工業高等専門学校
-
宋 剛秀
神戸大学
-
宋 剛秀
総合研究大学院大学複合科学研究科情報学専攻
-
井上 克巳
国立情報学研究所
-
鍋島 英知
山梨大学大学院医学工学総合研究部
-
宋 剛秀
神戸大学 大学院 自然科学研究科
-
岩沼 宏治
山梨大学大学院医学工学総合研究部
-
番原 睦則
神戸大学学術情報基盤センター
-
田村 直之
神戸大学学術情報基盤センター
-
森井 昌克
神戸大学大学院工学研究科
著作論文
- 高速SATソルバーの原理(最近のSAT技術の発展)
- 複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
- A-7-4 Dual-CPU上におけるBlock Lanczos法の並列実装(A-7.情報セキュリティ,基礎・境界)
- 周波数解析を用いた日本語母音の特性に関する研究
- 「SATソルバー」(私のブックマーク)