そもそもcondにこんな機能がついてたなんて知らないんだけど。 使い方は教科書のとおり。実際にやってみると、できるのでできるんだなぁと思う。condの修正は前のページでやっていた導出された式で使われてたcondのexpand-clausesを修正すれば良さそう。もと…