WWW'14 に論文採択 - iwiwiの日記
論文が国際学会 WWW'14 (23rd International World Wide Web Conference) に採択されました！ WWW はその名の通りウェブに関するトップ学会で，比較的新しいものの最近ではかなりの人気を誇る学会だと思います． WWW の最近の人気は，例えば Microsoft Academic Search の学会ランキングで伺うことができます．最近 5 年に限定すると，なんとコンピュータ科学の全分野合わせても 2 位*1，最近 10 年にしても 3 位ということで，かなり順位が高いです．その分もちろん競争も激しく，採択率は 84/650 = 12.9% だそうです． 所属する河原林グラフ ERATO からもかなりの本数が提出されたようですが，知る限り残ったのは僕の論文だけのようです． 論文タイトルは "Dynamic and Historical Shor
GHCで動くcall/ccの実装 - www.kotha.netの裏
IOモナド上で動作するcall/ccを実装できることが分かったので書いておく。ただし実用に耐えるものではない。 これを使うとたとえばこういうコードを書くことができる。 import Control.Applicative import Control.Monad import Data.IORef import System.IO.Unsafe import Continuation (callCC, withContinuationsDo) test :: IO () test = do r <- callCC $ \cc -> return $ Right $ cc . Left case r of Left val -> do putStrLn $ "left: " ++ show val return () Right cc -> do putStrLn "right" cc "f
伊佐山元氏vol.1 | ドリームビジョン
サンドヒルで最初の日本人ベンチャーキャピタリスト。 「シリコンバレーで挑戦する日本人シリーズ」最終回の今回は、日本人で初めて「サンドヒル」ベンチャーキャピタルのパートナー（共同経営者）になった伊佐山さんのこれまでの「人生の軌跡」を辿ってみることにする。（サンドヒル：シリコンバレーの著名ベンチャーキャピタルが軒を連ねる通りの名称。） 本題に入る前に、まず、伊佐山さんのプロフィールを紹介したい。 「ベンチャーキャピタル（VC）」という存在は知っていても、実際にVCと接触し、VCから資金調達をした経験のある方は、この「挑戦する生き方」を読んで下さっている方の中にも殆どいないだろう。 そのVCという世界において、それもVCの聖地とも言えるシリコンバレーの著名VCで「パートナー（共同経営者）」をしている日本人は、今のところ、彼しかいないと聞いている。少なくとも、彼が「最初の日本人パートナー」で
liamoc.net - Imperative Reasoning is Hard
I believe that the set of languages which are easy to reason about formally and the set of languages in which it is easy to write correct programs intersect heavily. For this reason, I advocate total programming in purely functional programming languages, as this gives rise to a drastically simpler model for formal reasoning compared to mainstream imperative programming, as well as compared to pro
pointer's boot camp
pointer's boot camp は C/C++ のポインタを学習するための4択問題集です。 以下の10問の答えを選択し、画面下部の【採点】を押してください。 ※ sizeof(void*) は 4、sizeof(int) は 4、sizeof(short) は 2 とする。 ※ 文字エンコーディングは ASCII 、文字列は '\0' を終端とする。 ※ バイトオーダはリトルエンディアンとする。 Q1： ★ int data[100] がある時、配列の先頭アドレスを int *ptr に設定するには？ ptr = data[]; ptr = &data; ptr = data[0]; ptr = data; Q2： ★ char *ptr が文字 'A' ～ 'F' を指している時、文字を数値（10～15）に変換するコードはどれ？ *ptr + 'A'; *ptr + 'A' +
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
gmail pgp extension - Google 検索
[Haskell-cafe] Ultra-newbie Question
