ICFPC 2012

公式サイト

• http://icfpcontest2012.wordpress.com/

予選の結果

• Lightning 第一ラウンドの結果
• 本戦 第一ラウンドの結果

問題

関数型言語の普及に伴うlambda不足が深刻化している現代。そんな中、スコットランドで地中から大量のlambdaが発見される。ロボットを操り、岩とヒゲを避けながらlambdaを掘り起こすのだ <※なお、問題文は予告なく変更される可能性があります>

• http://icfpcontest2012.wordpress.com/task/

感想

他のまとめ

• ICFPC 2012 おつかれさまでしたー - Togetter
• ICFP Contest Russian
• reddit

ブログ

チーム shinh4 @shinh

• ICFP programming contest 2012 - 2012-07-16 - 兼雑記 shinh
• ソース (Befunge) http://shinh.skr.jp/dat_dir/icfp12.tgz
• ソースの説明
• In English

チーム O(nωn) @tomerun @uwitenpen @kou_miyam @hasi_t @nico_shindannin @WtbH

• ICFPC 2012 - 総合的な学習のお時間 tomerun

チーム W88F @osa_k @Mi_Sawa @tokoharu_sakura @wand125 @eagletmt @draftcode @choro3 ymzk

• ICFPC2012参加記 osa_k

チーム KEN-RON! @tanakh @mr_konn @toslunar @nushio @thimura

• https://twitter.com/tanakh/status/224838208695975936
• ソース (Haskell) https://github.com/tanakh/ICFP2012

チーム why-five-aye @yuizumi_y5i

• ICFP Programming Contest 2012 （前編）
• ICFP Programming Contest 2012 （後編）
• ソース (C++) https://github.com/yuizumi/icfpc-2012

チーム Sampou @masahiro_sakai @nobsun @1to100pen

• ICFP Programming Contest 2012 “Lambda Lifter” - ヒビルテ(2012-07-16)
• ソース (Haskell) https://github.com/msakai/icfpc2012

チーム Dark Integers @kinaba

• ICFP Contest 2012 - d.y.d. kinaba
• ソース (D) http://www.kmonos.net/repos/icfpc12

チーム oyososan @nodchip @peria @henshiru @tzik_tack

• ICFP Programming Contest 2012 - nodchipのTopCoder日記 - TopCoder部
• ICFPC - periaのプログラム・メモ
• 梅雨も明けたので ICFP Programming Contest 2012 にチームで参加した感想など書く

チーム yarunee @yhara @nishidayuya @nari3 @sada4 hoshi

• ICFPC2012参戦記 - I'm Cruby
• ソース(Ruby) https://github.com/yhara/ICFPC2012

チーム Tome of the night SKI @nya3jp @chunjp @phoenixstarhiro @xhl_kogitsune

• http://twitter.com/nya3jp/status/224851524596142081

チーム hayato

• Wrap-up of ICFP Programming Contest 2012 - Hayato Ito- Google+
• ソースの一部 (Scala) https://gist.github.com/3123427

チーム UTMC+alpha @plaster @dekosuke @khibino @k_matsuzaki @Lost_dog_ @m2ym

• https://twitter.com/plaster/status/226511191009284096
• ソース(Haskell,Scheme,Scala) https://bitbucket.org/utmcicfpc2012/icfpc2012-public/src

チーム LennMars

• ICFPC2012に参加しました - 地球飽きた
• ソース (OCaml) https://bitbucket.org/LennMars/icfpc2012/

チーム不明

• https://twitter.com/c255/status/225124839285993473
• ソース (Haskell) https://bitbucket.org/c000/icfp2012/src

チーム notogawa @notogawa

• ICFP Programming Contest 2012 - ぼくのぬまち 出張版

チーム irori @irori

• ICFP Programming Contest 2012 - iroriの日記
• ソース (C++) https://gist.github.com/3129283

英語圏・ロシア語圏

チーム Emarhavil Heavy Functional Programming

• http://twitter.com/bblum0/status/224995815893123072
• ソース (Rust) https://github.com/emarhavilicfp/icfp

チーム Sir Bedevere the Wise

• The meandering ways of Sir Bedevere the Wise
• ソース (Python) https://bitbucket.org/rogueops/icfp2012

チーム xor eax, eax

• Janto's blog: ICFP 2012 contest
• ソース (Python) https://bitbucket.org/janto/icfp2012

チーム cashto

• ソース (CoffeeScript) https://dl.dropbox.com/u/31272201/icfp/2012/README.html

チーム Russell's Barbers

• http://twitter.com/avibryant/status/225004416351219712
• ソース (Scala) https://github.com/avibryant/icfp2012

チーム Celestial Dire Badger

• http://twitter.com/xlerb/status/224840525499469824
• ソース (Rust) https://github.com/jld/icfpc12

