ICFP Programming Contest 2010 優勝 - 純粋関数型雑記帳
Pure Pure Code ++ Language: C++, Haskell, Python ... are the programming languages of choice for discriminating hackers. 今年のICFP Programming Contestにて優勝しました。（コンテスト中の様子は http://d.hatena.ne.jp/tanakh/20100702#p1 こちらにあります） 一次ソース（http://www.icfpcontest.org/2010/）はまだ来ていませんが、今年のICFP@ボルチモアにて表彰されてきました。こちら（http://twitpic.com/2swi5c）に証拠写真がアップロードされています。 Our Score: 13597.354 Our Solved: 3451 Our Cars: 72 >=5
ICFPC 2010 の回路ゴルフ - 兼雑記
http://shinh.skr.jp/dat_dir/icfpc-2010/factory/genkey6.rb 任意の要求出力に対して、出力数 + 7 で回路を作れるコードです。とりあえず key prefix と Car #10060 への答えくらいは動いてることを確認したので、まぁ動いてるんじゃないかと。 説明を試みる。 ICFPC の問題の回路をどの程度短い回路で作れるか、っていう話があって、1入力ごとに遅延した回路を1つ増やして…っていう話がありました。言葉で説明できる気がしないので手順を書いてみます。 最初、 0 ターン目は 1 が欲しいです。 +------+ | | v v--+ | +---+ | | | 0 | | | +---+ | | | | | | +---+ | | | 1 | | | +---+ | | | +--|-+ | | v v--|----- 3よ
ICFPのコンテストに参加しました - sshi.Continual
http://icfpcontest.org/2010/ 一週間遅れですが、簡単なレポートを。ここに書くのほぼ一年ぶりか… 今年は流れで某Mくんと２人でチームを組んで参加。チーム名tokorobashi。名前の由来は近いうちに明らかになるかもならないかも。最終結果は7点。 今年は特にサーバへのsubmitとかを便利にしてくれるインフラ整備をがんばる余地がいっぱいあったので、もうちょっと人数多くないと戦えてなかったかもしれない。でも結局、「本番」に到達できなかったのであんまり関係なかった。 大会の詳細はどっか他のサイトを見てください。(http://d.hatena.ne.jp/mr_konn/20100618/icfp2010taskあたりがわかりやすいか?) 一日目 6月18日(金) 21:00〜 開始。最初はサーバが重くてチーム登録ができなかったので、とりあえず英文よむよむよむ。結局、
ICFP Programming Contest 2010 - www.kotha.netの裏
出た。 今年の課題は、車と燃料を設計/販売して金儲けというもの。といってもリアルな設計ではなく、車は特定の形の連立不等式で、燃料はその解で、それぞれ表現される。車と燃料をセットで提出するのが基本で、さらに他人の設計した車に適合する燃料を作ることができればその利益の一部を奪えるというルール。 追加要素として、車と燃料は三進数で符号化して提出しなければならないが、そのエンコード方式は非公開。さらに燃料については三進コードを直接送るのではなくコードを生成する回路(これも詳しい仕様は非公開)を送るというものだった。非公開仕様についてはサーバからのエラーメッセージをもとに試行錯誤で把握することが要求された。 経過 開始直後。課題を読む。本題に到達するまでのハードルの高さに驚く。キー回路を読もうと紙の上で試行錯誤していたら構文は比較的すぐに分かった。 回路を組むためのコードをHaskellで書く。深く
ICFP Programming Contest 2010 - 総合的な学習のお時間
http://icfpcontest.org/2010/ 年に一度のお祭り、今年も参加しました。1人チームです。 score: 102.991 others' cars solved: 178 cars submitted: 0 で70位くらい？ 1台くらいは車を出荷したかったなぁ。次から次に現れてくる謎を解くのに夢中であっという間の週末でした。プログラミングはあまりやらなかったけれども、論理パズル好きとしてはこういう展開は面白い。 1人チームに不利な条件で、月曜に休み取ってなくてラスト20時間なにもできなかったという割には頑張った。去年は下から数えた方が早かったくらいだし。 以下時系列に 18日21:00 問題を読み始める、短くていい感じ 18日22:00 やることは把握したので回路の文法を推測すべく適当な文字列をサーバーに投げる 18日23:00 回路の文法はけっこう単純だった。gat
ICFPC 2010 回路生成部分 - なんとなくな日々のコメント
追記の追記 やっぱりO(N)でできます。ただし、N+1じゃなくてN+7になります。なぜ6個増えたかというと、常に0を出力する1入力の回路が6ゲートかかるからです。実装上の都合により、常に2を出力する回路を7ゲートで作成する方が、N個必要という部分が分かりやすいのと、綺麗に書けるのと、ということがあります。 方針としては、次の回路に欲しい値を要求する連鎖を作る部分は共通です。また、1や2が欲しい回路はすべて右出力をつないでいくことで、最初のclkに2を供給させます。最後に余った2が出てくる信号線は0を常に作る回路に捨てます。(外部入力も余っているので、どっちでもいいです。) 整理すると、あるクロックで欲しい出力は、今までに作った回路で変形されて、そのクロックが0clk目の回路(任意に値を作れる)に要求としてやってきます。このとき、0ならば独立した回路(要は今まで通りの大きさ1の回路)として作
ICFP のコンテスト 2010 - 兼雑記
頑張りはしたんですが、正直もっとやれたんじゃないかとくやしい。最後まで有効なソルバ書けなかったって感じですし… コードはこのへん。こいうのって tgz とかよりディレクトリ置いとく方が面白いかなーと思ってそうした。 tern.rb あたりがひどい感じ。結果は 2002 台解いて 17 位。結果は悪くないんだよなぁ。 http://shinh.skr.jp/dat_dir/icfpc-2010/ 問題の内容は…略。作業の記憶をリプレイだけ。 まず最後にヒントとして key prefix というのを作る回路を作れと書いてあるので、それを頑張る。頑張ります。ゲートの推測とかどうやったか忘れた。1ゲートだけの回路を置いてみてどうなるかーとかで回路の特性を理解したんだと思う。ただこの段階では明確な規則は深く考えなかったし、自分の作った真理値表が正しいか自信なくてドキドキだった。 で、回路の特性がわか
ICFP Programming Contest 2010 感想 - I am Cruby!
ICFPC 全体チーム名： yarunee使用言語：Ruby、Cメンバ：@nishidayuya、 @yhara、 @nari3、 @nobyuki、 @sada4MLで誘ってはみたが、メンバは結局去年と変わらず。会社の新人さんを誘惑するも、乗ってこず。「一度くらいはやってみるべき」とちょっぴり残念思うけれど、ま、個人の自由だからな。 1日目夜の9時まで会社に残り、みんなで問題を読んだ。@yharaさんの圧倒的な英語力のお陰でスラスラ読んでもらえた読めた。とりあえず、例題の19Lのやつは「大体こんな文法だろうなぁ」と推測。帰宅した。（思えば、我がチームの絶頂期はココであった） 次の日の朝、昼前に会社に来たが誰もいない。しょうがないのでシミュレータの雛型をぼちぼち作ってみたりしていた。 昼過ぎにメンバがぼちぼち来た。@nobyukiさんから回路の構文を説明してもらうなど。以下の回路の出力が
ICFP Programming Contest 2010 - てきとーな日記
きたまさが数学界に引きこもってしまったので今年はid:iwiwiと二人で参加。 チーム名はHITOCry 前回は劣化マラソンな感じで初日で飽きてしまったが、今回はなんか面白かったので完走した。 結果は7位だったorz 作業はGmailチャット+DropBoxのファイル共有で行った。 以下チャットのログから掘り起こした全体の流れ 一日目 21:30 開始前に仮眠をとったら３０分位寝過ごしたorz 一日目 23:00 １時間半くらいかけてようやく問題文を理解し、とりあえず工場のフォーマットを調べるために提出しまくることに。 二日目 01:00 ようやく工場のフォーマットと入力例の最初１７文字が解読された。 次はゲートの解析をすることに。 二日目 02:00 ゲートの入出力表の解析が完了した。 次はkey prefixを作成することに。 3進17文字なので3^17個くらいランダムなの試せば見つか
ICFP Programming Contest 2010 - カメヲラボ
今回で3度目の出場です。去年は参加できなかったので、今年はちょっと頑張ろうと、自宅の仕事部屋をICFP仕様にして、今まででは一番時間も取れたかなーという感じでした。 しかし今年は取っ掛かりが難しすぎる（´ω｀） 休みが日曜日だけだけれども、金・土・月はあまり仕事を入れないようにしたので空いた時間でちょっとずつ進めればいいやという考えが甘かった。 順位は…61位かな？ ちょうどsmlyさんの真下ですね^^ 問題の意味がわからなさ過ぎて、土曜日は全然ダメなかんじでした。だからライトニングなんちゃらは手も足も出ず。問題文を日本語訳してくださった方がいらっしゃるということにも、日曜日の昼まで気がつかなかった(´Д｀;) http://d.hatena.ne.jp/mr_konn/20100618/icfp2010task とりあえず、0点というのだけは情けないので、gate数をちょっとずつ増やしな
ICFP Programming Contest 2010 参加記 — Scratch Leaf — MAYAH.JP
18日金曜日から21日月曜日まで、ICFP Programming Contest 2010 に参加。 今回は初めは俺言語で出るために一人で出ていたのだが、途中でチーム Oh!tomaton に 合流した。チーム Oh!tomaton は、tsukuno, kinaba, mayah の３人。順位は２７位のようだ。二人のブログは、d.y.d. となんとなくな日々のコメントにある。 あと、俺言語で出るという目標を掲げていたが、一応一人の時は使っていた。機能は絶対的に足りないので OCaml と ruby も併用していたが...。３人になってからは OCaml, ruby, C++, Java, D あたりが使われていた。tsukuno は PHP も使っていたらしい。 はじめ とりあえず問題を 15 分ぐらい書けて読む。 今回のタスクは、お金を稼ぐこと！ らしい。どうやってお金を稼ぐかとい
はじめてのにき(2010-06-21)
_ あせる なんか焦るとよくないなぁと思う。 気が急いて眠れないし、 しかし寝ないと集中力低下して勘違いを放置するし。 しかしまぁそろそろマシな勝負ができるといいなぁと思いますよ… と思ったらサバさんが (05:31) _ おわた うーんくやしいなぁ。 最終的にはマラソン的な問題で、 いつものマラソン的な感じのダメさだった。 もうちょっと頭良くない感じの アルゴリズムとかはともかく 実装ゴリゴーリな問題の方が得意なんだろうな。 とはいえ問題はとても良かったし、 運営も良かったと思う。 今回程度のダウンタイムってのは 神とまでは言えないけどとても良かったと思うんです。 だからこそくやしいわけなんだが でなんかまとまった文章書こうと思ったが、 そもそも key prefix をどうやって作ったか、 という手順からして思い出せない。 どういう問題だっけ… 回路は http://twitter.c
毎年のお祭り - 雑記
ということでICFPC 2010に出てました。 去年に続いて(我が家の奥様協力のもと)今年も我が家で。 pure pure code ++ なるチームで、みんなでわいわいやってました。 とゆーわけで、以下体験記＋感想的なもの。 （記憶が頼りなんで、若干時間に前後があるかもだけど、ご愛嬌。） チームとしては、 パズル(仕様含む)解く、焼きなます、車生産、Tools/Web見たいな分担で、解いてた。 前半は、比較的手作業で仕様/解法を解きほぐす＋自動化の準備をひたすら。 後半は、半自動化されたサーバに、solverをおくと勝手に解いてくれるようになっていたので、あとはsolverを増やす＋改良しまくる。 初日。開始直前。 21:00開始なので、初日はonlineで、翌日朝から集合することに。 「cygwinとか黙殺の方向で」と、いきなり黙殺される。 というわけでVM ware player (
ICFP Programming Contest 2010 終了速報: 週記
2023年06月(1) 2014年03月(1) 2013年08月(1) 2012年12月(1) 2011年12月(1) 2011年07月(6) 2011年06月(1) 2011年03月(1) 2011年01月(1) 2010年10月(1) 2010年09月(1) 2010年07月(2) 2010年06月(3) 2010年04月(2) 2010年01月(1) 2009年12月(1) 2009年11月(2) 2009年10月(5) 2009年09月(2) 2009年08月(2) ブログ名を「四季記」にしたら良いんじゃないかと言われました。 チーム名「Pure Pure Code ++」でICFP-PCに参加していました。総勢6人チームでした。結果としては、5位以内入賞と非常に良い成績を残せたと思います。（詳細な順位は私たちも分からず、ICFP学会中に発表されます）9割以上僕の成果じゃないのが頭
ICFPC 2010 参加まとめ - にゃあさんの戯言日記
気が付いたら前回の日記がちょうど1年前の ICFPC 参加記だという……。そろそろ日記じゃなくて年記に改めようかと思います(嘘)。 というわけで、今年も ICFPC に参加していました。チーム名は ぴゅあぴゅあこーど++ (pure pure code ++) で、メンバーは @chunjp @gusmachine @izumi_yusuke @nya3jp @phoenixstarhiro @tanakh という、日本競技プログラミング界のエースを集めてきたようなチームでした(自分除く)。 今回の問題はちょっと説明が大変なので、問題文原文かkonnさんによる日本語訳を読んでください、と省略。 今回、基本的に僕はひたすらチームの生産性向上と仕事の自動化に取り組んでいた感じでした。今回のコンテストのレギュレーションだと、大量に市場に出てくる車に対してかたっぱしから燃料を供給する必要があります
2010-06-21 日記
この日記はフィクションです．登場する人名・団体名・地名・職業などはぜんぶ架空のものです． なので実際のものとは何も関係がありません． それから，写真のように見える画像はＣＧもしくは念写によるものです． 2010-06-21 (月) あ．今年も寿司食べたのに，写真撮るの忘れた．まぁ，コンビニのお寿司ですが． *2008は12位，2009は37位，2010は120位？ はい，このタイトルはICFPのプログラミングコンテストの私入ってたチームの順位です． 自分のプログラミング能力は大丈夫なのかな…．そもそも今回はほとんんどプログラム書いてない． *ICFP Programming Contest 2010 http://icfpcontest.org/ 終わりました． 無残な結果．気力とか色々足りなかった．そしてサーバが重すぎた．というか，真面目な解析プログラムより，自動submitプログラムの
ICFP Programming Contest 2010 とか - Standard ML of Yukkuri
ICFPhttp://www.icfpcontest.org/2010/ICFP という会議にいつも付属する, 72時間のプログラミングコンテストに参戦した. 参戦記録を... とも思ったが上位陣の記録が素晴しいので短かく印象に残ったこと, 特殊(?)なことだけ. 頭痛も痛いので. はい, 頭痛は痛いです.いつでも途中離脱できるように一人で参戦. チーム名はハンドルと同じ smly. 結局どっぷりと参加してしまった. 来年は誰かとチーム組んで参加したい. 問題の規模がでかいので, その方が絶対におもしろい. 一緒に参加しましょう! と言ってくれる同僚がいる会社とか, とても魅力的に感じます. そういう会社で仕事できたら楽しそうでイイナアと思います.回路. 仕様を掴むために Graphviz を使ってグラフを表示したりした. 入力二つ/出力二つのゲートにおいて, その入力の左右や出力の左右は
ICFP 2010 競技説明 - これは圏です（はてな使ったら負けだとおもっていた）
ICFP 2010 Task description の非公式日本語訳を置いておきます。非公式でやっつけ仕事なので、誤訳などがあるかもしれません。見付けたらご指摘おねがいします。 また、訳文中の誤りによって何らかの損害を被っても何ら責任は負えませんので、悪しからず。 原文：http://icfpcontest.org/2010/task/ 翻訳：石井大海 ICFP Contest 競技説明 今年のコンテストの目的は単純です：金を沢山儲けるのだ 国際的な自動車・燃料製造(International Car and Fuel Production)で！ 自動車と燃料の市場 あなたは自動車産業に従事し、日々自動車と燃料の設計・製造を行っています。各自動車は微妙に仕様が異なり、それぞれ適合する燃料が異ります。燃料が自動車に合うかどうかは、コンテストサーバを利用して簡単に判定出来ます。自動車だけから
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ICFPコンテスト好き嫌い
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20100621