効率的なデブリ除去順序決定問題のモデル化に関する一検討 | Synapse