Gulfweed :: ICFP 2013 write ups

Top/ICFP 2013 write ups

[ トップ ]   [ 編集 | 凍結 | 差分 | バックアップ | 添付 | リロード ]   [ 新規 | 一覧 | 検索 | 最終更新 | ヘルプ ]

ICFP Contest 2013 †

By Microsoft Research http://research.microsoft.com/en-us/events/icfpcontest2013/

Contest site

Problem statement

Official twitter account

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

Report issues to @riesz please

Approach, Algorithm, UI, etc. †

• 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 †

• ICFPC 2013 おつかれさまでしたー togetter 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) †

• 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) †

• 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) †

• ソースコード https://github.com/amogil/icfpc2013/
• 1499点 (ソース http://labs.skbkontur.ru/icfpc2013/Stats)

? (Lightning Winner) †

• 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

? †

• 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 さんのチーム †

• 参加記 http://d.hatena.ne.jp/Irori/20130812/icfpc2013
• 　1460点? (ソース: http://labs.skbkontur.ru/icfpc2013/Stats)

nbu †

• 参加記？ 1458点？ http://ru-icfpc.livejournal.com/5949.html

THIRTEEN †

• 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 †

• https://twitter.com/veged/status/367762445361614848
• 1456点 https://github.com/veged/icfpc2013/blob/master/README.md

NekoSamaDuce †

• ソースコード 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 †

• https://twitter.com/_adept_/status/367737651912130560
  • http://users.livejournal.com/_adept_/125985.html

? †

• https://twitter.com/kikx
  • 参加記 992点 http://d.hatena.ne.jp/kikx/20130812
  • ソースコード https://gist.github.com/kik/6209891

? †

• https://twitter.com/nushio/status/366859513690726400
  • ソースコード https://github.com/nushio3/ICFPC2013
  • https://twitter.com/nushio
  • https://twitter.com/fumieval
  • https://twitter.com/gusmachine

oyososan †

• 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

? †

• 1037点 http://yantayga.livejournal.com/74137.html

? †

• 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

? †

• https://twitter.com/tau_phoenix
  • 638点 http://ice-phoenix.info/blog:49
• https://twitter.com/koppcapp
• https://twitter.com/lonlylocly

? †

• 479点 https://twitter.com/henshiru/status/366906804447354880

kirakira annatan †

• ソースコード 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 †

• https://github.com/emarhavilicfp/icfpc2013

? †

• https://twitter.com/tanakh
  • 後半 https://twitter.com/tanakh/status/366739759944568835
  • z3の限界 https://twitter.com/tanakh/status/366574982303711233

? †

• Don Yang
  • https://plus.google.com/105569802513221946528/posts http://uguu.org/ の人
  • ソースコード https://docs.google.com/file/d/0B7XdTJOhKlR9czlBNmZpb25Rd3M/edit

? †

• russian lambda planet
  • http://ru-icfpc.livejournal.com/5862.html
  • ソースコード https://github.com/atemerev/icfpc2013

? †

• Pavel Lepin
  • ソースコード https://github.com/pbl64k/icfpc2013

kuma- (Judges' prize) †

• 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

&^_^& †

• 962点です
• https://twitter.com/chunjp
  • http://shuns.sblo.jp/article/72445355.html
• https://twitter.com/ohkura
• https://twitter.com/riesz

? †

• https://twitter.com/tomerun
  • 修造 https://twitter.com/tomerun/status/224140769483689986
  • https://twitter.com/tomerun/status/366716677548806147

lambda llama †

• https://twitter.com/superbobry
  • 797点 https://twitter.com/superbobry/status/366717558495256576
  • ソースコードと参加記 https://github.com/superbobry/icfpc2013

? †

• https://twitter.com/shinh
  • 参加記 http://d.hatena.ne.jp/shinichiro_h/20130812

notogawa †

• https://twitter.com/notogawa
  • 参加記 http://d.hatena.ne.jp/notogawa/20130812/1376320471
  • ソースコード https://github.com/notogawa/ICFPC2013

? †

• https://twitter.com/yuizumi_y5i
  • 参加記 http://d.hatena.ne.jp/yuizumi/20130812
• https://twitter.com/buno_y
• https://twitter.com/cocodrips

ShiftForward †

• ソースコード https://github.com/ShiftForward/icfpc2013
• https://twitter.com/andrebeat

? †

• 参加記 https://gist.github.com/jrudolph/83afde5c992bd94666c8
• ソースコード https://github.com/jrudolph/icfpc2013

? †

• https://twitter.com/holdenkarau
• Holden Karau http://blog.holdenkarau.com/2013/08/the-icfp-2013-contest-is-over.html
• ソースコード https://github.com/abarbu/icfp2013

? †

• 参加記 http://codeforces.ru/blog/entry/8591
• ソースコード https://github.com/pankdm/icfpc-2013

nakachanOK †

• https://twitter.com/wistery_k
  • 788点 https://twitter.com/wistery_k/status/366808949955100672
• https://twitter.com/y3eadgbe
• https://twitter.com/pepsin_amylase

? †

• 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

? †

• 参加記? http://ru-icfpc.livejournal.com/6267.html
• スコア画像 https://twitter.com/xoposhiy/status/366711252468260864

? †

• 参加記 381点 http://d.hatena.ne.jp/authorNari/20130812/1376284105
• ソースコード https://github.com/authorNari/ICFPC2013

? †

• https://twitter.com/jcazevedo
  • 629点 https://twitter.com/jcazevedo/status/366723369485344768

Я⦿Ж⦿R †

• 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

? †

• Team Green?
  • https://twitter.com/jgerman/status/365870477983506432

? †

• https://twitter.com/yowa
  • 参加記 964点 http://topcoder.g.hatena.ne.jp/yowa/20130812/1376325333

? †

• 638点 https://twitter.com/tau_phoenix/status/366942915211177984

? †

• ソースコード https://github.com/droundy/icfp2013

? †

• 日記の一部に参加記 http://www.binzume.net/diary/2013-08

? †

• 参加記 https://plus.google.com/u/0/106975406580115171548/posts/J6yfNoZfzhE
• ソースコード https://bitbucket.org/krakrjak/icfp2013-junkfood

? †

• https://plus.google.com/112823570007766118485/posts/fszuY6C4Utv

? †

• https://github.com/awwaiid/icfp2013

? †

• 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

? †

• https://twitter.com/stakanviski/status/368006040886853634
  • http://disorder.ru/archives/3545

? †

• Coq https://twitter.com/pi8027/status/366895321143451648

qnighy †

• http://qnighy.hatenablog.com/entry/2013/08/14/224617

Candidates †

• 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

       

Last-modified: 2013-10-04 (金) 02:34:17

Site admin: riesz

PukiWiki 1.5.2 © 2001-2019 PukiWiki Development Team. Powered by PHP 7.3.16. HTML convert time: 0.194 sec.