平均を制約を使って解く問題。(日本語正しいか不安。)数式にすると平均はこうなる。(a + b) / 2 = cだのでa + b = 2 * c と、ということで、P169の図3.28っぽい絵を妄想してみる。 ここまでくると余裕。 あとは、p169のcelsius-fahrenheit-converterを参考に…