有名なコイン投げの問題です。

表、裏の出る確率がそれぞれ１／２のコインを二枚投げました。
そのうち一枚が表でした。
もう一枚が表になる確率は？

というのがあるがこれを検証するアルゴリズムを示してください。