WolframAlpha 計算知能 AI
制約条件付きの確率の式