orange @[email protected]

小学校の算数に型システムつければ、たぶん掛け算教えるのも楽だし掛け算順序とかアホな発想不要になるし、桁とか位を教える時にも使えるし、後々、集合論の理解とかの土台にもなりそう＞＜

ついでに動的型付けな言語嫌って静的型付けな言語を好む人増えそう＞＜(洗脳＞＜；)

さっきの"ヨーグルト+1 "の話、あれ、他の子より先になぜ1+1は2なのかちゃんと教えてもらえそう＞＜
(小学校の算数に型システムつけよう派＞＜(データ型としての(？)型安全な算数＞＜) そうすれば「🍙2個足したら大きい🍙じゃん・・・」って混乱する児童減らせそう＞＜(教えられる教師も減りそう＞＜；))

これすき＞＜
https://twitter.com/ksuenaga/status/1046198584654352385

小学生の頃のワイ、「りんご1つとりんご1つを合わせるとりんご2つになるだろう」に対して「でも粘土1つと粘土1つを合わせると粘土1つだろう」と反論し、それに対して「しかし重さは2になるだろう」と自分で更に反駁していたので、思えばその頃からデバッグの才能があったのだろうな (適当)

インコネル屋さん、
三菱マテリアル桶川工場→MMCスーパーアロイ→日立金属MMCスーパーアロイ→日立金属スーパーアロイ→日立金属桶川工場
らしい？＞＜；

というか、鉄道車両はバネした重量とか考慮しないのかな？

自動車に置き換えると

吊り掛け駆動
→インホイールモーターに近い？

平行カルダン
→横置きエンジンにトランスアクスル？

直角カルダン
→縦置きエンジンにプロペラシャフト？

みたいな感じ？

話聞いてて電気自動車っぽさあるなと思った

それに対してカルダン駆動(中空軸平行カルダンやTDカルダンやWNドライブ)は継ぎ手によって車輪の揺れを吸収する構造で、モーターは台車枠に取り付けられる
歯車の精度は高くして構わないので、振動は小さく出来るしギアノイズもほぼなくせる

吊り掛け駆動、書いて字のごとくモーターを揺れる車軸に吊り掛けて、モーターと車輪をいっぺんに揺らす構造
振動もでかいのでその分歯車の歯の精度を悪くしないといけない(つまり力行時の爆音はギアノイズ)が、構造はその分簡単に出来るしカルダン駆動のように継ぎ手も必要ないため、小石を巻き込む恐れのある路面電車であえて採用された事例がある