orange @[email protected]

話の感じからするとクロカンでしか無理のような山道のどこかで迷って遭難したっぽいので、もう雪に完全に埋もれて道がどこかわからないくらいの状態っぽいし、そもそも迷い混んで動けなくなった地点が一般の公道であったのかも謎になってくるかも？＞＜；

2021/12/28 20:30
神戸新聞NEXT | 西播 | 宍粟・氷ノ山の５人遭難事故　入山３日、状況刻々変化　４人救助までのドキュメント https://www.kobe-np.co.jp/news/seiban/202112/0014950424.shtml

兵庫・鳥取県境 氷ノ山で遭難 悪天候できょうの捜索打ち切り | NHKニュース https://www3.nhk.or.jp/news/html/20211229/k10013408581000.html
"...大雪の影響で車で下山できなくなり体調が悪くて動けない大阪市の66歳の男性を車内に残してきたと話していて..."

これさっぱりわけがわからないのは、なんでGPS受信機能付きの電話機を持ってるのに、取り残してきた地点では仮に無理でもなるべくそこの近くで測位しなかったのか？＞＜
この人たちマインクラフトやってもアイテム全ロスしまくりそう＞＜

このふたつの論文が蛇行動の入門書っぽいポジションっぽさ？＞＜(wikipediaの簡素な解説文よりは易しそう＞＜)

鉄道車輌の左右振動に就て https://www.jstage.jst.go.jp/article/kikai1938/8/30-4/8_30-4_24/_article/-char/ja/

電車の振動について : 走行中の振動特に高速における左右動について https://www.jstage.jst.go.jp/article/kikai1938/15/51/15_51_86/_article/-char/ja/

数式ちゃんと読めないので雑な理解だけど(＞＜；)、蛇行動の方程式に軌間(の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個じゃなくて大きい🍙になるじゃん！ わけわかんないし算数きらい！」って例にも対処できるし、そういう子を落ちこぼれではなく視点が優れてる子として扱う事も出来るかも＞＜

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