研究者
J-GLOBAL ID:200901040886102704   更新日: 2024年02月01日

越村 三幸

コシムラ ミユキ | Koshimura Miyuki
所属機関・部署:
職名: 助教
ホームページURL (1件): http://hyoka.ofc.kyushu-u.ac.jp/search/details/K000184/index.html
研究分野 (1件): 知能情報学
研究キーワード (5件): スケジューリング ,  提携構造形成問題 ,  SAT ,  Parallel Processing ,  Automated Reasoing
競争的資金等の研究課題 (16件):
  • 2019 - 2023 SATオラクルを用いた問題解法とその応用
  • 2017 - 2020 Ramsey数に関する計算科学的研究
  • 2016 - 2019 推論・学習機能を備えた実験候補推薦システムの研究開発
  • 2013 - 2016 大規模組合せ最適化問題のEPR解法に関する研究
  • 2013 - 2016 基数制約を用いたSATソルバーの拡張とその応用に関する研究
全件表示
論文 (75件):
  • Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Fagen Li. Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS. JUCS - Journal of Universal Computer Science. 2023. 29. 8. 911-937
  • Tomoya Sugahara, Kaito Yamashita, Nathanaël Barrot, Miyuki Koshimura, Makoto Yokoo. Robust Weighted Partial Maximum Satisfiability Problem: Challenge to Σ2P-Complete Problem. PRICAI (1). 2022. 17-31
  • Sung-Ho Cho, Miyuki Koshimura, Pinaki Mandal, Kentaro Yahiro, Makoto Yokoo. Impossibility of weakly stable and strategy-proof mechanism. Economics Letters. 2022. 217. 110675-110675
  • Miyuki Koshimura, Emi Watanabe, Yuko Sakurai, Makoto Yokoo. Concise integer linear programming formulation for clique partitioning problems. Constraints An Int. J. 2022. 27. 1. 99-115
  • Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu, Fagen Li. Modeling and Solving Scheduling in Overloaded Situations with Weighted Partial MaxSAT. Mathematical Problems in Engineering. 2021. 2021. 1-17
もっと見る
MISC (86件):
  • 越村 三幸, 野田 五十樹. 垂直搬送機のMaxSATによる最適スケジューリング. スケジューリング・シンポジウム 2022 講演論文集. 2022
  • 越村 三幸, 廖 暁鵑, 渡部 恵海, 櫻井 祐子, 横尾 真. 推移関係を表す SAT 節の削減. 2020年度 人工知能学会全国大会(第34回). 2020
  • 越村 三幸, 佐藤 健. SATソルバーGlucoseを用いたMCS列挙. 2019年度 人工知能学会全国大会(第33回). 2019
  • 越村 三幸, 廖 暁鵑, 野本 一貴, 上田 俊, 櫻井 祐子, 横尾 真. MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良と評価 (特集 「命題論理の充足可能性問題SATの最新動向」および一般). 人工知能基本問題研究会. 2018. 106. 31-36
  • 越村 三幸, 廖 暁鵑, 野本 一貴, 上田 俊, 櫻井 祐子, 横尾 真. MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良. 日本ソフトウェア科学会大会論文集. 2017. 34. 121-126
もっと見る
特許 (1件):
  • 実験支援システム、実験支援方法、および実験支援プログラム
講演・口頭発表等 (11件):
  • ラムゼーグラフの二つの遷移
    (2023年電子情報通信学会総合大会 2023)
  • 垂直搬送機のMaxSATによる最適スケジューリング
    (スケジューリング・シンポジウム2022 2022)
  • 推移関係を表す SAT 節の削減
    (2020年度 人工知能学会全国大会(第34回) 2020)
  • SATソルバーGlucoseを用いたMCS列挙,
    (2019年度 人工知能学会全国大会(第33回) 2019)
  • MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良と評価
    (人工知能学会 第106回人工知能基本問題研究会(SIG-FPAI) 2018)
もっと見る
学歴 (4件):
  • - 1986 筑波大学 理工学研究科 理工学
  • - 1986 筑波大学
  • - 1984 筑波大学 第一学群 数学
  • - 1984 筑波大学
学位 (1件):
  • 博士(工学) (九州大学)
経歴 (9件):
  • 2020/04 - 現在 産業技術総合研究所 招聘研究員
  • 2015/04 - 現在 西南学院大学 人間科学部 非常勤講師
  • 2007 - 現在 - 九州大学大学院システム情報科学研究院 助教
  • 2015/09 - 2017/03 九州情報大学 経営情報学部 非常勤講師
  • 2010/04 - 2016/03 近畿大学 産業理工学部 非常勤講師
全件表示
委員歴 (1件):
  • 2014/04 - 2016/03 人工知能学会 人工知能基本問題研究会 幹事
受賞 (1件):
  • 2007 - ISC Award Winning Paper
所属学会 (4件):
電子情報通信学会 ,  人工知能学会 ,  日本ソフトウェア科学会 ,  情報処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る