具体的に，生産システムを数学モデルとして定式化し，
　数式処理やシミュレーションのソフトウェアを用いた
　設計・解析・評価を進めています．