A-12-1 計算機ネットワークにおける依存関係のあるタスクの配置とスケジューリングへのSMTの応用(A-12.システム数理と応用)