Imandraを用いて形式検証を触ってみたlikers
- k-asuda@hamham
音声系技術、Androidアプリ開発、AWS関連の記事を書いてます
- @krtbb
Twitter@krtbb1526
- Shinichiro Ohno@shnchr
機械学習と数理最適化、時々、量子コンピュータ 最近は、エンジニアとマネージャの重ね合わせ。 「事例で学ぶ特徴量エンジニアリング」(オライリー・ジャパン)の翻訳、監訳も担当。
- 拳で@john-Q
好きなことを雑食で書いていきますーー 発言は個人の見解に基づくものであり、所属組織を代表するものではありません