柴咲コウさんがIT企業を設立

資本金1.7億円・・・って、そんなに何に使うの（＾＾；）

柴咲コウが資本金1.7億円のIT企業を設立
http://bunshun.jp/articles/-/4278

熱のエントロピーと情報量の関係について、聞いてきた

９月２８日

マルレク第三回　IT技術者のための情報理論入門―エントロピーと複雑さについて

について聞いてきたのでメモメモ
（表題の件は、後半のほうの「（とばして）」の直前に書いてある。
ここまで話したら、結構飛ばしてしまったので、複雑さについては、
そんなに聞いていない気がする・・資料の付録についているのかな？）

---

・ＩＴの話よりは物理？大まかな概念をつかんでもらえば・・
・エントロピー　長い歴史：１９Ｃから→当時の先端蒸気機関に→熱力学
　統計的手法、原子論→マクロ：ミクロとマクロの橋渡し　統計力学　
　ボルツマン、マックスウェル
　原子論：マッハに認められなかった
　　→原子：アインシュタイン　２６才のとき
　ボルツマン：精神を病んで２００６年自殺
　　マシンに個人名：チューリングマシン、ボルツマンマシン：２人とも自殺
　　お母さんがボルツマンの孫という人が日本にいる

・エントロピー：時代に応じて姿を変える
　→シャノン　２０Ｃ　情報理論→フォンノイマン
　→２１Ｃ　再評価：物理基礎理論　量子力学
　　　アインシュタイン　ＶＳ　ボーア
　　１９３５年　量子エンタグルメント　量子のもつれ

・Ｐ＝ＮＰを解いたというやつ→解いてない

・情報理論：シャノン圧倒的に強い
　量子論と相対論
　これから来る変化：量子情報、量子コンピューター

・イノベーションと科学
　技術と人口増
　産業革命が人間の生活を変えた：１８Ｃにシンギュラリティ？
　　→１７Ｃ科学革命：ニュートン
　　　それ以前は中世

・１８Ｃ　産業革命
　１９Ｃ　機械制大工場
　２０Ｃ　ＥＮＩＡＣ
　２１Ｃ　Google

・１８５４年　ペリーが江戸幕府に送った電信機
　１８７６年　ベルの電話
　今　ケータイ

・１８９１年の電信ネットワーク
　２０１７年のネットワーク

→今が進んでいると思うのは幻想
　技術：相対的にみる

・ＨＡＭ　→　インターネット

・技術を基礎づける科学
　エントロピー：clausiusによって１８５６年？につけられた名前
　１７７６年：ワット　蒸気機関
　Carnot（カルノー）　蒸気機関の効率化
　→熱量のすべてを仕事に変えられない：エントロピー

　ギブス、ヘルムホルツ：自由エネルギー、エントロピー
　　自由エネルギーＦ＝内部エネルギーＵ－温度Ｔ・エントロピーＳ

　→エネルギーを温度でわると、なぜ情報量？
　　ボルツマンが可能にした

・２０Ｃグローバルネットワーク
　→シャノン　通信の数学的理論

・シャノンの基本的関心
　できるだけ正確に伝えるには、何をすればいいか
　　テレタイプ

・エントロピーをイメージする
　熱力学第一法則　エネルギーは保存する
　熱力学第二法則　エントロピーは増大する

　人間：太陽のエネルギーに帰着する
　第二法則：不等号

・ものは、朽ち果てる
　朽ち果てたものは、元には戻らない
　→物事は乱雑になっていく：落ちた卵、拡散するガス
　　時間が決めている：そうでもない　時間を逆に回すと、元に戻る

・２色のインクをかきまぜたら？
　　→比重が違えば分離する。分離しないのはなぜ？

　もし、粒が大きく、Ｎが少なければ＝中が見える
　でも、Ｎがおおきくなると・・・見えなくなる
　細かくすると、赤・青以外の数になる
　→アボガドロ数

　圧倒的に、分離する可能性は、低いから

・コーヒーにミルクが混ざるのを待つ
　エントロピー→一様になる：単純
　エントロピー最大：熱的一様

・部屋のガスは広がる
　宇宙のガスは・・・ブラックホールに吸い込まれる
　→ブラックホールを考えると、エントロピーは？
　→２１Ｃのエントロピー

・Power of 10

　時間のスケール：もっとも古い宇宙の年齢
　エネルギーのスケール：光子のエネルギー→超新星爆発

・さるのタイピスト
　　サルのタイプライター仮説：シェークスピアの作品を打ち出す可能性
　　monkeyと打つ確率：サマージャンボ当たる確率より、３０倍難しい！
　　　→無限のサルの定義

