CSCAT 2012 プログラム

3月12日(月)


13:30-13:45 オープニング

14:00-14:45 蓮尾一郎(東京大学・コンピュータ科学専攻)
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
(Joint Work with Naohiko Hoshino,仮題)

15:00-15:45 本田健太郎(東京大学情報理工学系研究科コンピュータ科学専攻)
エンタングルした量子トリットのグラフによる分類
近年モノイダル圏を用いて量子計算をとらえる研究が進んでいる。 しかし、特に量子計算において重要なリソースである量子エンタングルメントは、種類によって異なる性質を持つにも関わらず、その種類を捉えられていない。 そこで、可換フロベニウス代数を用いた量子ビットにおけるエンタングルメントの分類を3次元へと拡張し、量子トリットにおけるエンタングルメントの分類を行う。同時にモノイダル圏のグラフ表現を用いて、その分類をグラフによって表す。

16:00-16:45 寺山慧(京都大学人間・環境学研究科)
最短頂点間距離とトレース(櫻川貴司との共同研究)

18:00-20:00 懇親会

3月13日(火)


10:00-10:45 岡章弘(京都産業大学大学院理学研究科数学専攻)
On G-reactive systems and their coalgebras(仮題)

11:00-11:45 三好博之(京都産業大学理学部数理科学科)
On context systems(仮題)

13:00-13:45 西澤弘毅(鳥取環境大学)
Ideal Completion of Join Semilattice over T-algebra
This talk provides an explicit construction of the left adjoint to the forgetful functor from the category of quantales to the category of idempotent semirings. We show that an ideal completion gives the left adjoint to the forgetful functor from the category of complete join semilattices to the category of join semilattices. Generalizing join semilattices to join semilattices over T-algebras, the left adjoint to the forgetful functor from the category of quantales to the category of idempotent semirings is given as an example.

14:00-14:30 長健太(東京大学理学部情報科学科コンピュータ科学専攻)
Characterization of the Eilenberg-Moore Algebras of the Kraus Monad

14:30-15:00 関根大剛(東京大学理学部情報科学科コンピュータ科学専攻)
Simulink Blocks as Stream Processing: An Approach from Nonstandard Analysis

15:00-15:30 由水輝(東京大学理学部情報科学科コンピュータ科学専攻)
Toward Quantum Geometry of Synthesis(仮題)

15:45-16:30 浅田和之(国立情報学研究所)
T. B. A.

16:30-17:00 自由討論・クロージング