食玩問題その3

前回、誕生日のパラドックスをPRISMで解いたので、 調子に乗って食玩問題もモデル化してみたらできましたので 紹介させて頂きます。 いたって簡単です。 dtmc const int NUM_BOX ; // 購入数 const int OMAKE ;   // お...

誕生日のパラドックスその2

その2です。 これは、「同じクラスに、同じ誕生日の人がいる確率は？」という問題でした。 直感的には、1年365日なのでとても確率が低そうに見えます。 その1だと、同じ誕生月の人がいるか、という考察しかしていなかったので 今回きちんと解を算出したいと思います。 普...

TVサーバの構築(1)

すっごく久しぶりの更新です。（3年空きました） 最近は仕事でもプライベートでも色々調べたり手を動かすことが 多いので、せっかくなのでそれらについて色々書いていこうとおもいます。 なので、元々「問題の解説」というテーマでしたが、IT関連の情報も発信していきます。 ...