LoginSignup
2
1

More than 5 years have passed since last update.

Clojure を使える online judge まとめ

Last updated at Posted at 2016-03-04

結論:思った以上に選択肢が少なそう

最近 Clojure for the Brave and Trueという本(オンラインでは無料で読ませてくれます)で Clojure の勉強を始めました.動機は i) もうひとつ何かやりたくて,それは関数型で書きやすい言語が良かった ii) lisp 系のどれかをやってみる必要を感じていた iii) GAE とか Processing とかと合わせられそう,js にコンパイルできるのも使いでがありそうとちょっと思った あたりです.以前 Scheme をやりかけて投げたことがあったのですが,動機が増えたこと,SICPを途中まで読んだことで以前感じていた「同じ括弧とものの並びでも場所と文脈によって全然やることが違うじゃないか気持ち悪い」感をうまく乗り越えられたこと(あと,Clojure がその辺を多少整理した構文になっていること),そしてこの本がよく書かれていることによって,今回は続きそう,ひょっとしたら目覚められそう.Clojure をはじめたい方は覗いてみるといいと思います.

さて,新しい言語を覚える時には皆様色々なことをなさると思いますが,基本構文に慣れたり,readLn ってどう書くんだろう,というようなシンプルで退屈な細部を把握していくモチベーションを維持する上でオンラインジャッジの類を利用される方も多いと思います.ということで Clojure を使えるオンラインジャッジの類をまとめてみました.

何分 Clojure をはじめたてなもので大掛かりな処理を書くことができず,"そこにある問題を Clojure で現実的に解けるか" についてはほとんど評価できていません.また(有名どころを集めた積りではありますが)個々のサイトの信頼性については担保しませんのでその点ご容赦願います.

4th Mar 2016 時点で対応してるサイト

バージョン time limit とか
AtCoder 1.1.0 + OpenJDK 1.7 単純な問題で 2秒
Sphere Online Judge (SPOJ) 1.7 問題による.
codeeval 1.8.0 10秒
CodinGame 1.6.0 - Oracle JVM 1.8 入力1行毎に応答を返し100ms以内みたいな形式が多い
codechef 1.7
4clojure たぶん1.4 (-)

Clojureの場合自身の処理速度より起動速度が問題になる場合があり,たとえば AtCoder ではこれに2秒弱取られてしまいます.2秒でTLEになる問題で計算量のある問題はそもそも厳しいかもしれません.Spoj についても (参考) のようにこの問題はあるようです(TESTで試した感じ起動におよそ1秒かかっているようです).

その点 codeeval は10秒あるので大丈夫…と思ったらメモリをモリモリ食いながら異様に遅いという問題があって解決されてないらしい.

Codingame はしばしば「ターン」毎に入力があってそれを読んでは応答を返すという形式があり,各応答に対して例えば100msなどという制限がかけられています.試した所一番簡単な問題について Clojure で書いたコードは普通に通ります(つまり最初起動に1秒とか多分かかってるのは無視してくれてるのかな?).

Codechef は探したら名前が出てきたので記載しましたが僕自身は使ったことがなくよくわかりません.すみません.

4clojure はどちらかというと koans っぽい作りになっていてそういうのはないです.

4th Mar 2016 時点で対応してないっぽいサイト

まとめ

  • AtCoder や spoj では起動時間によるTLEのためにそもそも解け得ない問題と出会うかもしれない.
  • codeeval もちょっとややこしい状況のようだ.
  • CodinGame はそもそもサイトの方向性からして毛色が違うが,それでいいなら比較的 Clojure を使いやすいのかもしれない.
  • Codechef というものがあるが僕がよく知らないので何も書けない.

他のサイトをご存じの方はコメントや編集リクエストなどで教えていただければと思います.(もちろん上記に誤りがあったらそれも教えてください).

2
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
2
1