@ayatoy

題して『Treasure Data でデータ分析，そして可視化の可能性の限界に挑むブログ』(本気)。 ARM Treasure Data で長年，SQLに特化したデータ分析と多様な可視化手段を実践してきました。このブログは今までの私のナレッジを可能な限り共有するために作成されました。過去のナレッジはブログ先をご参照ください，この内容が大幅に整理・アップデートされていく予定です。

Ph.D candidate at University of Tokyo Common Lisp/Scheme/Objective-C/javascript/Python/C/C++/Java Linux server administration Robotics, PointClouds, CV, web

I'm a horse racing fan, a programmer, a mercurial evangelist in Japan. Live in #mercurialjp #TokyoMercurial .

自然言語処理とか機械学習とか競技プログラミングとか

java, javascript, clojure, emacs.

Coqなどによるプログラムの正しさの検証・証明に興味があります。