Haskell卒業!

■ [fromC/C++][SRM]９割９分完成... 19:07

あと、適当に直すだけ...

チャレンジフェーズ(逐次解析)モードを実装した...

いやぁ、これは洗練しすぎだろ。Haskellの戦闘能力はハンパないわ...

import TC.All

main :: IO ()
main = do
  -- 問題詳細を記述...
  let sRM144Div2Easy = TCNormalCase {
          {- クラス名   -}  className   = "Time",
          {- メソッド名 -}  methodName  = "whatTime",
          {- 返り値の型 -}  ret         = (undefined :: TCString),
          {- 引数リスト -}  args        = [arg_0]
        } where
            arg_0 = TCArg (choose (0, 86399) :: Gen TCInt)
  -- チャレンジフェーズ(逐次解析)モードで実行...
  challengePhase defaultParameters{maxSize = 10} sRM144Div2Easy

実行結果(GHCiでリアルタイムに動くぉ)...

$> main
Loading package time-1.2.0.3 ... linking ... done.
Loading package random-1.0.0.3 ... linking ... done.
Loading package extensible-exceptions-0.1.1.2 ... linking ... done.
Loading package QuickCheck-2.4.0.1 ... linking ... done.
Loading package parsec-2.1.0.1 ... linking ... done.
Loading package regex-base-0.93.2 ... linking ... done.
Loading package regex-tdfa-1.1.7 ... linking ... done.
Loading package tc37564-0.0.0.1 ... linking ... done.
//////////////////////////////////////////////////
// tc37564 (DLL Version: 0.49)
//////////////////////////////////////////////////

NPL Parserを初期化しています...
パケットキャプチャエンジンを初期化しています...
バッファフラッシュ用のイベントタイマを作成しています...
初期化が完了しました。

ネットワークを監視します...
アダプタ(0: MS TCP Loopback interface)は監視下に入りました。
アダプタ(1: WAN Miniport)は監視下に入りました。
アダプタ(2: ローカル エリア接続)は監視下に入りました。
(注) 監視を止めるにはCtrl+Cを押して下さい。

<tc37564> kamijojeのテストコード(TC0.cpp)を生成しています...
<tc37564> kamijojeのテストコードの実行＆解析が終了しました。
<tc37564> touristのテストコード(TC1.cpp)を生成しています...
  [テストケース 0] touristとkamijojeの結果が違います...
    tourist         -> "6:14:5"
    kamijoje        -> "6 : 14 : 5"
      [チャレンジ引数]
        arg_0 -> 22445
<tc37564> touristのテストコードの実行＆解析が終了しました。
<tc37564> route150のテストコード(TC3.cpp)を生成しています...
  [テストケース 0] route150とkamijojeの結果が違います...
    route150        -> "6:14:5"
    kamijoje        -> "6 : 14 : 5"
      [チャレンジ引数]
        arg_0 -> 22445
<tc37564> route150のテストコードの実行＆解析が終了しました。

アダプタ(0: MS TCP Loopback interface)の監視を止めました。
アダプタ(1: WAN Miniport)の監視を止めました。
アダプタ(2: ローカル エリア接続)の監視を止めました。
ネットワークの監視を止めました。
ワーカースレッドの終了待ちです...
全ての処理が正常終了しました。

(3.27 secs, 6947136 bytes)

touristさん、kamijojeさん、ご協力感謝致します...

一応、思い通りに実装できたし満足。まぁ、送信も自動化すれば１分以内に勝負が着くけど...

落ちてる点数を拾う戦略...orz