orange @[email protected]

数式ちゃんと読めないので雑な理解だけど(＞＜；)、蛇行動の方程式に軌間(の1/2)が出てくると言うことは、軌間で変わりそう＞＜(小学生並の理解)

これの話っぽさ？＞＜

蛇行動 - Wikipedia https://ja.wikipedia.org/wiki/%E8%9B%87%E8%A1%8C%E5%8B%95

？？？「数学には型はありません」
え？＞＜； そうなんだ＞＜；
↓
別の人「型理論は数学の一分野で圏論の...」
最初の人嘘ついてた！＞＜＃
の時もさらに数学嫌いになった＞＜

でもこういう事も考えると、「なんで個に円をかけたら円なの！？」って躓く子を救うようにちゃんと教えようとすると結構大変かもしれない問題もありそう＞＜；
(明示的になることで「そういうものなんです！」って強引なスルーができなくなるかも感＞＜；)

小学校の算数に(限定的な)型システムを導入すれば、プログラミングの時にも型システムがなんであるのか簡単に理解出来るメリットにもなるかも＞＜
型システムの意義を理解してないPythonユーザーよりも掛け算とか習ってる最中の小学生の方がある面でプログラミングに向いてる状況になるとも言えなくもないかも＞＜；
そして型ガチガチなAdaが流行る時代が！＞＜；(絶対来ない)

Lisa開発時のゴミ箱の話も書いてある当時のスクリーンショットもある記事＞＜

Folklore.org: Busy Being Born https://www.folklore.org/StoryView.py?project=Macintosh&story=Busy_Being_Born.txt

wikipedia日英両方見ると、厳密なゴミ箱の挙動の最初の例はわかんないけどAppleのLisaが最初なんじゃないか説が有力っぽい雰囲気？＞＜
ビルアトキンソンの発明っぽい・・・？＞＜(って考えると実績的にもそれらしい話に感じるかも＞＜)

つまり、掛け算順序は(超雑にちょっと不正確に簡素に説明すると)
「リンゴを5個ずつ3人に配りました」を5×3でも3×5でも正解にすると、文中の数字をランダムに使っただけ見分けがつかないみたいな感じの主張だけど、
3人×5個みたいに書かせたり、リンゴ5×3人みたいに書かせれば数字のみランダムに見てるかに関しては判別出来るし、
「🍙+🍙は🍙2個じゃなくて大きい🍙になるじゃん！ わけわかんないし算数きらい！」って例にも対処できるし、そういう子を落ちこぼれではなく視点が優れてる子として扱う事も出来るかも＞＜

これ、掛け算順序問題でも起きてて、オレンジ的には小学校での掛け算教育に順序を用いる理由の部分は型システムを導入すれば解消する(代用出来る)ので、導入して掛け算順序を排除すべきだって考えてるけど、
掛け算順序問題を指摘してる数学界隈の方々の多くは型システムの導入も否定してる＞＜
数学は常に純粋じゃなきゃダメらしい＞＜
オレンジが数学界隈をさらに見下すきっかけになった＞＜

お約束の「三角関数なんて習っても社会に出て使わない！」って(頭悪い人による)誤解も、プログラミングで例えばアナログ時計アプリ作りたかったら
「なるほど＞＜ sinとcosっていうのをこういうふうにつかうとできるのか＞＜」(by 幼少オレンジ)
みたいになって、そういう誤解も生まれないし、なにに使うのかもわかるし、ついでに言うとそのままプログラミングたくさんやってればその知識を応用して別の場面で「三角関数を使えばいい」と思い至る事が多々発生する＞＜ 学校でちゃんと三角関数を習わずとも＞＜

指数は知らずに大学には入れるのはビックリだけど、数式とか方程式の意味とか「なにがうれしいのか？」を理解できない事にはわからない人に同情するというか、主に義務教育での数学の教え方が根本的に間違ってるから「無意味なこと」と思われちゃうんでは？＞＜
オレンジは独学する時(特に順番)にも、何らかの事柄を他人に教える時にも「それが出来るとなにがうれしいのか？」を大切にするようにしてる＞＜
じゃないと知識として定着させるために他の知識と結びつけると言う作業が弱くなってしまう＞＜

移項はオレンジも単語は覚えてなくて今年6月に「なんだっけそれ？＞＜；」ってなった＞＜