宋 剛秀 | 総合研究大学院大学複合科学研究科情報学専攻

スポンサーリンク

概要

• 同名の論文著者
• 総合研究大学院大学複合科学研究科情報学専攻の論文著者

関連著者

• 宋 剛秀

  総合研究大学院大学複合科学研究科情報学専攻

• 宋 剛秀

  奈良工業高等専門学校

• 宋 剛秀

  神戸大学

• 井上 克巳

  国立情報学研究所

• 鍋島 英知

  山梨大学大学院医学工学総合研究部

• 宋 剛秀

  神戸大学 大学院 自然科学研究科

• 岩沼 宏治

  山梨大学大学院医学工学総合研究部

• 森井 昌克

  神戸大学大学院工学研究科

• 桑門 秀典

  神戸大学大学院工学研究科

• 田中 初一

  神戸大学工学部電気電子工学科

• 田中 初一

  神戸情報大学院大学

• 宋 剛秀

  神戸大学大学院自然科学研究科

• 鍋島 英知

  山梨大学 大学院 医学工学総合研究部

• 岩沼 宏治

  山梨大学 大学院 医学工学総合研究部

• 西田 茂生

  奈良工業高等専門学校

• 森井 昌克

  神戸大学 工学部 電気電子工学科

• 馬島 了

  奈良工業高等専門学校

• 桑門 秀典

  神戸大学 工学部

• 井上 克巳[他]

  国立情報学研究所

もっと見る 閉じる

著作論文

• 高速SATソルバーの原理(最近のSAT技術の発展)
• 複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
• A-7-4 Dual-CPU上におけるBlock Lanczos法の並列実装(A-7.情報セキュリティ,基礎・境界)
• 周波数解析を用いた日本語母音の特性に関する研究
• Studies on Applying Incremental SAT Solving to Optimization and Enumeration Problems(Foundations of AI,Doctorial Theses on Aritificial Intelligence)

スポンサーリンク