タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

GHCと物理に関するigrepのブックマーク (1)

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

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

    Haskellで物理を殴ってレベルが上がった話 - Qiita
    igrep
    igrep 2014/12/22
    そう、型をつかえばいいのです!シビれる!
  • 1