@chansaki

数学をしています

LALの笹川です。よろしくお願いします。

量子計算シミュレータをつくりながら、量子情報理論の勉強するよ。勉強中なので間違ったことを言う場合があるかもしれませんがご容赦を。または、ご指摘いただけるとありがたいです。

2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。

Pure Math Geek, Mathematical Logic interested in Haskell, Lambda calculus, Combinator Theory, Category Theory, Categorial Grammar, Latin/Greek/Sanskrit, Functional Programming. #FP_matsuri

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

Webプロダクトのソフトウェアエンジニアやってます。 仕事ではReact+Rails+GraphQL+AWS、個人開発はNext.js+Firebase+GCPを使って開発中。 インプット・アウトプット強化中。 Ruby / Rails / React / Typescript / Python / GCP / AWS