Schemeで非決定性を使い、シャッフルされた、ジョーカーを除いたトランプ(52枚)から2枚同時に取り出してそれが両方とも赤のカードである確率を求めるプログラムを書いてみました。 マクロamb、マクロset-of、関数assertはScheme 入門 18. 非決定性によるもの…