結果

問題 No.211 素数サイコロと合成数サイコロ (1)
ユーザー tanson
提出日時 2025-09-13 03:45:21
言語 Standard ML
(MLton 20210117)
結果
AC  
実行時間 2 ms / 1,000 ms
コード長 769 bytes
コンパイル時間 5,710 ms
コンパイル使用メモリ 688,892 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-09-13 03:45:31
合計ジャッジ時間 7,714 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 33
権限があれば一括ダウンロードができます

ソースコード

diff # 

fun readInt () =
    valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)

val () =
    let
        val k = readInt ()
        val allCases =
            List.foldl
                (fn (x, acc) =>
                    acc @
                    List.map
                        (fn y =>
                            x * y)
                        [4, 6, 8, 9, 10, 12]
                )
                []
                [2, 3, 5, 7, 11, 13]
                 
        val ans =
            (Real.fromInt
                 (List.length
                      (List.filter
                           (fn x =>
                               x = k)
                           allCases)))
                / 36.0
    in
        print (Real.toString ans ^ "\n")
    end
0