tl;dr キャントストップのノーストップ戦略の一発登頂確率をDPで求める 6,7,8のレーンしか登れない場合，1発で3レーンとも登りきれる確率は5% 前置き こんにちは． キャントストップというチキンレースダイスゲームがあります． 4個のダイスと3個のコマ，2か…

TODO多めのまま公開します。別に書いてた下書きが消えたので。 定理証明のコンテストシステムを作って、今日の夕方に第1回のコンテストを開催していた。https://t.co/8vi0dWszRW— あしぃ (@asi1024) 2019年8月18日 これです。 定理証明コンテストとは, 定理…

飲酒プログラミングコンテスト(通称，飲酒プロコン)という，最悪なイベントが行われた． ルール 参加者には問題を1問読む権利が与えられている． ビールを1缶開けるごとに次の権利が両方共得られる 1回提出する権利 新しい問題を1問を読む権利 全完するため…

過去のblogから移動しました 元公開日時 2017-07-19 17:07:17 こんにちは。3回生のwassです。 ICPCに参加したのでそのログを残しておきます。 僕は競プロから1年以上退いて, 活動としては部内のプロコンに月に1回程度参加するぐらいでした。 そのため実装は…