チーム Invisible Imp

• ソース (Scala) https://github.com/popiel/icfp-2012

チーム This is an albatrocity!

• ソース (Haskell) http://www.ugcs.caltech.edu/~stansife/icfp2012/

チーム parent nodes

• ICFP 2012 Programming Contest: team 'parent nodes'
• ソース (C) https://github.com/bjmgeek/icfp2012/tree/c_lifter

チーム IDKJava

• ICFP 2012: Lambda Mining
• ソース (C++) https://github.com/gkanwar/ICFP-2012

チーム Guru Meditation

• ソース (Scala) https://github.com/ShiftForward/icfp2012

チーム Frictionless Bananas

• Frictionless Bananas - 2012 ICFP Programming Contest Entry
• C++

チーム Λ*

• ICFPC 2012: от Lambda The Gathering к Gathering The Lambdas
• ICFPC 2012
• ソース (Haskell) https://bitbucket.org/jkff/icfp2012

チーム NCPLUG

• ICFPC-2012. Мини-отчет.
• ソース (Haskell) https://bitbucket.org/gltronred/ncplug-icfpc-2012/

チーム 不明

• Атчод о ICFPC.

チーム 不明

• Как мы занимались лямбда-лифтингом на icfpc-2012

チーム 不明

• ICFP 2012: Поднятие лямбд на время

チーム 不明

• ソース (C++, compile time) https://github.com/fferreira/ICFP2012/

チーム Egér a Marson

• Egér a Marson - ICFP contest 2012
• Haskell

チーム 不明

• directed procrastination: ICFP 2012 Post Mortem

チーム 不明

• ICFP Contest 2012: A new language makes for fun and frustration
• ソース (TP) http://rhope.retrodev.com/repos/icfp2012/

簡単な README のあるレポジトリ

チーム Raging Mushrooms

• https://twitter.com/spicausis/status/224927015583760386
• ソース (OCaml) https://github.com/einars/icfp2012

チーム (C++)Snakes Vs Lambdas

• https://twitter.com/pankdm/status/224930345806602240
• ソース (C++) https://github.com/pankdm/icfpc-2012

チーム ParrotMiners

• http://twitter.com/yannsionneau/status/225324505009098752
• ソース (Python) https://github.com/fallen/ICFP-2012-Parrot_Miners

チーム "foo"?

• ソース (Python) https://github.com/ooz/ICFP2012

チーム I Eval My Kitty

• ソース (Perl) https://github.com/awwaiid/icfp2012

チーム 不明

• https://twitter.com/xoposhiy/status/224866385078136833
• ソース (C#) https://github.com/amogil/icfpcontest2012

チーム 不明

• ソース (Haskell) https://github.com/scvalex/icfp

チーム 不明

• ソース (Ruby) https://github.com/jamie/icfp2012

チーム 不明

• ソース (Python) https://github.com/aelaguiz/icfp2012

ほとんど README のないレポジトリ

• jabber.ru (OCaml) http://re.jabber.ru/~alexey/icfpc-2012/
• Lyrical Tokarev (Python) https://github.com/latticetower/icfp2012_submission
• The Church of the Least Fixed Point (Haskell) https://github.com/leastfixed/icfp2012
• The Duck Typers (Python) https://github.com/chris-hudson/ICFP
• codingteam (Haskell) https://github.com/ForNeVeR/codingteam-icfp
• Wondering Hobos (Scheme) https://github.com/mgregson/icfp2012
• Aerial Robotics Club (Go) https://github.com/prattmic/ARC-ICFP-2012
• Lambda Miner (C++) https://github.com/migal-drew/icfp2012_lambda_miner
• Team Challenge Accepted (C++) https://github.com/agentchuck/project-phoenix
• Ada-Camel (OCaml) https://github.com/kanigsson/Ada-Camel
• (C) https://bitbucket.org/rmathew/icfpc/src/49f87b691467/2012
• (C++) https://github.com/Daiver/icfp2012
• (C++) https://github.com/avpp/icfp2012
• (Clojure) https://github.com/skatenerd/icfp
• (Clojure) https://github.com/jamii/icfp2012
• (Clojure) https://github.com/watersofoblivion/icfp-2012
• (Go) https://github.com/machinaut/icfp
• (Haskell) https://github.com/mbg/icfp
• (Haskell) https://github.com/Athas/icfp2012
• (Haskell) https://github.com/nikmikov/icfp2012
• (Haskell) https://github.com/Ralith/icfpc-2012
• (Pascal) http://pastebin.com/JahadZjU
• (Python) https://bitbucket.org/xa4a/icfpc12/
• (Python) https://github.com/niqolay/npo-icfp
• (Python) https://github.com/mgyenik/icfp2012-python
• (Scala) https://github.com/atemerev/icfp2012