[logic-ml] Adventures of Categories: Applied Category Theory Colloquium

[Ichiro Hasuo]

*** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください ***

みなさま，

こんにちは！ 京都大学数理解析研究所の蓮尾と申します．

 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/