#大学の数学・龍孫江さんの動画
龍孫江さんによる「#数学 日誌」シリーズ
117

みつのきチャンネルによる
「#ベクトル解析」シリーズ
11 / 14
①#ガウスの発散定理(2次元)の証明と式の意味!
https://www.youtube.com/watch?...
12:08
AKITOの勉強チャンネルによる
「#微積分」シリーズ
45 / 96
【微積分#45】#積分 の #単調性
https://www.youtube.com/watch?...
23:06
AKITOの勉強チャンネルによる
「#微積分」シリーズ
44 / 96
【微積分#44】#定積分 の性質
https://www.youtube.com/watch?...
15:42
AKITOの勉強チャンネルによる
「#線形代数」シリーズ
24 / 86
【線形代数#24】#固有値
https://www.youtube.com/watch?...
15:50
みつのきチャンネルによる
「#集合 ・位相」シリーズ
13 / 35
【位相と集合#12】#合成写像
https://www.youtube.com/watch?...
7:46
OpenAI mathの難問「ガウスの堀」を題材に、Lean 4形式検証から3Dサイエンスアートへ直結するパイプラインを構築!
基礎補題をLeanでコンパイル(.olean生成)してGate通過→有限素数グラフのBFS探索→WebGLで可視化🌌
#Lean #FormalVerification #OpenAI #数学 #可視化 #HTML #JavaScript