New: The I/O engine is now available! We have partially released the source code used in this work. You can find the user-level packet I/O engine for Intel 82598/82599 NICs here. We do not have a definite release plan for other parts of the PacketShader code not made available on the web as of today. What is PacketShader? PacketShader is a high-performance PC-based software router platform that ac
21:54 10/06/30 行列と項書換 "Termination of String Rewriting with Matrix Interpretations" という論文を読みました。 これは何かというとつまり、 ICFPコンテストの元ネタとして 紹介 されていた論文です。 れ い 年、 冗談9割で、主催者の専門分野にちなんだ問題が出るに違いない!と叫んでいるのですが、 本当に来るとは思わなかった…。 さて。項書き換え (term rewriting) と呼ばれる研究分野がありまして、 例えばこんな問題を調べています。 文字列に対して、「以下の操作のどれかを好きに選ぶ & 実行する」を繰り返します。 abc という部分文字列を de に書き換える (abc ⇒ de と書きます) ef ⇒ g fgh ⇒ ij どんな文字列からスタートしても、最後には、どの規則も使えない状態 (つ
前の記事 ネット時代で「読む量」が急増:研究結果 「光合成は量子コンピューティング」:複数箇所に同時存在 2010年2月10日 Brandon Keim Image credit: Bùi Linh Ngân/Flickr 光合成は、植物や細菌が用いる光エネルギーの捕捉プロセスだが、その効率の良さは人間の技術では追いつかないほど優れている。このほど、個々の分子に1000兆分の1秒のレーザーパルスを当てる手法によって、光合成に量子物理学が作用している証拠が確認された。 量子の「魔法」が起きているとみられるのは、1つの光合成細胞に何百万と存在する集光タンパク質の中だ。集光タンパク質は、[集めた光]エネルギーを、光子に感受性のある分子内で回転している電子から、近くの反応中心タンパク質へと輸送し、そこで光エネルギーは細胞を動かすエネルギーへと変換される。 この輸送の過程で、エネルギーはほとんど失わ
権藤克彦, 明石修, 伊地知宏, 岩崎英哉, 河野健二, 豊田正史, 上田和紀, "なぜソフトウェア論文を書くのは難しい(と感じる)のか", コンピュータソフトウェア, Vol.26, No.4, pp.17~29, 2009年11月 この論文は、情報系の大学生や研究者にお勧めです。 「車輪の再発明」というのは、既存のものを作り直すことを示していますが、ソフトウェアという分野で車輪の再発明を完全に「駄目なもの」として扱うことの危うさもあるのではないかと感じました。 「今あるソフトウェアが駄目だから自分で作り直した」ということが、もっと「論文」へと結びつけば、今よりも大学からのイノベーションも増えるのではないかと思います。 新しいアイデアは運用の中から生まれたり、ソフトウェアの周縁にコミュニティが形成されることで次の種が発生することもあります。 たとえば、「ウェブサービスを作って多くのユーザ
というわけでやっと 4.7 章まで読み終えた感想です。 3imp は特に Lisp 系言語の利点を最大限に発揮した構成になっています。この限られたスペースの中で、コンパイラの実装について不足なく説明しきる事が出来た勝因は S 式とマクロでしょう。私は正直 S 式もマクロも嫌いですが、ことプログラミング言語の実装を解説するという用途において Lisp は最強という感想を持ちました。 まず S 式について。S 式を使うとパーサが不要です。世の中に出回っているコンパイラの教科書のかなりのスペースがパーサの説明になっている事を考えると、パーサが不要というのは画期的です。パーサの説明を省く事によっていきなり本質的な議論が出来るからです。 それからマクロについて。3imp のソースは SICP に比べて相当分かりやすいですが、その理由は record-case マクロによるパターンマッチもどきにあると
はじめに 巨大な対象の全貌を見通すには、対象から距離を取らなければならない。21世紀になってからの7年という期間は、20世紀という巨大な対象の全貌が姿を現すのに十分な時間であったかどうかは分からないが、20世紀にはどのような著作が出版されたのかを纏めてみようと私が思い立ったのは、著作の被引用数、すなわち任意の著作が他の著作にどれだけ引用されているかが、Google Scholarを用いて調べられることが分かったからである。この小論の目的は、被引用数という指標を用いて、20世紀の文系学術書のランキングを作ることである。以下には、「文系学術書」という限定が必要であった理由を記そう。 ある著作の被引用数という指標は、その著作が学術の世界でどれだけ影響力があったかを客観的に知る手がかりになる。被引用数という指標は、引用し、引用される著作のネットワークの中で、任意の著作がどのようなポジションにいる
17:37 08/07/30 ICFP Workshops via 住井さん で、 ML Workshop の採択論文リストが出てることを知りました。 "Many holes in Hindley-Milner" (複数穴あり Zipper 的なものをMLで扱う話、穴の個数を型情報に含めるための加算できる自然数表現を差分リストで、 っていう技が面白かった) と "Unrestricted call-by-value recursion" (call-by-value で再帰的な (ループした) データ定義を実現する手法、これで、フルの call-by-need セマンティクスがなくてもそっち方面で使われてる テクニックをいくらか持ってこれるよ)というのだけ読んでみた。 他の併設ワークショップ の論文リストも 揃ってきてるみたいですね。 個人的に WGP の "Concepts =? Typ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く