メインコンテンツへスキップ
 

記事一覧

つぶ: 夏休み〜3

つぶ: 夏休み〜2

つぶ: なつやすみぃ〜1

Lean4: リーマン予想の補題コメントに

Lean4: abbrev - abbreviation

魔法学の思考🧠と魔核の因数分解 術式

  • LEAN

    235
  • 素数

    69
  • リーマンゼータ関数

    85
  • 魔法学(旧名:動的調和数論 DHNT、スケーラビリティ数学)

    204
  • D…独り言…呟く…

    146
  • 真理探求🌌研究所

    66