・自然言語には辞書がある
　でも、すべての文を含むシラバスは作れない

・ベンジオの次元の呪い
　ランダムな語；アクセスできなくなる

・ボルツマン

　Ｓ＝Ｋ　ｌｏｇ　Ｗ
　Ｓ：エントロピー
　Ｋ：ボルツマン定数
　Ｗ：ミクロな状態をカウントした

・原子論者ボルツマン
　要素に還元：ある性質は失われていく

　異端の学説　原子論
　　古代ギリシャの原子論：デモクリトス→プラトンは焼かせていた
　　サルのタイプライターの論理：キケロも批判

　デモクリトス以来の量子コンピューティング

　１９Ｃでも、原子の存在は疑われていた
　アインシュタインのブラウン運動→ボルツマン知ってる

・ミクロの世界とマクロな世界
　隠される情報と新しい情報の「出現」
　　→マクロを切っていけば、正しい認識になるわけではない
　　→マックスプーリング
　　→印刷の世界

・情報の損失としてのエントロピー
　　減った情報がエントロピー

　　バエズの導出

　失われるけど、得るものがある

・Ｎこのやつが、Ｋ個の状態をとる
　どれくらいの可能性があるか

　の式のlogをとって
　スターリングの公式　logN!　≒ nlogn-n　使って
　　：
　　：
　ボルツマンの式はでてくる

・カノニカル分布の分配関数　ＳｏｆｔＭａｘに出てくる


・異なるメッセージの数
　の対数をとって
　スターリングの公式　logN!　≒ nlogn-n　使って
　　：
　　：
　ボルツマンの式はでてくる

→ボルツマンは状態、シャノンはメッセージ
　異なるものだけど、おなじように数え上げている

（とばして）

・２１世紀
　エンタングルメントとエントロピー

　ブラックホールのエントロピーの発見
　 No Hair　定理観測可能量３つ
　　　ベッケンシュタイン：エントロピーあるよ！
　　　ホーキング　比例定数は１／４だ！
　　　サスキンドの計算
　　　　　ブラックホール　光子１個とびこむと、プランク長２乗増える
　　　　　　　→情報がふえる；表面積増える
　　ＡＮＤ回路、ＯＲ回路：エネルギー
　　閉じた形：エネルギーを減らす・エントロピー
　　構造が生まれる

・ブラックホール輻射
　なにもないのに、なぜエントロピー？
　　ブラックホールは蒸発する
　→ブラックホールは、温度も持つ
　　（絶対０°に近いけど）
　　最後に爆発

・ブラックホールで情報は消滅するか？
　大事な問題　ペンローズ：情報が失われる

・ＡｄＳ／ＣＦＴ対応

　重力：うまくいかない

　１９９８年　マルデセーナ　量子論と相対論の接点
　　　スーパーストリング
　　　ループ
　→両派とも認める

・笠と高柳
　エンタグルメント
　量子もつれあいが、エントロピーを持つこと

　ラームズダンク：エンタグルメントのエントロピーが時空を縫い合わせる

・テンソルネットワーク
　凝縮系物性論のチャレンジ
　へルミオン　ボソンに凝縮
　→常温超伝導：クーパーツ理論では説明できない
　　トポロジー絶縁体（ビスマス）→超伝導が表面だけ起きる
　　立体だとあらわれないけど、次元を下げると

・エントロピーがArea則を満たす
　計算が簡単になる

　ＡｄＳ／ＣＦＴ対応とテンソルネットワーク（ＭＥＲＡ）

・ＡＭＰＳパラドックス２０１２
　The Firewall Paradox
　外側から粒子を集めて中にアリスが入ったら？
　エンタグルメント　モノガミー(Monogamy)

・ＥＲ＝ＥＰＲ
　１９３５年のアインシュタインの２つの論文
　神はサイコロを振らない
　ＥＲ論文：ブラックホールがつながっている
　ＥＲとＥＰＲは同じ？

　→共感をもって

・現代物理学の俯瞰図

　真ん中に量子情報理論　

・It from bit ウィーラー
　it from Qubit

・科学によって切り開かれる時代
　情報とエネルギーを結びつけた世界
　量子コンピューター：１０年以内に


　
　

ＹＯＺＡＮ逝ったってよ！

ＹＯＺＡＮ、破産手続き開始　ＰＨＳ不振長引く
https://www.nikkei.com/article/DGXLASDZ27HEL_X20C17A9000000/

データ構造の教科書のクラウドファンディングだって！

CSの定番教科書「Open Data Structures」を日本にも届けたい！
https://camp-fire.jp/projects/view/31790