C言語標準ライブラリの乱数rand( )は質に問題があり、禁止している学会もある。 他にも乱数には様々なアルゴリズムがあるが、多くのものが問題を持っている。 最も多くの人に使われている乱数であろう Visual Basic の Rnd の質は最低である。 そもそも乱数とは 乱数とは、本来サイコロを振って出る目から得られるような数を意味する。 このような乱数は予測不能なものである。 しかし、計算機を使って乱数を発生させた場合、 次に出る数は完全に決まっているので、予測不能とはいえない。 そこで、計算機で作り出される乱数を疑似乱数(PRNG)と呼び区別することがある。 ここでは、特にことわらない限り乱数とは疑似乱数のことを指すとする。 計算機でソフト的に乱数を発生させることの最大のメリットは、 再現性があることである。 初期状態が同じであれば、発生する乱数も全く同じものが得られる。 このことは
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post If you haven't already, you'll want to read Revisiting Matrix Multiplication, Part I before proceeding. I've posted the result from the first 2 No-Prizes inline in the original post, with the spoilers being hidden. A Most Significant DifferenceAs anyone who read through the wikipedia artic
お知らせ 大変申し訳ありませんが、管理人多忙につき現在、当サイトは縮小運営中です。 具体的には、数検関連のページ以外機能していない状況です。勝手を申しますが、ご理解のほどよろしくお願い申し上げます。 おことわり このページには主に数検1級過去問、及びその解答を掲載しています。ただし、解答は管理人のオリジナルであり、細心の注意を払って作成しておりますが、数学的な欠陥やタイプミスがないとは限りません。解答に誤りが見られた場合はご報告頂けると幸いです。 また、意義のある解答の掲載を目指しており全ての解答を網羅するつもりはなく、即ち、つまらない問題や解答は掲載しないつもりです。しかし、知りたい解答が掲載されていない場合はご連絡頂ければ、可能な限り対処いたします。 問題の難易度を管理人の独断と偏見で評価しました。 ★5つが最大です。 数学検定とは 数検って何?という方のために簡単に説明しておきます。
http://godplaysdice.blogspot.com/2007/09/why-g-2.html (SI単位系における)重力加速度と円周率の二乗はほぼ等しいけども、それには理由があるという話。随分昔に読んだのだけど今頃になって訳。一部本筋に関係ない部分の訳をはしょった ==================ここから 地球表面に於ける重力加速度は大体9.81m/s^2である。 この2つの数が近い値にあるのは、偶然ではない。 わたしは、Mark Dominusのpost "John Wilkins invents the meter"を読んでこのことに気付いた。1668年、John Wilkinsは"seconds pendulum"、即ち周期が2秒の振り子の長さを以て、1メートルを定義した。これは、大体39.1インチであることが分かった。 現在1メートルは、39.37インチである。
数学基礎論サマースクールは数学基礎論の普及のために例年開催されている講習会です。 ご興味のある方ならどなたでも歓迎します。 最初にチュートリアルの時間を設けますので、 あまり基礎論になじみのない方も気兼ねなくご参加ください。 なお、今年のテーマは「証明と構成」です。 日時:2013年8月5日(月)-7日(水) (8日(木)-9日(金)には証明論研究集会が開催されます) 会場:慶応義塾大学 三田キャンパス 南校舎475教室 (交通アクセス・キャンパス案内) ※教室が変更となりました。ご注意ください。 参加費:無料 定員: 85名(先着順)。会場の都合です。どうぞご了承ください。 懇親会:8月6日18:30~(会費3000円+α) つるの屋 申し込み:終了しました。多数のお申込みをいただきましてどうもありがとうございました。 世話人:照井一成(京都大学) terui at kurims.kyo
Address: Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Research Interest Nonclassical Logics and Logics in Computer Science: Linear Logic, Substructural Logics Lambda Calculus and Type Theory Implicit Computational Complexity 講義資料等 コンピュータサイエンス基礎(2020年度) 数理論理学I(命題論理) 数理論理学II(不完全性定理) コンピュータにできること・できないこと 『数学セミナー』2015年11月号掲載記事の草稿 NASH村とスライム退治:整列擬順序入門 「代数学入門」入門としての普遍代数学 直観主義論理への招待 著書(一般向け読み
The Riemann hypothesis in various settings 19 July, 2013 in expository, math.AG, math.NT | Tags: etale fundamental group, exponential sums, l-adic cohomology, Weil conjectures | by Terence Tao [Note: the content of this post is standard number theoretic material that can be found in many textbooks (I am relying principally here on Iwaniec and Kowalski); I am not claiming any new progress on any ve
異方性を持つ物質の弾性や電磁的性質の公式に姿を現す2階のテンソルは、式の上では行列と同じものに見えますが、数学的には、より多くの制約を受ける特殊な量です。 行列は、mn個の数(厳密に言えば、代数演算が定義できる環または体の要素)を、縦m個・横n個ずつ矩形に並べたものでしかありません。 行列の演算は、行列要素が従う演算法則に基づいて定義されます。 これに対して、テンソルとは、n次元空間内部で定義され、空間座標の変換に対して、一定のしかたで変換される量を指します。物理学で使われる通常空間(ユークリッド空間、リーマン空間など)の場合、座標変換は、次の公式に従います(変換後の座標にダッシュを付ける): ただし、同一項内で同じ添字が2度現れる場合は、その和を取るものとします(アインシュタインの規約)。このとき、2×2行列の形で表される量Aijが次の形で変換されるならば、Aijを「2階の反変テンソル」
(おか・きよし/1901一1978)数学者。和歌山県生まれ。世界の数学界で難問とされていた「多変数函数論」の中で未解決の三大問題を解き、話題となる。著書に『春宵十話』『日本のこころ』など。文化勲章受章。 岡は一九二五(大正十四)年に京大理学部を卒業、パリのソルポンヌ大学に留学してガストン・ジュリア教授のもとで研究、帰国後、広島文理大(現広島大)に勤め、昭和十三年に理学博士となった。フランス語で論文は書いてきた。そのため日本の学界では知る人はすくなかった。だが昭和十一年から十七年にかけて、 この間、世界の数学者がいどみながらも誰も解けなかったドイツのベンケ教授の出した多変数函数論についての三つの問題を、見事に解いてみせた。 研究が進むうちに生活は一層苦しくなり、家族五人のために土地や財産を次々に売り払い、ついに住む家もなくなり、村人の好意でやっと物置を貸してもらいそこに住んでいた。1945年
微分幾何学におけるリーマン多様体(リーマンたようたい、英: Riemannian manifold)とは、可微分多様体のうちその各点に基本計量テンソル g が与えられるものを言う。ベルンハルト・リーマンによって導入された。 リーマン多様体の考え方は1828年にカール・フリードリヒ・ガウスが証明した『Theorema Egregium』までさかのぼる。この定理は曲面の曲率(厳密にはガウス曲率)が、曲面が三次元空間にどのように埋め込まれるかに依存せず、単に角度や長さを定める計量テンソルにのみ依存するというものである。ガウスの弟子であったリーマンはガウスの定理を多様体と呼ばれる高次元空間に拡張した。この応用として、アルベルト・アインシュタインが相対性理論においてリーマン多様体の考え方を利用している。 リーマン距離とは多様体上の各点に与えられた計量テンソルにより、点と点を結ぶ距離を多様化したもので
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く