muddydixon

403 Contribution

/ Following users

お気楽な開発者でございまっす。所属する組織とは無関係で、あくまで個人の書き込みでございますー。

enjoy, ruby!

(-:(-:(-:-)-:)-:)

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

怠惰

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

Erlang/OTPやRustで分散DBを開発してます。プログラミングは中学生の頃から、30年ほど独学でやってきてます。大学はアメリカ東海岸にある美大でした。現在は上海在住

からあげエンジニア

Software Engineer / 1984年生まれ。広く浅め。ボーっとするのが好きです。