寿司ネタの嗜好についてのデータセット -- しましまさんのデータです。使うときには、感謝の気持ちを込めて彼に呟いてあげましょう。

出会い系サイトで収集されたマッチングデータ -- 17,359,346 anonymous ratings of 168,791 profiles made by 135,359 LibimSeTi users as dumped on April 4, 2006

しましまさんから久保山さんにお薦めにあったデータセット。LastFM の過去のデータがパブリックドメインとして提供されています。現在は、このようなデータは公開されていないようです。

以下の二つの論文で扱われたデータセット。やはり、因子分析に向いたものとしてしましまさんから久保山さんにお薦めがありました。 -- M. Zanker, M.Jessenitschnig, D. Jannach and S. Gordea, Comparing Recommendation Strategies in a Commercial Context, IEEE Intelligent Systems, 2007, vol. 22, May/June. -- M. Zanker, M.Jessenitschnig, Collaborative feature-combination recommender exploiting explicit and implicit user feedback, 11th IEEE Conference on Commerce and Enterprise Computing (CEC), Vienna, Austria, 2009.

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

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

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

SASyLF を採用した CMU での型理論の講義実施例

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.

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

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

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

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

これは便利！

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

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

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

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

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

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