SmartGuys

これが、PRML の姉妹本の Matlab 実習編かな？Kindle ready らしい。

Mathematica の統計関連の機能を紹介している。

しましまさん、呟く「ちなみに，すご〜く厳密な物理乱数が欲しいときは統数研の乱数取得サービス（＝ココ）とかまで使わないといけません」

メキシコの「本当」の実情。 メキシコ政府発表は大本営発表に近いものがあるようです。犠牲者2名と報道されているOaxacaでは19名が亡くなり、医療スタッフも倒れ、そのために閉鎖した病院が出てきているようです。医療スタッフの職場放棄も始まっています。 にも係わらず、野球場は若い人々で満員だそうです。メキシコでの情報の欠如が悲惨を招いているようです。 人口過密な東京が感染したら、感染者は倍々ゲームで増えることでしょう。身近な人々と迫り来る危険への対処を語るべきではないでしょうか。 教員としては授業の場で、こういうことを周知した方がいいかもしれません。そうだ、早速、明日の講義でやろう。

以下、ITmedia News の評です： 朝日新聞社、講談社、小学館などが辞書コンテンツを持ち寄り、無料の辞書サイト「kotobank」をオープンする。信頼性の高い無料辞書サイトとしてWikipediaに対抗する。

Web を拡張メモリに例えるならば、Wolfram Alpha は浮動小数点コプロセッサ。 Google Search が知識を授けてくれるならば、Wolfram Alpha は知能を授けてくれる。 ひとまず以下の数式を入力してみて！ integral exp(-(x)^2) dx from -infty to infty

twitter のメッセージキューの実装が公開されています。Scala で 1,500 行。

渡部卓雄先生から教わった Language Oriented Programming のためのメタシステムのサイト。荒井くんに調べてもらおう。

LFやTwelfの流れを汲む証明系。証明木が見易いのが売りのようです。 [Types ML より] If you're planning to teach a programming language or logic foundations course and are thinking about using a proof assistant, you might consider SASyLF. SASyLF (Second-order Abstract Syntax Logical Framework) is an LF-based proof assistant that the same logical foundation and many of the same advantages as Twelf (in particular, variable binding is "built in"). However, it uses a syntax very close to that used for proofs on paper, giving the tool a much gentler learning curve--and much better error messages--than many alternatives.

これは便利！

CUDA を使って Matlab の FFT 計算を 14 倍も高速化したという報告です。

協調フィルタリングで有名な GroupLens グループのデータセット。 -- しましまさんから久保山さんに因子分析に都合がよいデータとして呟かれた情報より

Leave one out cross validation is asymptotically equivalent to AIC. (LOO が漸近的に AIC と一致すること)について豊田さんが呟いて教えてくれた。

Zack Rusinさんが SVG で git コマンドの一覧表を作ってくれています。PDF に変換して紙に印刷しました。欲しい人は PDF を送りますよ。

Objective Caml で実装された構造化エディタの自動合成システム。編集中に型情報を表示することができるらしい。

ウェブ検索で結果をトピックごとに分類する手法のサーベイ