orange @[email protected]

前にツイッターで、情報系の大学院の修士の方が「型システムって必要なんだろうか？」的な思索をはじめた(不要だ！って感じじゃなく純粋な疑問で)時に、オレンジは「現実にも型システムのようなものがあるよ＞＜」って曜日と色を例に出したら「でもそれは定義の問題であって、その色に曜日の振る舞いを定義してあげれば」って、
で、オレンジが「それが型システムかも？＞＜」って指摘して、つまり再発明して理解したって事もあった＞＜

それがつまりオレンジが数学教育の話題の時にも憤慨してる 表面上の理解と再発明できるような意味での理解の違いの話かも＞＜

数ヵ月前になんかFediverse上で「コンピューターってどういう風に計算してるの？」みたいな疑問を知識ゼロの段階から持って独学しようとしてた方居たじゃん？＞＜
なんか運悪くめちゃくちゃ酷い入門書を買っちゃってた方＞＜；
あの方どうなったか知らないけど、あの方に教えるとちょうどいいようなことを教えたら、たぶんそういう方面の理解が進んで、実際に結果を表示できるようになるかもって思うかも＞＜

型がわりときっちりしてる言語で学ぶんでも、教える側が最初に型システムの重要性を教えなければ、具体的にデータがどういう形でおかれていて、どういう風に扱うことが出来て、どういう風に誤った扱いを避けることが出来るとか、そういう面を重視されなければたぶん、型がゆるふわな言語で学んだ時みたいなゆるふわな理解になるだろうし、
なんとか結果の表示辺りまで出来ても型システムを使わないような、例えば全部文字列型と浮動少数点数型で処理するようなコードを書くようになるかも＞＜

その方、学歴的的にもその後の就職先的にも理系エリートの部類です＞＜

オレンジが教えた人でそうなってた人は、Python使ってて、オレンジは「Pythonで学んでたら型システムがなんであるのか理解できなくて遠回りになるからやめた方がいいよ＞＜」って言ったけど、Pythonを使い続けて、当然ながら「型システムなんて要らない」って言い張ってた＞＜；

アルゴリズムを理解しても、メモリがどんな感じかというかどんな風に計算機上にデータが置かれているかとか、そのデータはどういう形をしていてどうすれば表示に適した形になるかみたいな面の型システムからの視点の見え方みたいな概念を、脳内モデルとしてうまく構築できてなければ、
計算はできても表示出来ないとか、表示するには数学用途向けのグラフライブラリを使わないと出来ないとか、数学は得意なのにプログラミングがかなり微妙なタイプの人が陥ったりするパターンになりそう＞＜
(オレンジが教えた(独学を手伝った)中にひとり居た＞＜)

(エアリプ)
型システムとかメモリとかその辺りで混乱してる可能性＞＜

クラシックカーパレード的なイベントはアメリカの田舎とか欧州(オレンジが思い出したのはチェコの)とかあるし、それはそれで、まあ、自動車文化かも？＞＜；

ていうか、日本でのSS無しラリーの代表例的ポジションかも？＞＜；

そういえばイタリアとか若者の収入どうなってるんだろと思ってググったら「野菜は安いよ」っておもしろい記事出てきた＞＜(脱線)

収入は日本の3分の2、でもイタリアの生活が破綻しないワケ – MONEY PLUS https://media.moneyforward.com/articles/2943

変化って、それまでは「クルマ好きだから入社しました」だったのが「興味はないけど、社会に必要なものだから」とか「安定してそうだから」みたいな感じになって、クルマ好き新入社員がめちゃくちゃ減っちゃったって話＞＜

スズキがワンメイクレースを頑張ってた21世紀初頭辺りが、日本の自動車メーカーが土着モータースポーツ文化を作ろうとしてたひとつのピークだったのかも＞＜
でも、既に若者が貧乏になりつつあったのでフェードアウトしてって、そしてメーカー側が自社の新入社員の変化等で痛感する文化面でのマジな「若者のクルマ離れ」の時代に＞＜

初代インテRが売られてた時代の番組って考えると、時代が変わりすぎて諸行無常＞＜