userskuwa_twshot6お気楽な開発者でございまっす。所属する組織とは無関係で、あくまで個人の書き込みでございますー。ruby!understeersmly(-:(-:(-:-)-:)-:)uupaamzpCoqなどによるプログラムの正しさの検証・証明に興味があります。データ分析,そして可視化の可能性の限界に挑むブログ』(本気)。長年,SQLに特化したデータ分析と多様な可視化手段を実践してきました。このブログは今までの私のナレッジを可能な限り共有するために作成されました。過去のナレッジはブログ先をご参照ください,この内容が大幅に整理・アップデートされていく予定です。hokacchatatsuya6502Erlang/OTPやRustで分散DBを開発してます。プログラミングは中学生の頃から、30年ほど独学でやってきてます。大学はアメリカ東海岸にある美大でした。