コペンハーゲン解釈 - Wikipedia
コペンハーゲン解釈（コペンハーゲンかいしゃく、英: Copenhagen interpretation）は、量子力学の解釈の一つである。それが何を指すかについて論者によってかなり幅があり、一致した見解はない[1]。共通している点としては、「量子力学は本質的に非決定論的であり、測定によって特定の観測結果が得られる確率がボルンの規則に従うこと」がある。 量子力学を建設したボーアやハイゼンベルクたちの解釈を指すという意味で使われるが、両者の間にはかなり解釈の不一致がある[2]。フォン・ノイマンが整備した量子力学の標準的な数学的手法に従う、という意味で使われることもある[3]。 「コペンハーゲン解釈」という名称は、デンマークの首都コペンハーゲンにあるボーア研究所に由来する。 コペンハーゲン解釈という言葉は、1955年にハイゼンベルクによって初めて使われた。ハイゼンベルクは、量子力学には1927年か
ブラウン・ラチェット - Wikipedia
ブラウン・ラチェット（英: Brownian ratchet）は、リチャード・P・ファインマンが、物理の講義において熱力学第二法則を説明するために仮構した見かけ上永久機関のようにみえる思考実験上の装置を指してしばしば用いられる用語である。 また、ファインマンのこの機構といくらか類似の仕組みが細胞内のイオンポンプなどで実現されていると考えられるため、それらに対してもブラウン・ラチェットという用語が使われる。ファインマン＝スモルホフスキー・ラチェット (Feynman-Smoluchowski ratchet) とも言う。 ファインマンのブラウン・ラチェット。 分子の熱運動によって揺らされる羽根車が、ラチェットによって一方向の運動を生み出し、重りを持ち上げるなら、熱から運動が取り出せることになる。 ファインマンの装置の基本部分は古くからあるただのラチェット機構である。このようなラチェット機構は
マクスウェルの悪魔 - Wikipedia
マクスウェルの悪魔（マクスウェルのあくま、Maxwell's demon）とは、1867年ごろ、スコットランドの物理学者ジェームズ・クラーク・マクスウェルが提唱した思考実験、ないしその実験で想定される架空の、働く存在である。マクスウェルの魔、マクスウェルの魔物、マクスウェルのデーモンなどともいう。 分子の動きを観察できる架空の悪魔を想定することによって、熱力学第二法則で禁じられたエントロピーの減少が可能であるとした。 熱力学の根幹に突き付けられたこの難問は1980年代に入ってようやく一応の解決を見た。 マクスウェルが考えた仮想的な実験内容とは以下のようである（Theory of Heat、1872年）。 マクスウェルの悪魔。分子を観察できる悪魔は仕事をすることなしに温度差を作り出せるようにみえる。 均一な温度の気体で満たされた容器を用意する。 このとき温度は均一でも個々の分子の速度は決して
初心者用 テイラー展開解説
ある程度予想はしていましたが､期末試験の結果は悲惨なものでした。 中でもテイラー展開は目も当てられないありさまでした。 日ごろ数学で苦労しているメンバーはともかく、 数学を得意としている皆さんも壊滅に近い状態でした。 とりあえず教科書に書いてある式を当てはめてみて、 何かやってる振りはしているけれども､ 書いている本人が何をやってるのかわからない状態で、 他人が読んで意味がわかるわけがありませんよね。 テイラー展開が何なのか、がわかってないんだな。 基本思想を以下に説明するので、今学期 最後のチャンスと思って理解してください。 ちょっと (1.0007)15を計算してみてくださいな (1.0007)15、どうやって求めます？馬鹿正直に1.0007を15回掛けますか。 「俺 関数電卓あるから。」 ああそうですか。じゃあ電卓持ったまま読んでね。 0.0007 はとっても小さいから、1.0007
mypy - Optional Static Typing for Python
Compile-time type checking Static typing makes it easier to find bugs with less debugging. Easier maintenance Type declarations act as machine-checked documentation. Static typing makes your code easier to understand and easier to modify without introducing bugs. Grow your programs from dynamic to static typing You can develop programs with dynamic typing and add static typing after your code has
Python の singledispatch で引数の型ごとに処理を分ける
Python の API を考えるとき、その使い勝手を良くするために関数やメソッドが受け取るパラメータとして複数の型を許容する場合がたまにある。 例えば単一のオブジェクトと配列のオブジェクトを同じ API で扱えるようにするなんてのは正にそう。 そんなとき singledispatch を使うとベタに書くより可読性を挙げられるかもしれない。 まず、singledispatch は PyPI からインストールする。 $ pip install singledispatch 例えば複数の型に対応させるときベタに書くと以下の様な感じになる。 型を isinstance で判定するコードが if ~ elif ~ と連なっていく様は見苦しい。 条件分岐は少しでも少ない方が良い。 #!/usr/bin/env python # -*- coding: utf-8 -*- def accept_int
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.heisei-u.ac.jp/ba/fukui/pdf/mathtext8.pdf
仮想仕事の原理 [物理のかぎしっぽ]
abc – Abstract Base Classes - Python Module of the Week
すど on Twitter: "あまり堅苦しい話ばかりだと私も息が詰まってしまうので，ここで昨日に続きイラストレーションを 1 枚どうぞ。これは私が大学時代に指導教官から見せてもらって最も高鳴った，思い出のイラストレーションです。 http://t.co/OrJqnfvLIv"