二項しいぷ (@BinomialSheep)

投稿一覧(最新100件)

https://t.co/t0CmbopNeG スプレイグさん、Tohoku Mathematical Journalに投稿してるじゃん。 グランディはTohoku Mathematical Journalを読め!!!!
このあたり? 機械学習技術による高速な演繹的推論エンジンの開発 https://t.co/RV0DB8DY96 AI時代を見据えたプログラム検証技術 https://t.co/XET6NdQ0DQ
このあたり? 機械学習技術による高速な演繹的推論エンジンの開発 https://t.co/RV0DB8DY96 AI時代を見据えたプログラム検証技術 https://t.co/XET6NdQ0DQ
かわいい 牧羊犬制御のモデル化 https://t.co/wJw0Mj3Iof
日本語の博士論文を読むことでO(1)で序論と参考文献リストが手に入ることが知られている https://t.co/ltxkTF2b5i

お気に入り一覧(最新100件)

量子力学を使った情報処理 https://t.co/UUvATfGwpH 正しく貼れてなかったので上げ直し

フォロー(807ユーザ)の投稿一覧(直近7日間)

フォロワー(1398ユーザ)の投稿一覧(直近7日間)