Sabitlenmiş Tweet
いんそうさん
126.9K posts

いんそうさん
@insou
◆駆け出し統計学者◆国立大准教授+国立研究所TD◆旅行とか好き◆娘たちかわいい◆仙台生まれ・東京在住◆KS→UT→ISM→UT+RIKEN◆ 研究室アカウントはこちら→ @imalab_org
日本 東京 Katılım Mart 2009
4.1K Takip Edilen6.8K Takipçiler

〜AIを使った理論計算機科学分野の論文執筆(自分編)〜
最終的にこの定理を証明したいがそのためにこういった感じの補題A,B,Cが必要そう。補題Aはこのアイデア、Bはこの不等式、Cは愚直に計算すれば示せそう。これらを使って定理の証明を出力して
なつみかん🍊AI×子育てエンジニアママ@natsu_tech_mom
〜想像していたAIプログラミング〜 👩「この機能作って」 🤖「ワカリマシタ」 〜現実のAIプログラミング〜 👩「この機能作りたいんだけど、たぶん既存の関数使えるよね。そこ共通化して。bottom sheet は○○使って。△△は自前実装にするかライブラリにするか迷ってるから候補を比較して。DL数とメンテ状況も見たい。互換性のためにnpx expo installで入れて。あとサーバー側は functions 配下にセキュリティルールあるから先に確認お願い。」
日本語

