数学基礎論サマースクール 2012は、111名の方にご参加頂き、盛会のうちに無事終了いたしました。ご参加してくださった皆様に、お礼申し上げます。
数学基礎論サマースクール 2012は、111名の方にご参加頂き、盛会のうちに無事終了いたしました。ご参加してくださった皆様に、お礼申し上げます。
数学基礎論サマースクールは年一回夏に開催されています。 毎年テーマを決めて、その道の専門家の方を講師としてお招きして、入門的な内容から最新の話題までさまざまな講義をしていただいています。
数学基礎論サマースクール 2012は、「計算可能性とランダムネス」をテーマに開催します。 今年のサマースクールは、基礎コースおよび、それに続く発展コースからなり、 特に基礎コースでは、チューリング生誕100年を記念して、入門講座「計算可能性の理論」を開催します。 本スクールでは、対象を数学基礎論専攻の方に限定せず、市民、学生そして一般の数学者の皆さんに興味を持って頂ける話題を提供する予定です。
9月4日（火曜日）
13：30 開場
14：00 〜 15：30 基礎コース：入門講座「計算可能性の理論」T (鹿島 亮)
15：40 〜 17：10 基礎コース：入門講座「計算可能性の理論」U (鹿島 亮)
9月5日（水曜日）
9：30 〜 11：00 基礎コース：入門講座「計算可能性の理論」V (鹿島 亮)
11：10 〜 12：40 基礎コース：入門講座「計算可能性の理論」W (鹿島 亮)
12：40 〜 14：00 昼休み
14：00 〜 15：30 発展コース：アルゴリズム的ランダムネス入門T (只木 孝太郎) 講義資料
15：40 〜 17：10 発展コース：アルゴリズム的ランダムネス入門U (只木 孝太郎)
9月6日（木曜日）
9：30 〜 11：00 発展コース：代表的ランダム性T (樋口 幸治郎) 講義資料
11：10 〜 12：40 発展コース：代表的ランダム性U (樋口 幸治郎)
12：40 〜 14：00 集合写真撮影，昼休み
14：00 〜 15：30 発展コース：ランダムの概念はどう使えるか (宮部 賢志) 講義資料
15：40 〜 17：10 発展コース：歪んだコインとフラクタルT (木原 貴行) 講義資料
18：00 〜 懇親会
9月7日（金曜日）
9：30 〜 11：00 発展コース：歪んだコインとフラクタルU (木原 貴行)
11：10 〜 12：40 発展コース：ランダムの概念はどう発展してきたか (宮部 賢志) 講義資料
数学基礎論サマースクール 2012 「基礎コース」では、 チューリング生誕100年を記念し、計算可能性の理論を広く社会の皆さんに理解して頂くため、計算可能性の理論についての入門講座を開催します。
チューリングなどによって創始された計算可能性の理論は、コンピュータで計算できること、できないことの明確化など、コンピュータの動作の普遍的な原理に関する数学です。 本講座ではこの理論の本格的な内容を、チューリングマシンといった仮想的なモデルではなく現実のC言語を使用してわかりやすく説明します。 本講座はどなたでも受講可能です。 計算可能性の理論に興味を持つ市民、学生、研究者の皆さんの参加を歓迎します。
数学基礎論サマースクール 2012 「発展コース」では、例年の数学基礎論サマースクールと同様に、 その年のテーマに沿った最新の話題について、専門家の方を講師としてお招きし、講義をしていただきます。
今年のテーマは「計算可能性とランダムネス」です。 具体的には、計算可能性の理論の一分野であるアルゴリズム的ランダムネス（Algorithmic Randomness）が今年のテーマです。 コイン投げを繰り返し行って0と1の系列を生成した場合、その系列は“ランダム”であると考えるのが自然でしょう。 しかしそもそも、0と1の系列のランダム性とは、数学的にはどのように定義されるものなのでしょうか？ アルゴリズム的ランダムネスは、一見すると捉えどころがない概念であるランダム性について、正確な定義を与えることを可能にする研究分野です。 アルゴリズム的ランダムネスは、 アルゴリズム的情報理論（Algorithmic Information Theory）とも呼ばれ、 現在特に、再帰理論（Recursion Theory）の中心的存在として、大きく発展しています。 しかしながら、アルゴリズム的ランダムネスは、数学基礎論に限定せず、 解析学一般（フラクタル幾何学、微分可能性など）や確率論（ブラウン運動、確率概念の基礎付け、マルティンゲールなど）、 そしてエルゴード理論、更には統計力学、暗号理論とも密接に関係しています。
この「発展コース」では、主に、 アルゴリズム的ランダムネスの分野で成果を挙げる気鋭の若手研究者の皆さんに、アルゴリズム的ランダムネスと数学一般との関わりについてお話しいただきます。 数学基礎論専攻の方に限らず、一般の数学者、学生の皆さんに興味を持って頂ける話題を提供する予定です。
以下のように懇親会を開催します。この懇親会はどなたでも参加可能です。 講師-参加者、参加者同士の気軽な交流の場にしたいと思いますので奮ってご参加ください。
日時：2012年9月6日（木）18時から 場所：東工大生協第１食堂（立食形式） 会費：3千円
◆ 参加される方は9月3日（月）までにメールで kashima@is.titech.ac.jp （鹿島亮）宛に連絡をください。