@Hitoshi5858

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

楽曲制作（ベリバービリバー／石川ひとみ等）と開発(Webシステム、iPhoneアプリ)を生業にしてます。

GraphQL, React, Vue, Node.js

コンセンサス・ベイス株式会社の創業者・代表。ブロックチェーンのビジネス・技術の専門家。