マルゼミ 「コロモゴロフ複雑性とアルゴリズム論的情報理論」 | Peatix
tag:peatix.com,2011:1
2021-11-15T14:43:01+09:00
Peatix
丸山不二夫
マルゼミ 「コロモゴロフ複雑性とアルゴリズム論的情報理論」
tag:peatix.com,2021:event-2903170
2021-09-30T19:00:00JST
2021-09-30T19:00:00JST
セミナーのタイトルが「計算科学とエントロピー」から「コロモゴロフ複雑性とアルゴリズム論的情報理論」に変更になりました。これまで、丸山のセミナーでは、エントロピーについて、主要に、ボルツマン・ギブスらの統計力学的アプローチと、シャノンの情報理論的アプローチの二つを見てきました。今回のマルゼミ「コロモゴロフ複雑性とアルゴリズム論的情報理論」では、それら二つとは異なるエントロピーへのアプローチを取り上げます。「アルゴリズム論的情報理論 ("Algorithmic information theory")」といわれるものです。「アルゴリズム論的情報理論」は、計算科学でのチューリング=チャーチらの計算可能性の理論と、シャノンの情報理論とを結びつけようという試みです。熱力学的エントロピーは、分子の運動の「乱雑さ」の尺度と考えられます。同じ「水」でも、水の分子が結晶上に規則的に並ぶ「氷」のエントロピーは低く、水の分子が自由に空中を飛び回る「水蒸気」のエントロピーは高くなります。ビットの列で与えられる情報でも同じです。100個の"0"が連なるビット列は、規則的なのでエントロピーは低く、「ランダム」に、"0"と"1"が並ぶビット列は、エントロピーが高いと考えることができます。ただ、この例え話は、実は、我々が何が「規則的」で何が「ランダム」かを判断できることを、暗黙のうちに仮定しています。「ランダムさ」でエントロピー を説明するのなら、「ランダムさ」とは何かを、きちんと説明できなければいけません。あるビット列Xとビット列Yが与えられた時、次のように考えることにしましょう。 Xを出力するコンピュータ・プログラムの集まりをPX、Yを出力するコンピュータ・プログラムの集まりをPYとしましょう。(X,Yを出力するプログラムは一つとは限りません)ここで、「プログラムの長さ」を考えます。Xを出力するコンピュータ・プログラムの集まりPXに属する全てのプログラムについて、その「長さ」を考え、その中で一番短いものの長さをx とします。同様に、Yを出力するプログラムで一番短いものの長さをy とします。この時、プログラムの長さ x, y を比較して、x < y なら、ビット列Yはビット列Xより「複雑」だと考えます。要するに、あるビット列を出力する最小のプログラムの長さが大きければ大きいほど、そのビット列は、より複雑でよりランダムだと考えるのです。先の例で言えば、100個の"0"が連なるビット列を出力するプログラムは(例えば、ループを使って)短く書けるが、「ランダム」に"0"と"1"が並ぶビット列を出力するプログラムは、短くは書けないということです。ある出力Xを与えるプログラムの長さの最小値を、Xの「コロモロゴフの複雑性」と言います。「アルゴリズム論的情報理論」の出発点は、この「コロモロゴフの複雑性」です。セミナーでは、次のトピックスを取り上げます。
「コロモゴロフ複雑性とアルゴリズム論的情報理論」
リンクにジャンプできます
第一部 ランダムさの不思議
エピソード 2-1 「ランダムさの不思議」(video pdf blog)
エピソード 2-2 「Randomness と Symmetry」 (video pdf blog)
エピソード 2-3 「ランダムの力 — 量子論のインパクト」 (video pdf blog)
エピソード 2-4 「ランダムさの定義の難しさ」 (video pdf blog)
エピソード 2-5 「ランダムさ への新しいアプローチ」 (video pdf blog)
第二部 計算可能性理論とコロモゴロフの複雑性
エピソード 1-1 「コロモゴロフの複雑性」(video pdf blog)
エピソード 3-1 「すべての計算可能な関数は、プログラムで表現できる」 (video pdf blog)
エピソード 3-2 「コロモゴロフ複雑性の「不変性」」(video pdf blog)
エピソード 3-3 「コロモゴロフ複雑性の「計算不能性」」 (video pdf blog)
エピソード 3-4 「チャイティンの不完全性定理」(video pdf blog)
第三部 アルゴリズム論的情報理論
エピソード 4-1 「チャイティンのΩとバエズのエントロピー」 (video pdf blog)
エピソード 4-2 「アルゴリズム論的情報量」 (video pdf blog)
セミナーのまとめページは、こちらです。https://www.marulabo.net/docs/info-entropy4/セミナーの紹介ビデオは、こちらです。https://youtu.be/iVbth0yFCM4?list=PLQIrJ0f9gMcOWKDmKxI3aJ6UYf6gaPa2K
Updates
tag:peatix.com,2021-09-23 20:22:03
2021-09-23 20:22:03
イベント詳細情報を更新しました。 Diff#1127378
Updates
tag:peatix.com,2021-09-23 20:11:07
2021-09-23 20:11:07
タイトル は マルゼミ 「コロモゴロフ複雑性とアルゴリズム論的情報理論」 に変更されました。 Orig#1127377
Updates
tag:peatix.com,2021-09-21 05:32:41
2021-09-21 05:32:41
イベント詳細情報を更新しました。 Diff#1126325