* ICFP Contest 2013 [#afbaf54a] By Microsoft Research http://research.microsoft.com/en-us/events/icfpcontest2013/ [[Contest site:http://icfpc2013.cloudapp.net/]] [[Problem statement:http://icfpc2013.cloudapp.net/#18624000301965.1000079.103hVrUBBrcN]] [[Official twitter account:https://twitter.com/ICFPContest2013]] Report issues to @riesz please * Approach, Algorithm, UI, etc. [#c66b1451] - Brute force -- 全パターン列挙して eval で eliminate - 生成したものをあらかじめ分類して eval 後の時間を減らす - 枝刈り - Guess の結果から生成 - bonus: 問題のパターンを調べる - SMT solver 使用検討 運営してる MSR 開発といえば Z3 - 並列化 EC2 - tfold の理解 - operators 制約についての勘違い - 解答状況可視化 -- https://twitter.com/spicausis/status/366646975959027712 -- https://twitter.com/xoposhiy/status/366711252468260864 -- 回答率 3次元 https://twitter.com/perokugi/status/366831776376713216 -- http://gyazo.com/8ce1f3b3a544322755d88457b03da9d9 - Unofficial scoreboard -- https://twitter.com/xoposhiy/status/366880832373272576 -- http://labs.skbkontur.ru/icfpc2013/stats -- auth key か、もしくは myproblems で吐かれる json を upload すると成績を visualize してくれる - Unofficial Clone Server by @tanakh -- http://icfpc2013-clone.cloudapp.net/ -- https://twitter.com/tanakh/status/371495604213387264 * Write ups [#dce2a4f8] - [[ICFPC 2013 おつかれさまでしたー togetter:http://togetter.com/li/547859]] by @kinaba - Search github -- https://github.com/search?q=icfpc2013&type=Repositories&ref=searchresults ** ? [#ebed9cf0] - https://twitter.com/xhl_kogitsune -- EC2 https://twitter.com/xhl_kogitsune/status/366847967371603968 -- 方針 https://twitter.com/xhl_kogitsune/status/366869992966328320 - https://twitter.com/inoueh -- https://twitter.com/inoueh/status/368083533002055680 - https://twitter.com/sui_moti -- http://d.hatena.ne.jp/motipizza/20130818/1376843697 - https://twitter.com/thimura - https://twitter.com/mayahjp - https://twitter.com/kazegusuri ** ? [#gbb7c056] - Member list https://twitter.com/iwiwi/status/365623031894249473 -- https://twitter.com/iwiwi --- コンテストの様子画像集 https://twitter.com/iwiwi/status/366827284201615361 https://twitter.com/iwiwi/status/366825086319210496 https://twitter.com/iwiwi/status/366824268304101377 -- https://twitter.com/wata_orz --- 方針 https://twitter.com/wata_orz/status/366872305437130752 https://twitter.com/wata_orz/status/366871533454495745 https://twitter.com/wata_orz/status/366711717201317889 https://twitter.com/wata_orz/status/366712434649604097 https://twitter.com/wata_orz/status/366712651193131009 -- https://twitter.com/imos --- 富豪的 https://twitter.com/imos/status/366762784437960704 -- https://twitter.com/chokudai -- https://twitter.com/toslunar -- https://twitter.com/sulume ** Hack the loop [#oebde711] - ソースコード https://github.com/amogil/icfpc2013/ - 1499点 (ソース http://labs.skbkontur.ru/icfpc2013/Stats) ** irori さんのチーム [#x01c2593] - 参加記 http://d.hatena.ne.jp/Irori/20130812/icfpc2013 - 1460点? (ソース: http://labs.skbkontur.ru/icfpc2013/Stats) ** nbu [#pd50caae] - 参加記？ 1458点？ http://ru-icfpc.livejournal.com/5949.html ** THIRTEEN [#d9fd3b9c] - https://twitter.com/tilarids -- 1456点 https://twitter.com/tilarids/status/366839376967254017 -- 参加記 https://docs.google.com/document/d/15iGwgsc8X4WvUwSR7azPIt4Wfq0eeNtn12-2q0q7g0Y/pub (https://twitter.com/tilarids/status/367029071986688002 より) ** Error 404 [#h5893717] - https://twitter.com/veged/status/367762445361614848 - 1456点 https://github.com/veged/icfpc2013/blob/master/README.md ** NekoSamaDuce [#bc898e94] - ソースコード https://github.com/NekoSamaDuce/icfpc2013 - Member list https://twitter.com/nya3jp/status/365624256345800706 -- https://twitter.com/kinaba --- 参加記 http://www.kmonos.net/wlog/132.html#_1755130812 -- 解答状況 http://gyazo.com/8ce1f3b3a544322755d88457b03da9d9 -- https://twitter.com/phoenixstarhiro --- 参加記 http://d.hatena.ne.jp/phoenix_hiro/20130812 -- https://twitter.com/dmikurube -- https://twitter.com/nya3jp ** (unmatched [#da3efdd3] - https://twitter.com/_adept_/status/367737651912130560 -- http://users.livejournal.com/_adept_/125985.html ** ? [#ic65e7ec] - 1250ちょい http://frozen.hateblo.jp/entry/2013/08/13/124125 -- https://twitter.com/perokugi --- 回答率 3次元 https://twitter.com/perokugi/status/366831776376713216 -- https://twitter.com/inu_hir0shi -- https://twitter.com/zr_4 ** ? [#b849cdfb] - https://twitter.com/kikx -- 参加記 992点 http://d.hatena.ne.jp/kikx/20130812 -- ソースコード https://gist.github.com/kik/6209891 ** ? [#s77e0972] - https://twitter.com/nushio/status/366859513690726400 -- ソースコード https://github.com/nushio3/ICFPC2013 -- https://twitter.com/nushio -- https://twitter.com/fumieval -- https://twitter.com/gusmachine ** oyososan [#nc0aef31] - https://twitter.com/nodchip -- 参加記 1226点 http://topcoder.g.hatena.ne.jp/nodchip/20130812/1376314894 -- LLVM から枝刈り移植 https://twitter.com/nodchip/status/366919993813774337 - https://twitter.com/peria -- http://d.hatena.ne.jp/peria/20130813 - https://twitter.com/tzik - https://twitter.com/ysks ** ? [#l4244362] - 1037点 http://yantayga.livejournal.com/74137.html ** ? [#ma865dd3] - https://twitter.com/k_matsuzaki -- https://twitter.com/k_matsuzaki/status/366556249959051264 -- https://twitter.com/k_matsuzaki/status/366905775303569408 -- 参加記 http://d.hatena.ne.jp/MATSUZAKI/20130812/1376311764 - https://twitter.com/khibino - https://twitter.com/plaster - https://twitter.com/dekosuke - https://twitter.com/Lost_dog_ - https://twitter.com/m2ym ** ? [#uc8403f3] - https://twitter.com/tau_phoenix -- 638点 http://ice-phoenix.info/blog:49 - https://twitter.com/koppcapp - https://twitter.com/lonlylocly ** ? [#fc2a1735] - 479点 https://twitter.com/henshiru/status/366906804447354880 ** kirakira annatan [#rd41cc4a] - ソースコード https://github.com/hayatoito/icfpc2013-kirakira - 参加記 https://plus.google.com/u/0/116445437433162945363/posts/SeoWyPXriXF - https://twitter.com/piropiroanna - Keiko Ono - Hayato Ito ** Emarhavil Heavy Industries [#hea2c719] - https://github.com/emarhavilicfp/icfpc2013 ** ? [#m5741704] - https://twitter.com/tanakh -- 後半 https://twitter.com/tanakh/status/366739759944568835 -- z3の限界 https://twitter.com/tanakh/status/366574982303711233 ** ? [#na1042bb] - Don Yang -- https://plus.google.com/105569802513221946528/posts http://uguu.org/ の人 -- ソースコード https://docs.google.com/file/d/0B7XdTJOhKlR9czlBNmZpb25Rd3M/edit ** ? [#sa0138bf] - russian lambda planet -- http://ru-icfpc.livejournal.com/5862.html -- ソースコード https://github.com/atemerev/icfpc2013 ** ? [#d1b2a539] - Pavel Lepin -- ソースコード https://github.com/pbl64k/icfpc2013 ** kuma- [#u7c8dba8] - https://twitter.com/mametter -- 参加記 http://d.hatena.ne.jp/ku-ma-me/20130812/p1 -- ランキングについて https://twitter.com/mametter/status/366706487835361280 -- EC2ゲー https://twitter.com/mametter/status/366704419821203456 - https://twitter.com/hirekoke ** &^_^& [#ze6acdef] - 962点です - https://twitter.com/chunjp -- http://shuns.sblo.jp/article/72445355.html - https://twitter.com/ohkura - https://twitter.com/riesz ** ? [#h363ef14] - https://twitter.com/tomerun -- 修造 https://twitter.com/tomerun/status/224140769483689986 -- https://twitter.com/tomerun/status/366716677548806147 ** lambda llama [#ac829d7c] - https://twitter.com/superbobry -- 797点 https://twitter.com/superbobry/status/366717558495256576 -- ソースコードと参加記 https://github.com/superbobry/icfpc2013 ** ? [#k0d54b7e] - https://twitter.com/shinh -- 参加記 http://d.hatena.ne.jp/shinichiro_h/20130812 ** notogawa [#o9ba15e5] - https://twitter.com/notogawa -- 参加記 http://d.hatena.ne.jp/notogawa/20130812/1376320471 -- ソースコード https://github.com/notogawa/ICFPC2013 ** ? [#cf3e3d7e] - https://twitter.com/yuizumi_y5i -- 参加記 http://d.hatena.ne.jp/yuizumi/20130812 - https://twitter.com/buno_y - https://twitter.com/cocodrips ** ShiftForward [#r09fc83e] - ソースコード https://github.com/ShiftForward/icfpc2013 - https://twitter.com/andrebeat ** ? [#g5a0d41a] - 参加記 https://gist.github.com/jrudolph/83afde5c992bd94666c8 - ソースコード https://github.com/jrudolph/icfpc2013 ** ? [#rd7a4056] - https://twitter.com/holdenkarau - Holden Karau http://blog.holdenkarau.com/2013/08/the-icfp-2013-contest-is-over.html - ソースコード https://github.com/abarbu/icfp2013 ** ? [#uecee353] - 参加記 http://codeforces.ru/blog/entry/8591 - ソースコード https://github.com/pankdm/icfpc-2013 ** nakachanOK [#e3507fdf] - https://twitter.com/wistery_k -- 788点 https://twitter.com/wistery_k/status/366808949955100672 - https://twitter.com/y3eadgbe - https://twitter.com/pepsin_amylase ** ? [#pb41028c] - https://twitter.com/pavelivashkov - ソースコード https://github.com/paiv/icfpc2013 - https://twitter.com/pavelivashkov/status/366880138475999232 - 参加記 http://pavelivashkov.blogspot.jp/2013/08/finished-icfpc-2013-contest.html ** ? [#x3de29c8] - 参加記? http://ru-icfpc.livejournal.com/6267.html - スコア画像 https://twitter.com/xoposhiy/status/366711252468260864 ** ? [#m3cd9e94] - 参加記 381点 http://d.hatena.ne.jp/authorNari/20130812/1376284105 - ソースコード https://github.com/authorNari/ICFPC2013 ** ? [#p3c21b17] - https://twitter.com/jcazevedo -- 629点 https://twitter.com/jcazevedo/status/366723369485344768 ** Я⦿Ж⦿R [#tb82509d] - https://twitter.com/naoya_t -- 参加記 http://naoyat.hatenablog.jp/entry/ICFPC2013 -- チームについて https://twitter.com/naoya_t/status/366722230249455617 -- リーダーボードくれ https://twitter.com/naoya_t/status/366726744725651456 ** ? [#m2206f5c] - Team Green? -- https://twitter.com/jgerman/status/365870477983506432 ** ? [#r587963c] - https://twitter.com/yowa -- 参加記 964点 http://topcoder.g.hatena.ne.jp/yowa/20130812/1376325333 ** ? [#gdd7127d] - 638点 https://twitter.com/tau_phoenix/status/366942915211177984 ** ? [#k385800e] - ソースコード https://github.com/droundy/icfp2013 ** ? [#naf4e67d] - 日記の一部に参加記 http://www.binzume.net/diary/2013-08 ** ? [#kd041496] - 参加記 https://plus.google.com/u/0/106975406580115171548/posts/J6yfNoZfzhE - ソースコード https://bitbucket.org/krakrjak/icfp2013-junkfood ** ? [#cb22657f] - https://plus.google.com/112823570007766118485/posts/fszuY6C4Utv ** ? [#m45e9a41] - https://github.com/awwaiid/icfp2013 ** ? [#p126ee19] - https://twitter.com/brian_cain/status/365634101807550464 - https://twitter.com/brian_cain - https://twitter.com/branan - https://twitter.com/thorOnKrack - https://twitter.com/nick_lewis - https://twitter.com/grim_radical ** ? [#o2afb5e6] - https://twitter.com/stakanviski/status/368006040886853634 -- http://disorder.ru/archives/3545 ** ? [#radb2520] - Coq https://twitter.com/pi8027/status/366895321143451648 ** qnighy [#u6785558] - http://qnighy.hatenablog.com/entry/2013/08/14/224617 * Candidates [#t40cc862] - https://twitter.com/yasuhito - https://twitter.com/zerokugi - https://twitter.com/smly - https://twitter.com/xsde - https://twitter.com/taitai_jp - https://twitter.com/maradydd - https://twitter.com/bblum0 - https://twitter.com/Moriarty - https://twitter.com/_tanzaku_ - https://twitter.com/TotallyToRA - https://twitter.com/m_moskal