結果

問題 No.908 うしたぷにきあくん文字列
コンテスト
ユーザー tanson
提出日時 2025-12-12 01:20:44
言語 Standard ML
(MLton 20241230)
コンパイル:
mlton_wrapper _filename_
実行:
./main
結果
AC  
実行時間 0 ms / 2,000 ms
+ 715µs
コード長 686 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 4,967 ms
コンパイル使用メモリ 705,032 KB
実行使用メモリ 5,888 KB
最終ジャッジ日時 2026-07-19 10:15:42
合計ジャッジ時間 6,530 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 18
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

fun readLine () =
    valOf (TextIO.inputLine TextIO.stdIn)


fun isUshitapuniaki s =
    let
        fun isUshitapuniakiAux [] = true
          | isUshitapuniakiAux [h] =
            Char.isAlpha h
          | isUshitapuniakiAux (h1 :: h2 ::tl) =
            if Char.isAlpha h1 andalso Char.isSpace h2
            then isUshitapuniakiAux tl
            else false
    in
        isUshitapuniakiAux (String.explode (String.substring(s, 0, String.size s - 1)))
    end
                
                    
val () =
    let
        val s = readLine ()
        
        val ans =
            if isUshitapuniaki s then "Yes"
            else "No"
    in
        print (ans ^ "\n")
    end
0