理系学生日記

おまえはいつまで学生気分なのか

2008-06-18から1日間の記事一覧

3.3.5 (Propagation of Constraints)

この節のタイトルにある "Constraints" というのは,基本的に世の中の関係式全てに相当するもののようです.例えば,摂氏と華氏の変換式(これは実際に SICP に,例題として取り上げられている)は,次のように表せます. (C: 摂氏, F: 華氏)じゃぁこれをプロ…