Zenn (AI)Japan
数学科の学生がAIを勉強に使うなら、何を任せて何を自分で考えるべきか
数学の勉強でAIを使うと、定義の説明も証明も数秒で返ってきます。便利ですが、分からないところを考える時間まで消えると、課題は終わっても理解が残らないことがあります。 私は数学専攻の学生として、教科書の読解、証明の行間、Lean 4による形式化でAIを使っています。そこで使いやすいのが、AIの役割を次の3つに分ける方法です。
Read at Zenn (AI) ↗More from Zenn (AI) on Accept All
JapanIMUセンサーフュージョンをPythonで実装する｜加速度計とジャイロから傾きを求める(相補フィルタ) Zenn (AI)
JapanAPI キーを次のコミットで消しても意味がない — 漏れたあとにやることの順番 Zenn (AI)
Japan2026-09-27〜2026-10-03 技術キャッチアップ Zenn (AI)
Japan【ANBERNIC】神OS「spruceOS 4.4」登場！H700が超進化 Zenn (AI)
JapanOpenAI DevDay 2026 発表まとめ：常駐エージェント「dots」、GPT-6.1 Sol、Agents API など Zenn (AI)
