Reddit - Dive into anything
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ICFP 2010 papers are in ACM DL, but not freely available. The program is here: http://www.icfpconference.org/icfp2010/program.html And a (growing) list of freely available pre-prints: Monday Keynote:
ICFP 2010 実況など
kinaba @kinaba #WMM Appelの招待講演：静的解析器で不変条件を挿入→（以下Coqで）検証→公理的意味論から操作的意味論から双模倣で証明しやすい操作的意味論からLeroyのCompCertで抽象マシン語にコンパイルしてからPPCへ、という、並列性を扱えるCコンパイラツールチェインについて。 2010-09-25 23:39:52 kinaba @kinaba #WMM システムコールやpthreadはオラクルとして抽象化してやる。"この量の証明は機械化証明なしでは無理"、"証明のモジュール化(module,依存型,型クラス)重要"/(感想)それでもまだモジュール化機構が"足りてない"感を感じるけど証明言語は将来どうなるかなー 2010-09-25 23:50:59
行列と項書換 - d.y.d.
21:54 10/06/30 行列と項書換 "Termination of String Rewriting with Matrix Interpretations" という論文を読みました。 これは何かというとつまり、 ICFPコンテストの元ネタとして 紹介 されていた論文です。 れ い 年、 冗談９割で、主催者の専門分野にちなんだ問題が出るに違いない！と叫んでいるのですが、 本当に来るとは思わなかった…。 さて。項書き換え (term rewriting) と呼ばれる研究分野がありまして、 例えばこんな問題を調べています。 文字列に対して、「以下の操作のどれかを好きに選ぶ ＆ 実行する」を繰り返します。 abc という部分文字列を de に書き換える （abc ⇒ de と書きます） ef ⇒ g fgh ⇒ ij どんな文字列からスタートしても、最後には、どの規則も使えない状態 （つ
ICFP Programming Contest 2010 終了 - まめめも
ref: http://icfpcontest.org/ 今回の課題は近年稀に見る面白さでした。要約するとこんな課題。 車とその燃料を開発して、市場に投入せよ。 市場に投入された車の設計書は参加者全員に公開される。燃料の設計書は公開されない。 他社の車の設計書を解析して、他社の車用の燃料を開発し市場に投入することもできる。売上はほぼ折半 *1 。 燃料の売上を競う。 以上より目的は、「解析が難しい車を設計して投入し、燃料の売上を寡占する」かつ「他人の車を解析して燃料を作り、売上を奪う」ということになります。すばらしい皮肉的な設定。 さらに ICFPC らしさとして、 車や燃料の設計書は trit 文字列 (0 と 1 と 2 のみからなる文字列) で書かれる。trit 文字列の仕様は非公開。適当に作った設計書を投入してみて、パースエラーのメッセージを元に、トライアンドエラーでフォーマットを
ICFP Programming Contest 2009
Surprisingly, I won the first place in the ICFP programming contest 2009. I'm very appreciated for this result - it was much better than my expectation. I was in 9th place before the validation process. This is the post to describe my approach of my solution. Here is my source code:http://shinh.skr.jp/dat_dir/icfpc.zip * FAQs Before the detailed descriptions, I put some questions asked by other co
ICFPそのものについて 2009-09-12 - 兼雑記
完全にド素人なわけで、どうせほとんど何言ってるかわからんのだろうなぁと思ってたんですが、意外とわかるものももあったので書いておこうかと。わかると言っても、どうやってやったかとかまではなかなかわからんくて、モチベーションくらいがわかればそれだけでも嬉しいという幸せな話でして。 プロシーディングはここにあるみたいだ。 http://portal.acm.org/toc.cfm?id=1596550&coll=portal&dl=ACM&type=proceeding&idx=SERIES824&part=series&WantType=Proceedings&title=ICFP&CFID=505049525&CFTOKEN=505049525 以下、たぶん間違ってたりそんなことは重要なことではないということを書いてたりします。 Organizing Functional Code for P
はじめてのにき(2009-09-02)
_ いぎりすにき2 発表されるまでにエジンバラに行ってると書くと あんま秘密守ってるとは言えないよなーと思って 投げてなかったのを送っておく。 移動日 ANA でパリ行って Air france でパリからエジンバラという行程。荷物勝手にエジンバラまで送ってあげるよとのことだったので、まかせることに。 ANA の飛行機はつかれた。途中でおっぱいバレーというひどい映画と、スタートレックとマトリックスを見た。スタートレック以外は途中で寝たり早送りしたりひどかった。マトリックスって面白くないんだなぁ…というか好みじゃなかった。攻殻機動隊の影響受けてるとかいう話だっけ。たしかにそれは感じた。 パリについたら荷物がどうこうでちょっと不穏な感じになった。しばらくなんかした後に、よくわからんけど大丈夫だと言われた。で、飛行機が遅れる。やめて欲しいなぁ…と思いつつ、そういえばアダプタ持ってねえやと大変重要
The Eleventh ICFP Programming Contest - 純粋関数型雑記帳
http://www.icfpcontest.org/ 疲れた…。 今年はまあ何というか、孤独との戦いであった。 来年はちゃんと休みをもらって、ちゃんとチームを作って出たいと思った。 初日はkzk氏、hillbig氏とともになんかやってました。 今年は問題がシンプルだなと思った。 時間制限3時間とかのICPCのJava Challengeとかよりもはるかにシンプルなのですけど。 そして、問題の制約が恐ろしく緩い。 どこまで想定すればいいのでか。 そして、Windows版が用意されないシミュレータ。 アメリカ語を2時間ぐらい掛けて頑張って読んで、 適当にプロトコルかいたりしてたら、 開始4時間後ぐらいには愚直ダッシュコントローラができてたような気がする。 しばらくしてナイーブな敵と穴避けアルゴリズムが完成して、 すでに与えられたマップが終わってしまった。 しばらくしてMLにスコア自慢が現れて
ICFP Contest 2008 « lambda.oasis :: cpoucet -> content
For those that are unaware, in exactly one month the 3 day ICFP contest will be held again. This contest has been held for 10 years already and has seen a steady increase in participants, especially in the last two years. Curiously, this ties in with my previous post as it seems that this contest has reached critical mass in 2006 to become really big in 2007. For those wondering what the contest i
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Erreur
http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-029.pdf
Route 477