SmartGuys

Objective Caml 用の構文解析器、字句解析器生成系。camlspotter さんに教わりました。Takuo さんに教わったのですが、富田先生の手による自然言語用の構文解析器生成系が元になっています。

さまざまなプログラミングのための Flickr API を網羅的に紹介している。

マッシュアップについていろいろと解説する連載のなかで JavaScript を使って Flickr API を叩く方法を紹介している。

Flickr API をウェブブラウザから叩く方法を初心者向けに解説している。最終的には PHP でアプリケーションを作成している。

松村先生開発のテキストマイニングツールと関連書籍の紹介。Mac OS X にも対応して下さると嬉しいのだけど。。。

Objective Caml の R バインディングです。

ポータブルHDDの特定のパーティションを自動的にマウントしたくない場合の処方。awk スクリプトにはバグがあったので、以下のように修正して使っています。 dev_id=`diskutil list | grep 'WINDOWS' | sed 's/.*disk/disk/'`

Hanneman, Robert A. and Mark Riddle.  2005.  Introduction to social network methods.  Riverside, CA:  University of California, Riverside (published in digital form at http://faculty.ucr.edu/~hanneman/)

RubyCocoa の本が出たんだ！

NVIDIA のアクセラレーションエンジンを使ってインタラクティブレイトレーシングを実現するためのソフトウェアパッケージが近々提供されるらしい。要チェックかな。

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

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

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

以下の二つの論文で扱われたデータセット。やはり、因子分析に向いたものとしてしましまさんから久保山さんにお薦めがありました。 -- 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.

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

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

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 らしい。