タグ

mathに関するWhatAmILookingForのブックマーク (14)

  • 「数学の研究にコンピューターを用いるべきか?」:学会を二分する問いについて

    WhatAmILookingFor
    WhatAmILookingFor 2013/04/10
    コンピュータに数学的定理にバグがないかチェックさせる、ということか ただ、そのチェックロジックにバグがないことは証明できないという皮肉
  • MyScript Calculator :電卓の常識が変わった!これからは手書きで計算する時代 - 産経アプリスタ

    計算する時、とっても頼りになる電卓。ちょっと複雑な計算までできちゃう関数電卓なんてものもありますね。けど、電卓の計算って、式が複雑になると結構ややこしい 「MyScript Calculator」は、思った計算式をそのまま手書きで書いちゃえば計算できちゃう夢のようなアプリです。Android版はすでにリリースされていましたが、ようやくiOSでも登場しました。 簡単な計算から、対数や三角関数とかが入り混じった複雑な計算までお任せあれ。 手書きで複雑な計算だってできちゃう。 えーっと関数電卓だとどう入力するんだっけ… 手書きで数式を書いてみよう 認識精度も抜群で、字が汚くてもちゃんと読み取ってくれます。間違ったところだけ修正したり、書き加えたりもばっちりです。 これは普通に電卓アプリで計算するより早い!?電卓アプリはこちらに置きかえかな。 他にもいろいろできますよ

  • http://yaruomatome.blog.2nt.com/?no=371

  • Math::Random::MT - 自然乱数に近い擬似乱数を発生 - Perl入門ゼミ

    Perl › モジュール › here 擬似乱数を発生させるよいアルゴリズムにメルセンヌ・ツイスタ法というものがあります。 メルセンヌ・ツイスタ法によって擬似乱数を求めるモジュールがMath::Random::MTというモジュールです。CAPNから取得することができます。 use Math::Random::MT qw/rand srand/; srand time^$$; my $num = rand 100 Perlの標準モジュールであるrand関数やsrand関数と同じように使用することができます。Math::Randam::MTを使用するときは、srand関数を明示的に呼び出すようにします。 time関数は時刻、$$はプロセスIDで、srandに与える初期値がなるべくランダムになるようにしています。 サンプル Math::Randam::MTを使ったサンプルです。 use stri

    Math::Random::MT - 自然乱数に近い擬似乱数を発生 - Perl入門ゼミ
  • 100の職業でどんな数学を使うのか1枚の表にまとめてみた

    前回の記事で「誰が、どんな数学を、どのように使っているか」の表がクリックしても大きくならない、見えない、見たい、なんとかしろ、という話があったので、それを。 Hal Saundersの書物When Are We Ever Gonna Have to Use This?にある 「100の職業人に聞きました、あなたが仕事で使う数学はどんなん?」をまとめた表をそのままスキャンして貼り付けるのもどうかと思ったので、これを元に、より多くの数学のスキル/知識を使う職業から順にソートして並べてみた。 Saundersは、職業人に使われている数学を60のトピックにまとめているが、これについても、より多くの職業で使われるものから順に並べた。 (クリックで拡大) 元のデータをgoogle spreadsheetにアップロードしました(2017.12.31) 元々このは、教科書に頻出するあまりに非現実的な応用

    100の職業でどんな数学を使うのか1枚の表にまとめてみた
  • 情報教育より、国語、数学教育の徹底を : アゴラ - ライブドアブログ

    OPINION 情報教育より、国語、数学教育の徹底を / 記事一覧 小中学校の生徒に、情報端末を一人一台与え、情報機器の使い方に早くから習熟させるべきだ、といった議論があるようです。   しかし、私は、こういった考えには賛同できません。 人間は紀元前からほとんど進化していない生物であり、基礎的な国語、数学教育にこそ、力を注ぐべきだ、と考えるからです。 私は、ゼミに来る学生に、どんなを読んでいるのか、を必ず尋ねますが、あまりを読まない学生と、たくさんを読む学生では、学力に大きな差があります。 私のゼミは純粋数学のゼミなので、国語は直接関係ありません。しかし、純粋数学といった、謂わば論理の殿堂を理解するのに、必要な数学能力と国語能力に高い相関があるようです。これは何故でしょうか? 三島由紀夫は、東京大学で法学を学び、刑訴法の「整然たる」冷たい論理構成に魅せられ「小説や戯曲のお手

    WhatAmILookingFor
    WhatAmILookingFor 2012/07/10
    三島由紀夫は、東京大学で法学を学び、刑訴法の「整然たる」冷たい論理構成に魅せられ「小説や戯曲のお手本のように思われた」と記したそうですが、三島由紀夫の一種金属的な文章を読むとなるほどと思わされます。
  • ランダウの記号 - Wikipedia

    スターリングの公式はランダウの記号を用いてと書くこともできる。 ランダウの記号(ランダウのきごう、英: Landau symbol)は、主に関数の極限における漸近的な挙動を比較するときに用いられる記法である。 ランダウの漸近記法 (asymptotic notation)、ランダウ記法 (Landau notation) あるいは主要な記号として O (数字の0ではない)を用いることから(バッハマン-ランダウの)O-記法 (Bachmann-Landau O-notation[1])、ランダウのオミクロンなどともいう。 記号 O はドイツ語のOrdnungの頭字にちなむ[2]。 なおここでいうランダウはエトムント・ランダウの事であり、『理論物理学教程』の著者であるレフ・ランダウとは別人である。 ランダウの記号は数学や計算機科学をはじめとした様々な分野で用いられる。 ランダウの記号 は 、x

    ランダウの記号 - Wikipedia
  • ビジネスのための雑学知ったかぶり フェルミ推定 

    エンリコ・フェルミ 「富士山を動かすのには何年くらいかかるか」「日に蚊は何匹くらいいるだろうか」「長野に蕎麦屋は何軒くらいあるだろうか」 こんなことを聞かれても、答えはなかなか見つかりませんし(最近はネットで「フェルミ推定」と入れると出てきたりしますが)、ちょっと試してみるというのも困難です。そこで、仮定や推定をいくつも組み合わせて「概ねどのくらいになるか」ということを見積もることが必要です。このような問題を物理学者のエンリコ・フェルミにちなんでフェルミ推定(あるいはフェルミ問題)といいます。 エンリコ・フェルミは1901年にイタリアで生まれ、1938年にノーベル物理学賞を受賞しました。フェルミはのローラがユダヤ人であったため、ムッソリーニ政権下のイタリアには戻らず、ノーベル賞を受賞したストックホルムから、そのまま家族とともにアメリカに亡命し、コロンビア大学で物理学教授の職を得ます。そ

  • JSX はなぜ「速い」のか - kazuhoのメモ置き場

    なぜ「速い」のか、について JSX 開発者の立場から。 たとえば、シューティングゲームで一番重たい処理は何か。言うまでもなく衝突判定。多数の弾や敵機の衝突判定を毎フレームごとに行う必要があり、この演算が重たい。 JSX に同梱されている web/example/shooting.jsx には衝突判定のコードが複数あるが、一番重たいのは Bullet#update 関数で、その処理は以下のようになっている*1。 for (var rockKey in st.rocks) { var rock = st.rocks[rockKey]; if (this.detectCollision(rock)) { if (rock.hp == 0) return false; inDisplay = false; if (--rock.hp == 0) { st.score = Math.min(st.s

    JSX はなぜ「速い」のか - kazuhoのメモ置き場
    WhatAmILookingFor
    WhatAmILookingFor 2012/06/03
    コンパイラが関数をインライン展開するからオーバーヘッド減るのか。DRYと逆のことを機械にやらすわけね。
  • 型理論 - Wikipedia

    型理論(かたりろん、英: Type theory)とは、プログラミング・数学言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムのことを型理論と呼ぶこともある。集合論の代替となる数学の基礎として役立てられる型理論(型システム)も存在する。そのような例としてアロンゾ・チャーチの型付きラムダ計算やマルティン・レーフの直観主義型理論が有名である。 20世紀初頭にバートランド・ラッセルが発見した、ラッセルのパラドックスによるフレーゲの素朴集合論の欠陥を説明する中で提起されたタイプ理論(theories of type)が型理論の起源であり[1]、後年にAxiom of reducibilityが付随された型理論は、ホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』に収録されている[2]。 ここでは、Mendelson (1997

  • ゴッドフレイ・ハロルド・ハーディ - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "ゴッドフレイ・ハロルド・ハーディ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2013年10月)

    ゴッドフレイ・ハロルド・ハーディ - Wikipedia
  • 中学生でもわかるベジェ曲線

    移動しました。 http://blog.sigbus.info/2011/10/bezier.html

    中学生でもわかるベジェ曲線
  • 統計学を勉強するときに知っておきたい10ポイント - Issei’s Analysis ~おとうさんの解析日記~

    googleさんやマイクロソフトさんは「次の10年で熱い職業は統計学」と言っているようです。またIBMは分析ができる人材を4,000人増やすと言っています(同記事)。しかし分析をするときの基礎的な学問は統計学ですが、いざ統計学を勉強しようとしてもどこから取りかかればいいか分からなかくて困るという話をよく聞きます。それに機械学習系のは最近増えてきましたが、統計学自体が基礎から学べるはまだあまり見かけないです。 そこで今回は、統計学を初めて勉強するときに知っておいた方が良い10ポイントを紹介したいと思います。 1. 同じ手法なのに違う呼び名が付いている 別の人が違う分野で提案した手法が、実は全く同じだったということがあります。良く聞くのは、数量化理論や分散分析についてです。 数量化理論 数量化I類 = ダミー変数による線形回帰 数量化II類 = ダミー変数による判別分析 数量化III類 =

    統計学を勉強するときに知っておきたい10ポイント - Issei’s Analysis ~おとうさんの解析日記~
  • 3週間でやりなおす「高校数学の教科書」

    習うより慣れろ、学ぶより真似ろ。 やりなおし数学シリーズ。いつもと違うアタマの部分をカッカさせながら、3週間で一気通貫したぞ。もとは小飼弾さんへの質問「数学をやりなおす最適のテキストは?」から始まる。打てば響くように、吉田武「オイラーの贈物」が返ってくる……が、これには幾度も挫折しているので、「も少し入りやすいものを」リクエストしたら、これになった。 書の特徴は、「つながり」。アラカルト方式を改め、高校数学の体系を一化しているという。なるほど、上巻の「数と式」の和と差の積の形に半ば強引に持ち込むテクは、下巻の積分の展開でガンガン使うし、図形と関数はベクトルと行列の基礎訓練だったことに気づかされる。ベクトルが行列に、行列が確率行列に、さらに行列がθの回転運動や相似変換に「つながっている」ことが「分かった」とき、目の前がばばばーーーっと広がり、強制覚醒させられる。 上巻 1章 数と式 2章

    3週間でやりなおす「高校数学の教科書」
  • 1