数学勉強会へのいざない

2025-12-11 だれやみコーディングナイト

Transcript

1. 数学勉強会へのいざない 2025-12-11 だれやみコーディングナイト
2. 数学好きですか？使ってますか？
3. 持論 数学 計算 数学 数についての学問
4. 数学 計算 高校までの数学は解答を求めることが中心 数学の本質は「なぜそれが正しいと言えるのか」という論証の部分 →論証を行うための言語としての数学
5. 数学 具体的な数についての学問 そもそも「数」について改めて考えると、極めて抽象化された概念 具体的な事象から本質的な部分を抽象化して論じる →対象を抽象化する練習
6. 目標：活かせる数学をきちんと学ぶ 数学の考え方が身につけて 個人的な目標：圏論をできたらいいな とはいえ、いきなりは無理。
7. 論証の練習 数学は論理的な共通理解にフォーカスした特殊な言語 解釈のブレがないように、定義を正確に行う 曖昧な表現を避ける これは仕様策定やテストの観点でも大事な考え方
8. 抽象への慣れ 現実世界でも経済的な効率性のためにある程度抽象化してシンプルにしている 大きさも形も違うはずのりんごを1個、2個とカウントする でも違うフルーツや品種では混ぜない（異なるものとして認識している） 数学ではある側面（例：インターフェース）に注目して抽象化する 足し算や掛け算は交換可能性や単位元（作用させても要素を変えない値）がある などの構造が似ている→抽象化して群論にする
9. 楽しんでいきましょう！