還元密度演算子
DOISHIGERU
2012-05-23
輪講会で非直交状態での混合状態の区別法と還元密度演算子について議論した。 次の疑問が残った ・2状態の非直交状態の識別はヒルベルト空間として3次元以上を必要とするのか？ ・部分トレースをとることの意味は何か？ 部分トレースで還元密度演算子を得るのは、片方についての期待値を取ることなので、元の密度行列を射影測定した後の密度行列だと言ってみたが納得してもらえなかった。測定とは関係ないところで使うことも...
Zellij
ブログを始めておいてなんだけど……（後半は数学の話）
mathaga
2012-05-15
...した姿は見えてこないと思う。ある程度は適当に理解した方がよいことももちろんあるにしても。 ただ、現代数学の方にも問題はあると思う。なんといっても初学者にはとっつきにくい。 今の数学の主流を占めるのは、ヒルベルトっていう100年くらい前の偉い数学者が提唱し、以来フランスを中心とした数学者グループのブルバキなんかが一枚絡んで、大いに浸透した「公理的手法」というものだ。 公理という言葉は聞いたこと...
ちぐはぐな1日となりました。
honduras
2012-05-11
...たっていました。 何となく不吉な感じがしながらも、1時間以上待ち続けましたが、クルックトゥ トゥリー行の バスは現れず、仕切り直すことにしました。 午後、改めて出かけようとしたら、アパートの管理責任者ヒルベルト氏に出会い、頼んでいた 映りの悪いテレビをチェックすると言われました。部屋に戻り、テレビとケーブルを交換して もらいましたが、まだ、チャンネルによって映り具合に差がありました。 午前は...
ヒルベルト空間上のガウス測度の非存在
yoshitake-h
2012-05-10
をONBとする実ヒルベルト空間 にガウス測度が与えられているとする． 確率変数 はたがいに独立な標準正規分布である． 大数の強法則より， ゆえに 一方， 矛盾．
人の命が何よりも重いのはなぜでしょうか。について
ssaitoh
2012-05-10
... Amazon.co.jp ユークリッド幾何学を考える―夢まぼろしの幾何学を越えて (読んで楽しむ教科書)/溝上 武實 ￥2,100 Amazon.co.jp 幾何学基礎論 (ちくま学芸文庫)/D. ヒルベルト ￥1,155 Amazon.co.jp 食物連鎖の大研究/著者不明 ￥2,940 Amazon.co.jp 海に生きるものたちの掟 食うか食われるか
【１３２５冊目】レオン・レーダーマン＆クリストファー・ヒル『対称性』
hachiro86
2012-05-01
...トが扱うほとんどすべての項目について明らかにした一冊である。 特に本書でフィーチャーされているのは、エミー・ネーターという女性数学者の存在だ。私はこの人のことを本書ではじめて知ったのだが、ダフィット・ヒルベルトやフェリックス・クラインといった大数学者に学んだこの数学者は、自身の名を冠した「ネーターの定理」において「物理法則におけるすべての連続的対称性に対して対応する保存則がある」ことを証明し...
mimisemi
catupper
岩田規久男『インフレとデフレ』/田中小実昌『ポロポロ』/小林昭七『ユークリッド幾何から現代幾何へ』
obelisk2
2012-04-15
...て、分析してある点だ（第三章）。これは確かに美しい。多様体論をこうして具体的に使うというのは、物理学（一般相対性理論など）以外ではなかなか個人的に見たことがなかったので、面白かった。 ちなみに第四章のヒルベルトの幾何は、自分には相当レヴェルが高かった。このあたりがもう少し見えてくるといいのだけれど。 双曲幾何については、岩波講座「現代数学への入門」にあったと思う。本書でわかりにくかったところ...
「再生核ヒルベルト空間」という言葉を聞いて何を思い浮かべるか
teens
2012-04-11
雨が怖かったが，雨対策をほとんどせずに登校． 1限講義，課題が出る． ソフトウェア工学の話，わかりやすいけど特に脈絡なく進んでしまうので， 一般教養の講義みたいだなぁと思ってしまう． そういう意味では，実体験というかソフトウェア開発の経験があると実感できる話でもあるのだろう． 2限はPRMLを参考書とする講義． 先日研究室見学に行った時にお話しした先生だったが，講義もわかりやすい． おっかなびっく...
whjte_sep
「情報理論」読了からどこへ向かうか？
CUSCUS
2012-04-02
...念碑的論文「コミュニケーションの数学的理論」を読む。私が勝手に「サイバネティクスの雰囲気に浸れる論文集」というものを日ごろ考えていて、それは以下のものです。アラン・テューリングの「計算可能な数、およびヒルベルトの決定問題への応用について（On Computable Numbers, with an Application to the Entscheidungsproblem）」1936年ウ...
じじぃの「人の死にざま_871_ＪＨ・ポアンカレ」
cool-hira
2012-04-01
...要な活躍をしている。また、フックス関数と非ユークリッド幾何学との結びつきについての数学的な発見をした際に、その過程の詳しい叙述を残して、その後の数学研究の心理学的側面の研究にも影響を与えた。 その他、ヒルベルトの形式主義に対する批判をして、初期の数学的直観主義の立場を表明した。電子計算機がない時代にカオス的挙動について言及した点でも特筆され、後に「バタフライ効果」と呼ばれる予測不能性などが著...
雑記(74)
ophthalmos
2012-03-25
...して、同時並行で本を読んでました。ちなみに1年生の最初に参加していた輪講は、朝永振一郎『量子力学』、ランダウ・リフシッツ『力学』『場の古典論』、ストライヤー『生化学』だったかな...その後、クーラン・ヒルベルト『数理物理学の方法』とか、Ahlfors "Complex Analysis" とか、とにかく時間の許す限り出てました。 顔を出している時間が長いとサークル活動に熱...
第19回Formal Methods勉強会
kencoba
2012-03-25
...gt; A -> ACoInductiveの証明は難しかったりする。sig型は、Haskellのリスト内包表記とは違うよ。{x : A | P x}は、xという値と、Pという命題のタプルだよ。 ヒルベルト流公理系をCoqで証明する。Hint Constructors で試してみたけどだめだった。公理の数を減らすとか?Maudeでやってみるか。 Coqで様相論理"Metarea...
tallyao
