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