発行年1990 - 1994 キーワードtemporal optimization 部局大学院理工学研究科(工学)