「ICFPC 2012」の編集履歴（バックアップ）一覧に戻る
ICFPC 2012 - (2012/08/02 (木) 01:10:39) のソース
! 公式サイト
* [[http://icfpcontest2012.wordpress.com/|http://icfpcontest2012.wordpress.com/]]
* [[Lightning 第一ラウンドの結果|http://www-fp.cs.st-andrews.ac.uk/~icfppc/scoretable-lightning.txt]]
* [[本戦 第一ラウンドの結果|http://www-fp.cs.st-andrews.ac.uk/~icfppc/scoretable-full.txt]]
! 問題
関数型言語の普及に伴う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/]]
!! ブログ
チーム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]]
* [[ソースの説明|http://d.hatena.ne.jp/shinichiro_h/20120719#1342625153]]
* [[In English|http://shinhoge.blogspot.jp/2012/07/icfp-programming-contest-2012.html]]
チーム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]]
チーム 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/]]
* ソース(Ruby) [[https://github.com/yhara/ICFPC2012|https://github.com/yhara/ICFPC2012]]
チーム Tome of the night SKI @nya3jp @chunjp @phoenixstarhiro @xhl_kogitsune
*[[http://twitter.com/nya3jp/status/224851524596142081|http://twitter.com/nya3jp/status/224851524596142081]]
チーム hayato
* [[Wrap-up of ICFP Programming Contest 2012 - Hayato Ito- Google+|https://plus.google.com/u/0/116445437433162945363/posts/JvydCvGrpAz]]
* ソースの一部 (Scala) [[https://gist.github.com/3123427|https://gist.github.com/3123427]]
チーム UTMC+alpha @plaster @dekosuke @khibino @k_matsuzaki @Lost_dog_ @m2ym
* [[https://twitter.com/plaster/status/226511191009284096|https://twitter.com/plaster/status/226511191009284096]]
* ソース(Haskell,Scheme,Scala) [[https://bitbucket.org/utmcicfpc2012/icfpc2012-public/src|https://bitbucket.org/utmcicfpc2012/icfpc2012-public/src]]
チーム LennMars
* [[ICFPC2012に参加しました - 地球飽きた|http://d.hatena.ne.jp/LennMars/20120721/1342857235]]
* ソース (OCaml) [[https://bitbucket.org/LennMars/icfpc2012/|https://bitbucket.org/LennMars/icfpc2012/]]
チーム不明
* [[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]]
チーム notogawa @notogawa
* [[ICFP Programming Contest 2012 - ぼくのぬまち 出張版|http://d.hatena.ne.jp/notogawa/20120716/1342443183]]
チーム irori @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]]
!!英語圏・ロシア語圏
チーム 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
* [[ICFP 2012: Lambda Mining|http://idkjava.blogspot.jp/2012/07/icfp-2012-lambda-mining.html]]
* ソース (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]]
チーム Frictionless Bananas
* [[Frictionless Bananas - 2012 ICFP Programming Contest Entry|http://www.sawicki.us/icfp/2012/]]
* C++
チーム Λ*
* [[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]]
チーム NCPLUG
* [[ICFPC-2012. Мини-отчет.|http://yantayga.livejournal.com/54239.html]]
* ソース (Haskell) [[https://bitbucket.org/gltronred/ncplug-icfpc-2012/|https://bitbucket.org/gltronred/ncplug-icfpc-2012/]]
チーム 不明
* [[Атчод о ICFPC.|http://sorhed.livejournal.com/571964.html]]
チーム 不明
* [[Как мы занимались лямбда-лифтингом на icfpc-2012|http://jay-is-here.livejournal.com/9221.html]]
チーム 不明
* [[ICFP 2012: Поднятие лямбд на время|http://larubin.livejournal.com/182124.html]]
チーム 不明
* ソース (C++, compile time) [[https://github.com/fferreira/ICFP2012/|https://github.com/fferreira/ICFP2012/]]
チーム 不明
* [[Egér a Marson - ICFP contest 2012|http://moire.be/icfpcontest/2012.html]]
* Haskell
チーム 不明
* [[directed procrastination: ICFP 2012 Post Mortem|http://directed-procrastination.blogspot.jp/2012/07/icfp-2012-post-mortem.html]]
チーム 不明
* [[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]]
チーム 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]]
