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