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
ICFP Programming Contest 2010 終了 - まめめも
ref: http://icfpcontest.org/ 今回の課題は近年稀に見る面白さでした。要約するとこんな課題。 車とその燃料を開発して、市場に投入せよ。 市場に投入された車の設計書は参加者全員に公開される。燃料の設計書は公開されない。 他社の車の設計書を解析して、他社の車用の燃料を開発し市場に投入することもできる。売上はほぼ折半 *1 。 燃料の売上を競う。 以上より目的は、「解析が難しい車を設計して投入し、燃料の売上を寡占する」かつ「他人の車を解析して燃料を作り、売上を奪う」ということになります。すばらしい皮肉的な設定。 さらに ICFPC らしさとして、 車や燃料の設計書は trit 文字列 (0 と 1 と 2 のみからなる文字列) で書かれる。trit 文字列の仕様は非公開。適当に作った設計書を投入してみて、パースエラーのメッセージを元に、トライアンドエラーでフォーマットを
TLE '10 - d.y.d.
09:37 10/02/28 PrezzProcezz TLEのPREP は、私のコードは縮める前がこんな感じで、 // println(X) #define p(X) X _Pragma("") // H = 百の位が… (a: 3で割って0余る場合、 b: 1余る、 c: ２余る) #define a(H) d(H 0) e(H 1) f(H 2) d(H 3) e(H 4) f(H 5) d(H 6) e(H 7) f(H 8) d(H 9) #define b(H) e(H 0) f(H 1) d(H 2) e(H 3) f(H 4) d(H 5) e(H 6) f(H 7) d(H 8) e(H 9) #define c(H) f(H 0) d(H 1) e(H 2) f(H 3) d(H 4) e(H 5) f(H 6) d(H 7) e(H 8) f(H 9) // HJ =
投信ブロガーが選ぶ！Fund of the Year 2009の結果発表 | ホンネの資産運用セミナー＜インデックス投資ブログ＞
楽天証券で保有していた投資信託4本をすべてSBI証券へ移管した ⇒ ゆうき (02/19) 楽天証券で保有していた投資信託4本をすべてSBI証券へ移管した ⇒ akisan (02/19) 確定拠出年金（iDeCo含む）の商品数（35本）上限は撤廃すべき ⇒ ハイマージェ (11/01) 2024年の新NISAを前にメインカードを三井住友プラチナプリファードに変更 ⇒ ゆうき (10/13) 2024年の新NISAを前にメインカードを三井住友プラチナプリファードに変更 ⇒ ハイマージェ (10/13) 2024年の新NISAを前にメインカードを三井住友プラチナプリファードに変更 ⇒ ゆうき (09/20) 2024年の新NISAを前にメインカードを三井住友プラチナプリファードに変更 ⇒ ハイマージェ (09/20) 空き家増加の背景にある過剰な新築住宅〜過剰な住宅ローン減税拡大政策 ⇒ 田
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
To all who Think Themselves a Programmer
Avoid scams and fraud by dealing locally! Beware any deal involving Western Union, Moneygram, wire transfer, cashier check, money order, shipping, escrow, or any promise of transaction protection/certification/guarantee. More info To all who Think Themselves a Programmer (SOMA / south beach) Reply to: job-yf5yz-1246353621@craigslist.org [Errors when replying to ads?] Date: 2009-06-29, 8:30PM PDT
Microsoft Learn: Build skills that open doors in your career
Microsoft Learn. Spark possibility. Build skills that open doors. See all you can do with documentation, hands-on training, and certifications to help you get the most from Microsoft products. Learn by doing Gain the skills you can apply to everyday situations through hands-on training personalized to your needs, at your own pace or with our global network of learning partners. Take training Find
ActionScript100行でゲームを作れ - ABAの日誌
結論：あまり現実的でない いや一応チャレンジはしてみたのだが。 WallAll (http://wonderfl.kayac.com/code/165579b698f8fc0bb6cbec718b4952dcbb6dd74e) これで100行。コメント除くと90行なので後10行使えるとしても本当に短いな。ゲーム本体以外のロジックに半分は食われてしまうのでなんともきつい。まあでもプログラムポシェットの一画面プログラムと同じくらいの難易度かな。要はもうちょっとゲーム自体のアイデアを考えましょうということだな。 ゲームライフサイクル部分を簡易化できると本体に行数が割けるので、 100行でゲームっぽいもの (http://wonderfl.kayac.com/code/ba0592e0c5744ff2f6c94285f3f58f4d3aa92cf9) これみたいに再プレイにはリロードしてね！ってい
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
Haskell Hackathon やりたいね！ - yukobaの日記
前回の Scheme Hackathon の時に、次は "Haskell Hackathon" やりたいね、という話が出ました。はっきり言って、僕は、「Haskell ぽか〜ん」の人です。モナドがわかりません。Scheme は実装することで、少し理解しました。きっと、Haskell も処理系作ったら、理解できるのではないかと期待しています！（おぃ というわけで、Haskell Hackathonは「12時間で Haskell の処理系を実装しよう！」というイベントです。 詳細はこんな感じ。 参加者全員、Haskell の処理系実装！ 会場は、関東、関西、名古屋です。Ustream か Skype Video などで会場をつなぎます。関東は、サイボウズ・ラボ、関西は株式会社グッディ、名古屋は来栖川電算です。 時間は、３／１土曜日のAM11時〜PM11時です。 実装言語は、不問。僕の経験から言
「あなたの“Google携帯”作って」――AndroidでiPhoneライクなUIも
「携帯電話の『Hello,World!』を」――米Googleは11月12日、携帯電話向けオープンプラットフォーム「Android」のSDK（ソフトウェア開発キット）と、Androidを活用したサービスの開発事例をWebサイトで公開した。Google Mapsとアドレス帳を組み合わせたアプリや、iPhoneのようなタッチスクリーンUI、アプリの開発手法などを、YouTubeに投稿した動画で紹介している。 SDKは、Windows、Linux、Mac OS X用のSDKを公開。エミュレーター付きでダウンロードできる。 Androidの概要や開発事例を紹介する動画「Android Demo」では、技術担当のスティーブ・ホロウィッツさんが「うわさされた“gPhone”はないが、Androidを使えば数千ものgPhoneを作ることができる」と話し、社内で開発したアプリのデモを公開している。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
MD6がSHA-3コンペティションを辞退したことについて: exploit&ac
Nobody Recognizes The Chrome Icon, So Google Wants You To Make A Video About It | TechCrunch
はじめてのひき - HackTheCellPostMortem
Hack the Cell 2009 結果発表
Alex Faaborg - » A Web Browser With No Visible UI?
LL Golf - LL Golf
Felicity 2024
かながわ・よこはま こどもアート大賞