[2007-10-27] 電磁気学/ビオ・サバールの法則とその応用（クロメル著） [2007-10-27] 力学/球殻のつくる重力ポテンシャル（クロメル著） [2007-09-30] 解析力学/エネルギーの定義とエネルギー保存則（佑弥著） [2007-07-07] 電磁気学/一様に帯電した無限平面板の作り出す電場（CO著） [2007-06-05] 解析力学/ネーターの定理（佑弥著） [2007-06-02] 力学/ベクトルのモーメント（トルクと角運動量）（クロメル著） 力学/角運動量（クロメル著） 力学/角運動量を持つ系の例（クロメル著） 力学/全角運動量（クロメル著） 力学/慣性モーメント（クロメル著） more ≫ 2007年の更新履歴 「物理のかぎしっぽ」は，さまざまなバックグラウンドを持つ メンバー によりつくられている，物理学と数学とコンピュータ

分散共分散行列（ぶんさんきょうぶんさんぎょうれつ、英: variance-covariance matrix）や共分散行列（きょうぶんさんぎょうれつ、英: covariance matrix）とは、統計学と確率論において、ベクトルの要素間の共分散の行列である。これは、スカラー値をとる確率変数における分散の概念を、多次元に拡張したものである。 次のような列ベクトルを考える。 このベクトルの要素が各々分散が有限である確率変数であるとき、( i, j ) の要素が次のような行列 Σ を分散共分散行列という。 ただし、 は、ベクトル X の i 番目の要素の期待値である。すなわち、Σ は次のような行列である。 この行列の逆行列は は、逆共分散行列（英: inverse covariance matrix） または精度行列（英: precision matrix） と呼ばれる[1]。

「証明」という言葉と「計算」という言葉 「計算」という言葉の説明 「証明」という言葉の説明 ここまでのまとめ 補足:「完全」という言葉について 対角化定理と再帰定理 対角化定理 再帰定理 ラムダ計算との関係 第1不完全性定理、停止問題、その他 第1不完全性定理の証明 停止問題、真を表す述語の定義不可能性 自然数論の決定不能性 補足: 「決定可能」「決定不能」という言葉について 第2不完全性定理 第2不完全性定理の証明 第2不完全性定理の内容 補足: ヒルベルトの形式主義(ヒルベルト・プログラム) まとめ 文献 「証明」という言葉と「計算」という言葉 論理学についての話や説明をする場合、 「証明」とか「証明できる」という言葉がふたつの意味で使われる。 ひとつは数学とか日常で普通に使うのと同じ普通の意味での 「証明できる」(何かの正しさを筋道立てて示すことができる)で、 もうひとつは形式的な論

このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。

１．著作権について 「数理科学美術館」内のファイルの著作権は私森川浩にあります。 私以外の方が「数理科学美術館」内のファイルを作成したように 振る舞うことや著作権を主張することはできません。 ２．紹介について 雑誌やホームページで、http://morigon.jp/subi.html なる ＵＲＬによって「数理科学美術館」をまるごと紹介して頂く場合は、 作者側としては全く問題ありません。紹介の許可願の必要もありません。 その他のＵＲＬによる部分紹介は、それが「数理科学美術館」の中の一部で あることがわかる紹介であり、かつ、そのＵＲＬが突然消える可能性がある ことを紹介者が了解するなら、作者側としては問題ありません。 客観的に判断して作者が気分を害する紹介は、紹介者の身分と連絡先が明らかに されていれば、作者側としては問題ありません。 ３．リンクについて パスワードによるアクセス制限が無く

ディオファントス近似（ディオファントスきんじ、英: Diophantine approximation）とはある数（実数など）を別のより単純な構造を持つ数（有理数など）で近似する方法やその値、あるいはそれについて研究する数論の一分野である。アレクサンドリアのディオファントスに因む。 最初の問題は、実数が有理数によってどのぐらいよく近似できるかを知ることであった。この問題のために、有理数 p/q が実数 α の「良い」近似であるとは、p/q と α の差の絶対値が、p/q を分母が小さい別の有理数に置き換えたときに小さくならないこととする。この問題は連分数によって18世紀に解かれた。 与えられた数の「最もよい」近似が分かり、この分野の主要な問題は、上記の差のよい上界と下界の分母の関数としての表示を見つけることである。 これらの上下界は近似される実数の性質に依存すると思われる。有理数の別の有理

動画：理論で立ち上がる「起き上がりこぼし」 2008年3月 4日 サイエンス・テクノロジー コメント： トラックバック (0) Jose Fermoso 一流の数学者と科学者がチームを組み、他に類を見ない、興味深い平衡特性をもった立体の作成に取り組んだ――そして出来上がったのは、一見ただの石ころのようなものだった。 それが上の写真の『Gomboc』だ。無論、おしゃれな石のペーパーウェイトなどとはわけが違う。Gombocは、どのように動かしても、またどの面を下にして置いても、必ずひとりでに起き上がる立体なのだ[起き上がりこぼしのように中におもりが入っていず、均質な立体]。 『ワイアード・ニュース』にゲームコラムなどを寄稿しているClive Thompson氏は、これを2007年のベストアイディアの1つとして『The New York Times Magazine』誌で取り上げた。 Gombo

理工系の大学や高専で学ぶ皆さんが だいたい20才くらいになると直面する「たたみこみ」。 特に、 電気回路が必修になっているようなところでは 避けて通れないものです。 だのにさっぱりわからず、 ネットで探せば何かないかなと思ったのに、 いきなり 「合成積とは　 ∫ot　f(t-τ) g(τ)　dτ　」 とか出てきちゃって嫌になってる皆さん。 嫌になってる理由は、 「やれといわれればやるけれど、 何を表してるのか意味分からない」 とか 「f(t-τ) の t-τ が なんで出てくるのか納得できない」 とかではありませんか。 基本思想を以下に説明するので、今学期 最後のチャンスと思って理解してください。

幼い頃に遊んだ経験がある方々も多いのではないでしょうか。なつかしい【スピロデザイン】をプログラムで再現してみました。【スピログラフ】や【デザイン定規】とも呼ばれていた気もします。次のようなものです。 大きな円（固定した定規）の中に、小さな円（可動する定規）を入れ、可動定規の穴に鉛筆の先を差し込んで、固定定規に沿ってグルグルと廻すと、幾何的な模様が描けるものです。

72の孤高さと実は綺麗に割れる感じが大好きだ 「お前、数字で例えると72みたいな奴だな」 そう言われるのが俺の夢

「サーファー物理学者」の新たな統一理論に注目集まる 2007年11月21日 サイエンス・テクノロジー コメント： トラックバック (1) John Borland 2次元平面に投影された『E8』。[参考記事はこちら] Photo credit:American Institute of Mathematics Garrett Lisi氏は、思慮深い物理学者として広く認知されている。だが、たいていの物理学者と違って、Lisi氏は大学や研究機関に長く所属した経歴を持たない。Lisi氏はサーファーかつスノーボーダー[生活費は旅行ガイドや建設作業などで稼いでいる]。その彼が、万物の新たな普遍的理論を説く論文を発表した。 予稿の形で発表されたこの論文は物理学界でたちまち話題を呼び、このような抽象的な数学を扱った論文としては珍しく、一般からも大きな注目を集めている。 Lisi氏自身は、重力を含むすべて