日時 | 平成27年3月14日(土)13:00から | ||
平成27年3月15日(日)12:30まで | |||
会場 | 鹿児島大学 郡元キャンパス理学部1号館1階101教室 | ||
〒890-8580 鹿児島市郡元1-21-24 | |||
幹事 | 神奈川大学 工学部 西澤弘毅 | ||
鹿児島大学 大学院理工学研究科 古澤仁 |
CSCAT(理論計算機科学と圏論ワークショップ)は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です。通常の学会では、時間の制約などのため研究の詳細にまで立ち入った発表と議論はなかなかむずかしいのが実情です。本研究集会は、1つ1つの発表に長い時間を割り当て、じっくりと話を聞き議論する場を提供することを目的としています。
鹿児島市内から郡元キャンパスへのアクセスについてはこちらをご覧ください。
建物の配置についてはこちらをご覧ください。
理学部周辺についてはこちらをご覧ください。
講演枠はまだあります。参加を希望される方(聴講のみを含む)は、 西澤(nishizawa AT kanagawa-u DOT ac DOT jp)にご連絡をお願いいたします。その際、以下の点について回答をお願いいたします。
すでに参加希望をお伝えいただいた方で、懇親会への出欠を お知らせいただいていない方は、お知らせください。 講演未定とお伝えいただいた方は、予定が決まり次第お知らせください。
講演予定の方で、プログラムに掲載されている講演時刻や講演時間の 変更希望がある方もご連絡ください。
(3/4 追記)3月4日現在の情報では、参加者全員が懇親会にも参加です!以後、懇親会に参加希望の方や、講演を希望される方は、 3月9日(月)夜までに 西澤(nishizawa AT kanagawa-u DOT ac DOT jp)にご連絡をお願いいたします。
(3/10 追記)懇親会の参加申し込みを締め切りました。参加者19名全員が懇親会にも参加です!
(3/16 追記) CSCAT 2015は、19名の方にご参加いただき盛況でした。ありがとうございました。来年の幹事は安部達也さんにお願いすることとなりました。
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 の表示的意味論の妥当性
懇親会(かごしま漁家 燵仁)
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
エンディング+連絡など