Haskellで物理を殴ってレベルが上がった話 - Qiita

事情により二日ばかし遅延評価となってしまい申し訳ありませんm(_ _)m 次元付き計算がいかに重要か 皆さん、量の計算をするうえで、単位を間違えちゃいけないよ、って教わったと思います。 180cm + 55kg = 235年 とかいう式は間違っていて、意味を成しませんよね。 間違えるとどんなことがおこるかって？テストに落ちるとかでしょうか。 1983年には、カナダ航空の飛行機が、燃料補給時に単位を間違えたために(間違いの本質は、22300 kgの燃料を補給すべきところ、22300 ポンド しか補給しなかったというもの)飛行中にまさかの燃料切れに陥り、お祭り会場になっていた廃空港に緊急着陸を強いられ、あわや大惨事、というギムリ・グライダー事件が起こっています。 1999年、NASAの火星探査衛星マーズ・クライメート・オービターは、制御プログラムの力の単位にポンド重とニュートンが混在していた

[mieki256]

全然関係ないけど最初のあたりを読んで、4000トンの冷却水が欲しいと言ってるのに4000リットルの飲料水を福一に送ってきた東電本社の件を思い出した…

[Windymelt]

型の良い話

[kasumani]

Haskellで物理を殴ってレベルが上がった話 皆さん、量の計算をするうえで、単位を間違えちゃいけないよ、って教わったと思います。 180cm + 55kg = 235年　　とかいう式は間違っていて、意味を成しませんよね。 Tags: feedly, ifttt,

[igrep]

そう、型をつかえばいいのです！シビれる！