*** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください ***
みなさま，
こんにちは！ 京都大学数理解析研究所の蓮尾と申します．
Adventures of Categories: Applied Category Theory Colloquium
というプロジェクトの一環として，10月から12月にかけて6回， 京大数理研で講演会を行っています．今週の金曜日の講演は 小嶋泉氏 (京都大学数理解析研究所) による，数理物理学における 「ミクロ・マクロ双対性」についての1時間です． 講演会の詳細については以下を，プロジェクトの詳細については さらに下をご覧ください．
みなさまのお越しを歓迎します．それでは！
"Adventures of Categories" 参加者有志： Piet Hut，Craig Pastro，荒井迅，一宮尚志，西郷甲矢人，長谷川真人， 浜野正浩，春名太一，平岡裕章，蓮尾一郎
/////////////////////////////////////////////////////////////////////////////////////////// Date, Time: 14:00-15:00, Friday 22 Oct, 2010
Place: Room 111, RIMS, Kyoto University http://www.kurims.kyoto-u.ac.jp/en/access-01.html 京都大学数理解析研究所 1階 111号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html
Speaker: Izumi Ojima (RIMS, Kyoto U.) http://www.kurims.kyoto-u.ac.jp/en/list/OJIMA,%20Izumi.html
Title: "Micro-Macro duality" in physics as matching adjunctions between what to be described and what to describe
Abstract: After explaining the basic scheme for describing the relations between "Micro" and "Macro" aspects (or levels) in nature, the duality, or more precisely, adjunction relations between them will be discussed from algebraic and categorical viewpoints, according to "Micro-Macro duality". ////////////////////////////////////////////////////////////////////////
=============== "Adventures of Categories" プロジェクトについて
数学における異分野協働の実験場として，数学の中でもそのわかりに くさにおいて定評のある圏論 category theory をコアに据えて，
- 純粋数学における圏論ユーザー - 応用数学における圏論ユーザー - 興味はあるがこれまで足を踏み入れる機会のなかった圏論の to-be ユーザー (この立場から，プリンストン高等研究所の学際研究担当，Piet Hut 教授にも 参加いただきます)
の3者の交流の機会とすべく今回のプロジェクトを企画しました． 6回の講演会の中から，
- いろいろな数学の分野でどのように圏論が使われているのか？ - 各分野間の知識移転によって，どのような成果が得られるか？ - 圏論的手法が有効な他の応用分野は？ - テクニカルに素人の方に対して，圏論をどのように説明し， アピールすることができるか？
というような問に対して，何らかの答えが浮かび上がるのを期待しています． 興味のおありの方，ご来聴を歓迎いたします！
Adventures of Categories というタイトルは，本プロジェクト参加者の 西郷甲矢人さんの発案です．A.N. Whitehead の本， Adventures of Ideas にかかっています．
次回以降，代数学・幾何学における圏論や数理物理学における圏論， さらに Hut 教授による講演 "How to motivate non-mathematicians to explore category theory"など，企画しております．こちらもどうかご期待くださ い．日程は 10/1, 10/22, 11/5, 11/19, 12/3, 12/17 です．
# 本プロジェクトは，(独) 科学技術振興機構 さきがけプログラムから支援 # を受けています． http://math.jst.go.jp/
*** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください ***
みなさま，
こんにちは！ 京都大学数理解析研究所の蓮尾と申します．
Adventures of Categories: Applied Category Theory Colloquium
というプロジェクトの一環として，10月から12月にかけて6回， 京大数理研で講演会を行っています．今週の金曜日の講演は 勝股審也氏 (京都大学数理解析研究所) による，計算機科学における 「表示的意味論」と，そこで使われる圏論的な「モナド」の 概念についての1時間です． 講演会の詳細については以下を，またプロジェクトの詳細については http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html をご覧ください．
みなさまのお越しを歓迎します．それでは！
"Adventures of Categories" 参加者有志： Piet Hut，Craig Pastro，荒井迅，一宮尚志，西郷甲矢人，中岡宏行， 長谷川真人，浜野正浩，春名太一，平岡裕章，蓮尾一郎
/////////////////////////////////////////////////////////////////////////////////////////// Date, Time: 14:00-15:00, Friday 5 Nov, 2010
Place: Room 111, RIMS, Kyoto University http://www.kurims.kyoto-u.ac.jp/en/access-01.html 京都大学数理解析研究所 1階 111号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html
Speaker: Shin-ya Katsumata (RIMS, Kyoto U.) http://www.kurims.kyoto-u.ac.jp/~sinya
Title: A Gentle Introduction to Denotational Semantics
Abstract:
Denotational semantics of programming language is, roughly speaking, to translate (compile) computer programs to mathematical objects. The main issue in denotational semantics is to mathematically model practical features of programming languages and various phenomena that occur during execution of programs. In this talk, I introduce Moggi's general framework for modelling side-effects, such as outputs and run-time errors, using a categorical concept called monad. If time permits, I would like to talk about a relational method to compare models of side-effects.
////////////////////////////////////////////////////////////////////////
=============== "Adventures of Categories" プロジェクトについて http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html
数学における異分野協働の実験場として，数学の中でもそのわかりに くさにおいて定評のある圏論 category theory をコアに据えて，
- 純粋数学における圏論ユーザー - 応用数学における圏論ユーザー - 興味はあるがこれまで足を踏み入れる機会のなかった圏論の to-be ユーザー (この立場から，プリンストン高等研究所の学際研究担当，Piet Hut 教授にも 参加いただきます)
の3者の交流の機会とすべく今回のプロジェクトを企画しました． 6回の講演会の中から，
- いろいろな数学の分野でどのように圏論が使われているのか？ - 各分野間の知識移転によって，どのような成果が得られるか？ - 圏論的手法が有効な他の応用分野は？ - テクニカルに素人の方に対して，圏論をどのように説明し， アピールすることができるか？
というような問に対して，何らかの答えが浮かび上がるのを期待しています． 興味のおありの方，ご来聴を歓迎いたします！
Adventures of Categories というタイトルは，本プロジェクト参加者の 西郷甲矢人さんの発案です．A.N. Whitehead の本， Adventures of Ideas にかかっています．
次回以降，代数学・幾何学における圏論や数理物理学における圏論， さらに Hut 教授による講演 "How to motivate non-mathematicians to explore category theory"など，企画しております．こちらもどうかご期待くださ い．日程は 10/1, 10/22, 11/5, 11/19, 12/3, 12/17 です．
# 本プロジェクトは，(独) 科学技術振興機構 さきがけプログラムから支援 # を受けています． http://math.jst.go.jp/
-
Ichiro Hasuo