小樽商科大学 · 大学院商学研究科 · 准教授

研究キーワード充足可能性問題・QBF・計算量理論・オートマトン理論・記述複雑性

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

• Algorithmic Foundations for Social Advancement 209 - 221 2025年03月2025 · 論文
• Optimization Methods and Software 36 2-3 279 - 300 2021年05月2021 · 論文
• Electr. J. Comb. 25 3 P3.6 2018年2018 · 論文
• Mathematical Programming Computation 10 2 267 - 302 2018年06月2018 · 論文

• 2023年04月 -2028年03月2023 · 共同研究・競争的資金等の研究課題
• 2020年04月 -2025年03月2020 · 共同研究・競争的資金等の研究課題
• 2018年04月 -2022年03月2018 · 共同研究・競争的資金等の研究課題
• 2016年04月 -2021年03月2016 · 共同研究・競争的資金等の研究課題

• 公式プロフィール