理論計算機科学と圏論ワークショップ
Workshop on Computer Science and Category Theory
CSCAT 2015

日時 平成27年3月14日(土)13:00から
平成27年3月15日(日)12:30まで
会場 鹿児島大学 郡元キャンパス理学部1号館1階101教室
〒890-8580 鹿児島市郡元1-21-24
幹事 神奈川大学 工学部 西澤弘毅
鹿児島大学 大学院理工学研究科 古澤仁

CSCATとは

CSCAT(理論計算機科学と圏論ワークショップ)は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です。通常の学会では、時間の制約などのため研究の詳細にまで立ち入った発表と議論はなかなかむずかしいのが実情です。本研究集会は、1つ1つの発表に長い時間を割り当て、じっくりと話を聞き議論する場を提供することを目的としています。

アクセス情報

鹿児島市内から郡元キャンパスへのアクセスについてはこちらをご覧ください。
建物の配置についてはこちらをご覧ください。
理学部周辺についてはこちらをご覧ください。

参加申し込み方法

講演枠はまだあります。参加を希望される方(聴講のみを含む)は、 西澤(nishizawa AT kanagawa-u DOT ac DOT jp)にご連絡をお願いいたします。その際、以下の点について回答をお願いいたします。

  1. 氏名
  2. 所属
  3. 講演するかどうか(「未定」という回答も可)
  4. 懇親会に参加するかどうか(14日夕方。大学周辺(変更の可能性アリ))
  5. その他の要望

すでに参加希望をお伝えいただいた方で、懇親会への出欠を お知らせいただいていない方は、お知らせください。 講演未定とお伝えいただいた方は、予定が決まり次第お知らせください。

講演予定の方で、プログラムに掲載されている講演時刻や講演時間の 変更希望がある方もご連絡ください。

(3/4 追記)3月4日現在の情報では、参加者全員が懇親会にも参加です!以後、懇親会に参加希望の方や、講演を希望される方は、 3月9日(月)夜までに 西澤(nishizawa AT kanagawa-u DOT ac DOT jp)にご連絡をお願いいたします。

(3/10 追記)懇親会の参加申し込みを締め切りました。参加者19名全員が懇親会にも参加です!

(3/16 追記) CSCAT 2015は、19名の方にご参加いただき盛況でした。ありがとうございました。来年の幹事は安部達也さんにお願いすることとなりました。

プログラム

3月14日(土)

13:00 〜 13:15

オープニング+連絡など

13:15 〜 13:45

浦本 武雄(京都大学 数学教室)
演題:On the decidability of Well-Structured Regular Program

13:45 〜 14:15

卜部 夏木(東京大学大学院 情報理工学系研究科)
演題:Kleisli Simulation for Infinite Trace

14:15 〜 14:45

清水 駿介(東京大学 理学部情報科学科)
演題:Coalgebraic LTL model checking

14:45 〜 15:00 休憩

15:00 〜 15:30

安部 達也(理化学研究所)
演題:メモリ一貫性モデルのための合成的な並行プログラム論理

15:30 〜 16:00

室屋 晃子(東京大学大学院 情報理工学系研究科)
演題:Memoryful GoI with recursion

16:00 〜 16:30

日野 亘(東京大学 理学部数学科)
演題:Quotient monads and their algebras

16:30 〜 16:45 休憩

16:45 〜 17:15

小川 浩志(東京大学大学院 情報理工学系研究科
演題:Quotient and Kantorovich Metric via Observational-Algebra in Lawvere theory

17:15 〜 17:45

田中 諒(東京大学 理学部)
演題:Productive Coprogramming の表示的意味論の妥当性

18:30 〜

懇親会(かごしま漁家 燵仁)


3月15日(日)

10:00 〜 10:30

勝股 審也(京都大学 数理解析研究所)
演題:ファイブレーションと余稠密モナドによるモナドの持ち上げ

10:30 〜 11:00

木下 佳樹(神奈川大学 理学部)
演題:命令型プログラムの具体的なモデルについて

11:00 〜 11:15 休憩

11:15 〜 11:45

柳澤 名由太(京都大学大学院 理学研究科)
演題:On Tractability of Distributed Task Solvability Problems

11:45 〜 12:15

三好 博之(京都産業大学 理学部)
演題:ディレクトリ構造を扱うパッチ理論の圏論的モデル

12:15 〜 12:30

エンディング+連絡など

過去のCSCAT

CSCAT 2014 (神奈川大学) CSCAT 2013 (鳥取環境大学) CSCAT 2012 (慶應大学) CSCAT 2010 (京都) CSCAT 2009 (千葉大学) CSCAT 2008 (東北大学)
CSCAT 2007 (京都大学) CSCAT 2006 (広島大学) CSCAT 2005 (筑波大学) CSCAT 2004 (産総研)
CSCAT 2003 (慶應義塾大学)
2015/3/16