• 簡単な設定
• 計算を定義
• 制約の記述
• 段取りの記述
• データの流れを指示
• 動作を例示