結果

問題 No.567 コンプリート
コンテスト
ユーザー 👑 tttmmmyyyy
提出日時 2026-10-31 08:32:24
言語 Fix
(1.6.0 + cp-library + minilib)
コンパイル:
fix_c _filename_
実行:
./a.out
結果
AC  
実行時間 402 ms / 2,000 ms
+ 291µs
コード長 599 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 12,537 ms
コンパイル使用メモリ 671,188 KB
実行使用メモリ 9,868 KB
最終ジャッジ日時 2026-10-31 08:32:40
合計ジャッジ時間 14,367 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge4_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 9
権限があれば一括ダウンロードができます
コンパイルメッセージ
make: 'lib.o' は更新済みです.

ソースコード

diff #
raw source code 

module Main;

import CPLib.Bits::bit_set;
import CPLib.IO;

main : IO () = (
    let n = *read_i;
    let c64 = 1.shift_left(6);
    let cur = fill(c64, 0.0).set(0, 1.0);
    let nxt = fill(c64, 0.0);
    let (cur, _) = range(0, n).fold((cur, nxt), |_, (cur, nxt)|
        let nxt = range(0, c64).fold(nxt, |i, nxt| nxt.set(i, 0.0));
        let nxt = range(0, c64).fold(nxt, |flag, nxt|
            let v = cur.@(flag);
            range(0, 6).fold(nxt, |dice, nxt| nxt.mod(flag.bit_set(dice), add(v / 6.0)))
        );
        (nxt, cur)
    );
    cur.@(c64 - 1).to_string.println;;
    pure()
);
0