wassup?

プログラミング、ボドゲ、ボカロ

競プロ

止まれないキャントストップの勝率: 6,7,8だと5%で一発登頂

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

定理証明コンテストに参加した [WIP]

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

飲酒プログラミングコンテストはやばい会だった

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

ICPC国内予選2017参加記

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