salesforce エンジニア、Webアプリケーションエンジニア

おろろ

来世はパンダになりたい。

日本IBM 東京基礎研究所 リサーチ・スタッフ・メンバー。形式検証、ロジック、定理証明とかソフトウェア工学が専門です。ブロックチェーンの研究をやったり AI フレームワークの設計・実装を手伝ったり、まあ社会人なので色々しています。 ※執筆した記事の内容は私個人の見解です。

数値モデルを使った沿岸域の生態系に関する研究をしています．計算結果の可視化・解析にPythonを使うので，メモ・勉強用の内容を投稿します．

学生．

[興味]物理/数学/Python/Linux/ShellScript 編集リクエスト、コメント、フォロー等はお気軽に。