>>887
(軽い判定) && （重い判定)
でもいったん代入するんですか。
(副作用のない判定) && (副作用の出る関数の辺値）
もいったん代入するんですね。