* 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]]

Result: https://twitter.com/imos/status/383346582969921536

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

- http://blogs.technet.com/b/inside_microsoft_research/archive/2013/09/26/programming-contest-yields-surprising-results.aspx

** Unagi: The Synthesis (Winner! 1696 points) [#gbb7c056]
- Member list https://twitter.com/iwiwi/status/365623031894249473
-- https://twitter.com/iwiwi
--- Got 1st prize! http://d.hatena.ne.jp/iwiwi/20130927/1380255924
--- http://topcoder.g.hatena.ne.jp/iwiwi/20130816/1376673826
--- コンテストの様子画像集 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
--- Got 1st prize https://twitter.com/imos/status/383345402696966144
-- https://twitter.com/chokudai
--- Got 1st prize https://twitter.com/chokudai/status/383362841715036160
-- https://twitter.com/toslunar
-- https://twitter.com/sulume

** F5 ATTACKERS (2nd place 1609 points) [#g15cf7d9]
- https://twitter.com/taitai_jp
-- 1609点 https://twitter.com/taitai_jp/status/383348438173110273
- https://twitter.com/logicmachine
- https://twitter.com/tomerun
- https://twitter.com/foota
- https://twitter.com/tanakmura

** Hack the loop (3rd place 1499 points) [#oebde711]
- ソースコード https://github.com/amogil/icfpc2013/
- 1499点 (ソース http://labs.skbkontur.ru/icfpc2013/Stats)

** ? (Lightning winner?) [#g6173999]
- https://twitter.com/zerokugi
-- https://twitter.com/zerokugi/status/383529874901590016
-- https://twitter.com/zerokugi/status/383529422663327744
** ? (Lightning Winner) [#g6173999]
- 1250ちょい http://frozen.hateblo.jp/entry/2013/08/13/124125
-- https://twitter.com/perokugi == https://twitter.com/zerokugi
--- https://twitter.com/zerokugi/status/383529874901590016
--- https://twitter.com/zerokugi/status/383529422663327744
--- 回答率 3次元 https://twitter.com/perokugi/status/366831776376713216
-- https://twitter.com/inu_hir0shi
--- https://twitter.com/inu_hir0shi/status/383505652858896384
-- https://twitter.com/zr_4

** ? [#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

** 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- (Judges' prize) [#u7c8dba8]
- https://twitter.com/mametter
-- Got Judges' prize http://d.hatena.ne.jp/ku-ma-me/20130927
-- 参加記 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/smly

- https://twitter.com/xsde

- 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

トップ   編集 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS