制約インタフェース
宣言的にいろいろ書くもの
表計算もそういう雰囲気ある