2009-03-30 SICM Exercise 1.26. SICM 1.14系の難しさがある。SICMのNotationは機械的に計算すれば答えがでたり証明できたりするのがウリだが、一度間違うと泥沼。を積の微分するのを忘れていてはまった。 なので なので