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

起業家／開発者／アナリスト／記者。「経済情報のSpotify」のアプリ(http://axion.zone @axion_zone ) を開発する駆け出しエンジニア。JS、Node、Go、PHP、Rails。 開発&都市&ミクロ&経済学。 ベータ版→https://axion.zone  アプリのプロトタイプ→ https://sketch.cloud/s/YMwLe/eP09Om/play

音声について研究している大学院生でした

Machine Learning for Application, Creativity and Design.

某国立研究開発法人で知識グラフやセマンティック技術の研究に取り組んでいます．電気通信大学の連携准教授(大須賀・田原・清研究室)として学生の研究指導も行っています．研究室配属を希望される学生さんは気軽にご連絡ください．博士（工学）

SimpleForm, Inc

機械学習が好きな犬

やったことのメモ

You'll never learn if you don't see the dark side too.