ドゥーダス確率公理:タイプ、説明、例、演習 - ドゥーダス - 2025