* ICFP Contest 2013 [#afbaf54a]

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

[[コンテストサイト:http://icfpc2013.cloudapp.net/]]

[[Problem statement:http://icfpc2013.cloudapp.net/#18624000301965.1000079.103hVrUBBrcN]]

[[Official twitter account:https://twitter.com/ICFPContest2013]]

修正・削除は @riesz までご連絡ください

* Topic, 方針 [#fad81f8c]

- 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 してくれる

* 参加記 [#l21420d5]

- [[ICFPC 2013 おつかれさまでしたー togetter:http://togetter.com/li/547859]] by @kinaba

- github にあるもの
-- https://github.com/search?q=icfpc2013&type=Repositories&ref=searchresults

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

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

** ? [#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
-- 参加記 http://d.hatena.ne.jp/kikx/20130812

** ? [#ebed9cf0]
- https://twitter.com/xhl_kogitsune
-- EC2 https://twitter.com/xhl_kogitsune/status/366847967371603968
-- 方針 https://twitter.com/xhl_kogitsune/status/366869992966328320

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

** ? [#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
- Anna Ogawa
- Keiko Ono
- Hayato Ito

** Emarhavil Heavy Industries [#hea2c719]
- https://github.com/emarhavilicfp/icfpc2013

** 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 より)

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

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

** ? [#y27fa9b3]
- 参加記 http://d.hatena.ne.jp/Irori/20130812/icfpc2013

** ? [#h9cc07f2]
- https://twitter.com/notogawa
-- 参加記 http://d.hatena.ne.jp/notogawa/20130812/1376320471

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

** ? [#o8ab0d50]
- 参加記? http://ru-icfpc.livejournal.com/5949.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

* 参加してたっぽい人をリストアップ [#je79d440]

- https://twitter.com/ohkura
- https://twitter.com/riesz
- https://twitter.com/chunjp

- https://twitter.com/yasuhito

- https://twitter.com/zerokugi

- https://twitter.com/inoueh

- https://twitter.com/smly

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

- 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/grim_radical
- https://twitter.com/nick_lewis
- https://twitter.com/branan

- https://twitter.com/TotallyToRA


トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS