数学好きが集まるところ
数学好きな人どのくらいいるかな
何人かいたら、数学ネタも井戸端に書き込もうと思う
最近書いたやつ：/takker/積の積分
はっきり言って暗記は数学の本質ではないので気にしなくていいです
ただ、「結果的に覚えてしまった」となるくらい計算練習を積み重ねるのは重要です
これは時間内に問題を解くためだけでなく、思考を広げるためでもあります
programmingで、何度も同じlibrary/frameworkを使っているうちに、関数の名前や定石を覚えてしまうのと同じ現象ですね
高校時代、工業だったので普通科の数学は知らない。
逆に工業科はどんな数学を習うのか気になります
数Ⅰしかやらないハズ。しかも途中まで。大学行く人はその後も学習するはず。
まあ数IAだけでも必要最低限はカバーできますか……
ただ電気回路や機械制御、材料力学をやるなら数IIを学習しないと無理
行列もやっておかないときついと思う
微分積分楽しいですよー
やりましょー
今から学んだっていいんだけども。
「高校数学の幸せ物語」おすすめです
これ、面白いですね
数学の対話系は面白いと感じる
これはengineerが読むと参考になりそう
古い知識が新しい知識の吸収を邪魔する話
数学の論理の話
この辺は記号論理を使うとprogrammableに解ける
変数のscopeの概念を理解しているとすんなりいける
Coqとか使えそう(?)
Coq少し触りましたが、構文が気に入らなくて敬遠してます
programmingの概念を取り入れたもっといい感じの形式数学言語を作りたい
別にそこまで好きってわけではないので反応できない思いますが、見るのは好きです
幾何学は好き
どのへんが好きですか？
単純に見える式から複雑な構造が生まれるのが美しいと思います
無限にズームアウトするところを想像するとよく眠れる
マンデルブロ集合だとこんな感じですし
\begin{dcases}z_{n+1}=z_n^2+c,\quad c\in\mathbb{C}\\z_0=0\end{dcases}
この式を複素数面に描画すると上の図になるってのがすごい
この式、c\in\mathbb{C}なら解けるかな？
\begin{dcases}\frac{\Delta z_n}{\Delta n}={z_n}^{\underline{2}}+c,\quad c\in\mathbb{C}\\z_0=0\end{dcases}
確か解けない漸化式だった覚えがあるけど、挑戦したい
c=0なら簡単なんだよな
c=0 \implies z_n={z_0}^{2n}
定数項が交じるから面倒なことになる
Wikipediaから持ってきた
図で直感的に解く側面もある一方で、論理的に解く側面もある
幾何学あまり理解できていないから勉強したい
このへんとかを参考にして
desmosで書いたら面白そうだな
数式のrefactoringをするのが大好き
記法を書き換えたりして数式をこね回すのが好き
丁度codeをrefactoringするみたいに
もちろん図も書いて考える
数式の形を変えると、今まで見えなかった共通部分が出てきたりして楽しい
マンデルブロ集合も、ゲームオブライフも、中学高校時代に得た幾何学の原体験
iPod Linux/Rockboxのミニアプリで知った
数学ガール！！！
丁度ライフゲーム実装して遊んでたのでびっくりした
programmerは全員数学できるという謎の先入観がある
数学より数理論理学と言ったほうがよさそう
共通点がたくさんある
束縛変数と自由変数の考え方なんて変数のscope、カプセル化の考え方と全く同じだし
抽象的な思考ができるかどうかが数学でもprogrammingでも壁になりそう
数学苦手なプログラマーを何人か知っているので、実際はそんなことなさそう
数学記事、もっと湧いて欲しい
\pmb\nabla\cdot\pmb v>0
湧き出したw