@chansaki

ニャンサムウェア

数学をしています

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

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

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

数学ざむらい　仕官を求めて諸国を巡ってござる　計算論、ラムダ計算、コンビネータ論理、数理論理学、圏論、言語理論、Haskell、データサイエンス、印欧語族、三木清／エピクテトス／与謝野晶子　関数型まつり実行委員 好きな言葉：世界観。「科学は観察の拡張であり、技術は制作の拡張であり、数学は理解を拡張したものである」マイケル・ポランニー

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

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