大雨。油断してた。 いつもとは違う本読みながら寝る。

制約って拘束(条件)と言い換えられる。で、拘束が入ると、自由度が(1以上)落ちる。落ちた結果がきれいに着地するかどうかは別だけど。 関数従属性とか結合従属性(これはまだよくわかってない)とかは、うまく着地できるタイプの制約かと。一般的によくある制…