システムを定式化する