さむし

長期的に訓練受けできるようになった方がいいだろうけど

英語の研究者の本とか読むと、どうしても日本語で意味を汲み取れないところだけ原文を参照するとかは書いてた記憶が

ニューラルネットの前進計算とか細かいところやろうと思うと難易度が爆上がりしそう

AIをアプリケーションに組み込むのライブラリが賢いおかけであんまり数学の知識いらない感

形式論理学のトートロジーの性質を応用した型理論は一字一句ガチガチに言葉を定義しないと概念が説明できないあたり人間にやさしくない

型推論もやってることは一階述語論理のシークエント演算とほぼ同じな気が

高階関数、C言語のポインタ関数とかアセンブリでスタック使って関数実装するところおさえてれば感覚はつかめるような

後悔関数

御珍朕