結果

問題 No.567 コンプリート
コンテスト
ユーザー 👑 tttmmmyyyy
提出日時 2026-10-30 21:14:36
言語 Fix
(1.6.0 + cp-library + minilib)
コンパイル:
fix_c _filename_
実行:
./a.out
結果
AC  
実行時間 1,924 ms / 2,000 ms
+ 817µs
コード長 555 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 17,151 ms
コンパイル使用メモリ 680,288 KB
実行使用メモリ 501,468 KB
最終ジャッジ日時 2026-10-30 21:14:58
合計ジャッジ時間 20,961 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_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 dp = fill(1.shift_left(6), fill(n+1, 0.0));
    let dp = dp[0][0].iset(1.0);
    let dp = range(0, n).fold(dp, |n, dp|
        range(0, 1.shift_left(6)).fold(dp, |flag, dp|
            let v = dp.@(flag).@(n);
            range(0, 6).fold(dp, |dice, dp|
                let flag = flag.bit_set(dice);
                dp[flag][n+1].imod(add(v / 6.0))
            )
        )
    );
    dp.@(1.shift_left(6) - 1).@(n).to_string.println;;
    pure()
);
0