! 公式サイト * [[http://icfpcontest2012.wordpress.com/|http://icfpcontest2012.wordpress.com/]] ! 問題 関数型言語の普及に伴うlambda不足が深刻化している現代。そんな中、スコットランドで地中から大量のlambdaが発見される。ロボットを操り、岩とヒゲを避けながらlambdaを掘り起こすのだ <※なお、問題文は予告なく変更される可能性があります> * [[http://icfpcontest2012.wordpress.com/task/|http://icfpcontest2012.wordpress.com/task/]] ! 感想 !! 他のまとめ * [[ICFPC 2012 おつかれさまでしたー - Togetter|http://togetter.com/li/339776]] * [[ICFP Contest Russian|http://ru-icfpc.livejournal.com/4112.html]] * [[reddit|http://www.reddit.com/r/icfpcontest/]] !! ブログ チームO(nwn) @tomerun @uwitenpen @kou_miyam @hasi_t @nico_shindannin @WtbH * [[ICFPC 2012 - 総合的な学習のお時間|http://d.hatena.ne.jp/tomerun/20120717]] tomerun チームW88F @osa_k @Mi_Sawa @tokoharu_sakura @wand125 @eagletmt @draftcode @choro3 ymzk *[[ICFPC2012参加記|http://www.osak.jp/program/icfpc2012.html]] osa_k チームKEN-RON! @tanakh @mr_konn @toslunar @nushio @thimura * [[https://twitter.com/tanakh/status/224838208695975936|https://twitter.com/tanakh/status/224838208695975936]] * ソース (Haskell) [[https://github.com/tanakh/ICFP2012|https://github.com/tanakh/ICFP2012]] チーム?? @yuizumi_y5i * [[ICFP Programming Contest 2012 (前編)|http://d.hatena.ne.jp/yuizumi/20120716/1342454763]] * [[ICFP Programming Contest 2012 (後編)|http://d.hatena.ne.jp/yuizumi/20120717/1342509502]] * ソース (C++) [[https://github.com/yuizumi/icfpc-2012|https://github.com/yuizumi/icfpc-2012]] チームSampou @masahiro_sakai @nobsun @1to100pen * [[ICFP Programming Contest 2012 “Lambda Lifter” - ヒビルテ(2012-07-16)|http://msakai.jp/d/?date=20120716#p01]] * ソース (Haskell) [[https://github.com/msakai/icfpc2012|https://github.com/msakai/icfpc2012]] チームshinh4 @shinh * [[ICFP programming contest 2012 - 2012-07-16 - 兼雑記|http://d.hatena.ne.jp/shinichiro_h/20120716#1342441610]] shinh * ソース (Befunge) [[http://shinh.skr.jp/dat_dir/icfp12.tgz|http://shinh.skr.jp/dat_dir/icfp12.tgz]] チーム Dark Integers @kinaba * [[ICFP Contest 2012 - d.y.d.|http://www.kmonos.net/wlog/126.html#_2304120716]] kinaba * ソース (D) [[http://www.kmonos.net/repos/icfpc12|http://www.kmonos.net/repos/icfpc12]] チームoyososan @nodchip @peria @henshiru @tzik_tack * [[ICFP Programming Contest 2012 - nodchipのTopCoder日記 - TopCoder部|http://topcoder.g.hatena.ne.jp/nodchip/20120716/1342458051]] * [[ICFPC - periaのプログラム・メモ|http://d.hatena.ne.jp/peria/20120716]] * [[梅雨も明けたので ICFP Programming Contest 2012 にチームで参加した感想など書く|http://henshiru.hatenablog.com/entry/2012/07/18/023222]] チームyarunee @yhara @nishidayuya @nari3 @sada4 hoshi * [[ICFPC2012参戦記 - I'm Cruby|http://d.hatena.ne.jp/authorNari/]] チームTome of the night SKI @nya3jp @chunjp @phoenixstarhiro @xhl_kogitsune *[[http://twitter.com/nya3jp/status/224851524596142081|http://twitter.com/nya3jp/status/224851524596142081]] チーム不明 * [[https://twitter.com/c255/status/225124839285993473|https://twitter.com/c255/status/225124839285993473]] * ソース (Haskell) [[https://bitbucket.org/c000/icfp2012/src|https://bitbucket.org/c000/icfp2012/src]] チーム不明 * [[ICFP Programming Contest 2012 - ぼくのぬまち 出張版|http://d.hatena.ne.jp/notogawa/20120716/1342443183]] チーム 不明 @irori * [[ICFP Programming Contest 2012 - iroriの日記|http://d.hatena.ne.jp/Irori/20120717/icfpc2012]] * ソース (C++) [[https://gist.github.com/3129283|https://gist.github.com/3129283]] チーム 不明 * [[http://twitter.com/LennMars/status/224894830428438528|http://twitter.com/LennMars/status/224894830428438528]] * ソース (OCaml) [[https://bitbucket.org/LennMars/icfpc2012/|https://bitbucket.org/LennMars/icfpc2012/]] !!英語圏・ロシア語圏 チーム Emarhavil Heavy Functional Programming * [[http://twitter.com/bblum0/status/224995815893123072|http://twitter.com/bblum0/status/224995815893123072]] * ソース (Rust) [[https://github.com/emarhavilicfp/icfp|https://github.com/emarhavilicfp/icfp]] チーム Sir Bedevere the Wise * [[The meandering ways of Sir Bedevere the Wise|http://bedevere.bohrarper.se/#category4]] * ソース (Python) [[https://bitbucket.org/rogueops/icfp2012|https://bitbucket.org/rogueops/icfp2012]] チーム xor eax, eax * [[Janto's blog: ICFP 2012 contest|http://janto.blogspot.jp/2012/07/icfp-2012-contest.html]] * ソース (Python) [[https://bitbucket.org/janto/icfp2012| https://bitbucket.org/janto/icfp2012]] チーム cashto * ソース (CoffeeScript) [[https://dl.dropbox.com/u/31272201/icfp/2012/README.html|https://dl.dropbox.com/u/31272201/icfp/2012/README.html]] チーム Russell's Barbers * [[http://twitter.com/avibryant/status/225004416351219712|http://twitter.com/avibryant/status/225004416351219712]] * ソース (Scala) [[https://github.com/avibryant/icfp2012|https://github.com/avibryant/icfp2012]] チーム Celestial Dire Badger * [[http://twitter.com/xlerb/status/224840525499469824|http://twitter.com/xlerb/status/224840525499469824]] * ソース (Rust) [[https://github.com/jld/icfpc12|https://github.com/jld/icfpc12]] チーム Invisible Imp * ソース (Scala) [[https://github.com/popiel/icfp-2012|https://github.com/popiel/icfp-2012]] チーム This is an albatrocity! * ソース (Haskell) [[http://www.ugcs.caltech.edu/~stansife/icfp2012/|http://www.ugcs.caltech.edu/~stansife/icfp2012/]] チーム parent nodes * [[ICFP 2012 Programming Contest: team 'parent nodes'|http://brian.minton.name/icfp2012/]] * ソース (C) [[https://github.com/bjmgeek/icfp2012/tree/c_lifter|https://github.com/bjmgeek/icfp2012/tree/c_lifter]] チーム IDKJava * ソース (C++) [[https://github.com/gkanwar/ICFP-2012|https://github.com/gkanwar/ICFP-2012]] チーム Guru Meditation * ソース (Scala) [[https://github.com/ShiftForward/icfp2012|https://github.com/ShiftForward/icfp2012]] チーム Λ* * [[ICFPC 2012: от Lambda The Gathering к Gathering The Lambdas|http://users.livejournal.com/_adept_/123989.html]] * [[ICFPC 2012|http://antilamer.livejournal.com/438034.html]] * ソース (Haskell) [[https://bitbucket.org/jkff/icfp2012|https://bitbucket.org/jkff/icfp2012]] チーム 不明 * [[Атчод о ICFPC.|http://sorhed.livejournal.com/571964.html]] チーム 不明 * [[Как мы занимались лямбда-лифтингом на icfpc-2012|http://jay-is-here.livejournal.com/9221.html]] チーム 不明 * ソース (C++, compile time) [[https://github.com/fferreira/ICFP2012/|https://github.com/fferreira/ICFP2012/]] チーム 不明 * [[ICFP Contest 2012: A new language makes for fun and frustration|http://rhope.retrodev.com/post/27]] * ソース (TP) [[http://rhope.retrodev.com/repos/icfp2012/|http://rhope.retrodev.com/repos/icfp2012/]] !! 簡単な README のあるレポジトリ チーム Raging Mushrooms * [[https://twitter.com/spicausis/status/224927015583760386|https://twitter.com/spicausis/status/224927015583760386]] * ソース (OCaml) [[https://github.com/einars/icfp2012|https://github.com/einars/icfp2012]] チーム (C++)Snakes Vs Lambdas * [[https://twitter.com/pankdm/status/224930345806602240|https://twitter.com/pankdm/status/224930345806602240]] * ソース (C++) [[https://github.com/pankdm/icfpc-2012|https://github.com/pankdm/icfpc-2012]] チーム NCPLUG * ソース (Haskell) [[https://bitbucket.org/gltronred/ncplug-icfpc-2012/|https://bitbucket.org/gltronred/ncplug-icfpc-2012/]] チーム ParrotMiners * [[http://twitter.com/yannsionneau/status/225324505009098752|http://twitter.com/yannsionneau/status/225324505009098752]] * ソース (Python) [[https://github.com/fallen/ICFP-2012-Parrot_Miners|https://github.com/fallen/ICFP-2012-Parrot_Miners]] チーム "foo"? * ソース (Python) [[https://github.com/ooz/ICFP2012|https://github.com/ooz/ICFP2012]] チーム I Eval My Kitty * ソース (Perl) [[https://github.com/awwaiid/icfp2012|https://github.com/awwaiid/icfp2012]] チーム 不明 * [[https://twitter.com/xoposhiy/status/224866385078136833|https://twitter.com/xoposhiy/status/224866385078136833]] * ソース (C#) [[https://github.com/amogil/icfpcontest2012|https://github.com/amogil/icfpcontest2012]] チーム 不明 * ソース (Haskell) [[https://github.com/scvalex/icfp|https://github.com/scvalex/icfp]] チーム 不明 * ソース (Ruby) [[https://github.com/jamie/icfp2012|https://github.com/jamie/icfp2012]] チーム 不明 * ソース (Python) [[https://github.com/aelaguiz/icfp2012|https://github.com/aelaguiz/icfp2012]] !! ほとんど README のないレポジトリ * jabber.ru (OCaml) [[http://re.jabber.ru/~alexey/icfpc-2012/|http://re.jabber.ru/~alexey/icfpc-2012/]] * Lyrical Tokarev (Python) [[https://github.com/latticetower/icfp2012_submission|https://github.com/latticetower/icfp2012_submission]] * The Church of the Least Fixed Point (Haskell) [[https://github.com/leastfixed/icfp2012|https://github.com/leastfixed/icfp2012]] * The Duck Typers (Python) [[https://github.com/chris-hudson/ICFP|https://github.com/chris-hudson/ICFP]] * codingteam (Haskell) [[https://github.com/ForNeVeR/codingteam-icfp|https://github.com/ForNeVeR/codingteam-icfp]] * Wondering Hobos (Scheme) [[https://github.com/mgregson/icfp2012|https://github.com/mgregson/icfp2012]] * Aerial Robotics Club (Go) [[https://github.com/prattmic/ARC-ICFP-2012|https://github.com/prattmic/ARC-ICFP-2012]] * Lambda Miner (C++) [[https://github.com/migal-drew/icfp2012_lambda_miner|https://github.com/migal-drew/icfp2012_lambda_miner]] * Team Challenge Accepted (C++) [[https://github.com/agentchuck/project-phoenix|https://github.com/agentchuck/project-phoenix]] * Ada-Camel (OCaml) [[https://github.com/kanigsson/Ada-Camel|https://github.com/kanigsson/Ada-Camel]] * (C) [[https://bitbucket.org/rmathew/icfpc/src/49f87b691467/2012|https://bitbucket.org/rmathew/icfpc/src/49f87b691467/2012]] * (C++) [[https://github.com/Daiver/icfp2012|https://github.com/Daiver/icfp2012]] * (C++) [[https://github.com/avpp/icfp2012|https://github.com/avpp/icfp2012]] * (Clojure) [[https://github.com/skatenerd/icfp|https://github.com/skatenerd/icfp]] * (Clojure) [[https://github.com/jamii/icfp2012|https://github.com/jamii/icfp2012]] * (Clojure) [[https://github.com/watersofoblivion/icfp-2012|https://github.com/watersofoblivion/icfp-2012]] * (Go) [[https://github.com/machinaut/icfp|https://github.com/machinaut/icfp]] * (Haskell) [[https://github.com/mbg/icfp|https://github.com/mbg/icfp]] * (Haskell) [[https://github.com/Athas/icfp2012|https://github.com/Athas/icfp2012]] * (Haskell) [[https://github.com/nikmikov/icfp2012|https://github.com/nikmikov/icfp2012]] * (Haskell) [[https://github.com/Ralith/icfpc-2012|https://github.com/Ralith/icfpc-2012]] * (Pascal) [[http://pastebin.com/JahadZjU|http://pastebin.com/JahadZjU]] * (Python) [[https://bitbucket.org/xa4a/icfpc12/|https://bitbucket.org/xa4a/icfpc12/]] * (Python) [[https://github.com/niqolay/npo-icfp|https://github.com/niqolay/npo-icfp]] * (Python) [[https://github.com/mgyenik/icfp2012-python|https://github.com/mgyenik/icfp2012-python]] * (Scala) [[https://github.com/atemerev/icfp2012|https://github.com/atemerev/icfp2012]]