九州大学 · システム情報科学府・システム情報科学研究院 · 助教

研究キーワードSAT・スケジューリング・ビンパッキング・組合せ最適化・自動推論

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 部分的状態表現を用いた自動倉庫の継続的動作計画のための強化学習2026 · 電子情報通信学会論文誌D J109-D ( 1 ) 2026年1月
• 部分的状態表現を用いた自動倉庫の継続的動作計画のための強化学習2026 · 電子情報通信学会論文誌D J109-D ( 1 ) 13 - 21 2026年1月 （ ISSN: 18804535 eISSN: 18810225 ）
• 物流業界の常識を覆す三次元梱包計画アルゴリズム2026 · 豊田自動織機技法 ( 76 ) 17 - 23 2026年2月
• 外部性が存在する提携構造形成問題のためのMaxSAT符号化の改良2024 · 人工知能学会全国大会論文集 JSAI2024 ( 0 ) 2M4OS11b04 - 2M4OS11b04 2024年 （ eISSN: 27587347 ）

• 物流倉庫の実現場適用に向けた高効率なスケジューリングアルゴリズムに関する研究2026 · 2026年4月 - 2027年3月
• 制約付きマッチング理論の新展開2025 · 研究課題/領域番号： 25K03186 2025年4月 - 2028年3月
• 制約最適化問題のSAT変換による解法とその並列分散処理に関する研究2024 · 研究課題/領域番号： 20240003 2008年 - 2011年
• 物流システムの最適化に関する研究2023 · 2023年8月 - 2026年3月

• 公式プロフィール