ALGI 18

最終更新日時: Last modified: 2007-09-3

来る 2007年9月3日および4日に、 鹿児島大学にて、第18回 ALGI 研究集会を開催します。

桜島

時間と場所は以下の通りです。

- 開始予定時刻：2007年9月3日（月）午後
- 13:30 (予定)
- 終了予定時刻：2007年9月4日（火）午前午後
- 15:20 (予定)
- 会場の地図：鹿児島大学理学部 1号館103

広くご講演を募集いたします。皆様お忙しい時期だとは思いますが、ご検討頂ければ幸いです。詳しい情報は追ってお知らせします。

講演される方は，高井 (t-takai@aist.go.jp) まで情報をお寄せください．題目，講演者名とe-mail address，所属，梗概，希望時間，講演に必要な道具などが記されていればありがたいですが，「講演したいと思っている」程度の不完全情報でも結構です.

時間の空きがある限り，開催直前まで講演申込を受け付けるつもりですが，事情により少しスロットが少なくなるかも知れませんので，「講演する意志がある」方はどうぞ，お早めに御一報ください．

皆様のご参加をお待ちしています．

プログラム

9月3日(月）

13:40 ～ 14:15

岡本圭史(CVS/AIST)

演題：zero-one Law について

14:15 ～ 14:25 休憩

14:25 ～ 14:55

藤尾光彦(九州工業大学)

演題：

Morphological Analysis of 1D Cellular Automata

梗概：

It was pointed out by Maragos that the behavior of any translation invariant algebraic dilation/erosion system can be expressed as the Minkovskii sum/difference of the input signal and the impulse response of the system. Since any periodic or infinite 1D cellular automata are shift invariant, we may apply Maragos' observation for them for which the transition functions are algebraic dilations/erosions. We show that a transition function is morphological (i.e. to be a dilation or an erosion) iff its local transition is.

14:55 ～ 15:30

白旗優(慶應大学)

演題：

The subobject classifier in higher-order affine logic

梗概：

We give a system of higher-order affine logic and try to construct a topos-like structure following the standard method. We sort our the construction by a number of layers and extract a "pre-structure" of the subobject classifier, which will become the standard one if the contraction is allowed.

15:30 ～ 15:50 休憩

15:50 ～ 16:25

吉田聡(CVS/AIST)

演題：

一点集合の台を持つ一般関数の表現に関する構成的考察

梗概：

一点集合の台を持つ一般関数（超関数）に対して、Bishop流構成的数学における表現定理を与える。

16:25 ～ 17:10

立木秀樹(京都大学)

演題：フラクタル立体のスウドク的色づけ

17:10～ 17:20 休憩

17:20 ～ 18:00

高村博紀(CVS/AIST)

演題：

Modal substructual logic & Residuated lattices with operators

梗概：

18:30 懇親会

9月4日(火）

10:00 ～ 10:40

長谷川真人(京都大学数理解析研究所)

演題：

On Traced Monoidal Closed Categories

梗概：

We discuss the relationship between traces and closed structure, with some applications. The structural theorem of Joyal, Street and Verity says that every traced monoidal category C arises as a monoidal full subcategory of the tortile monoidal category IntC. In this talk we focus on a simple observation that a traced monoidal category C is closed if and only if the canonical inclusion from C into IntC has a right adjoint. Thus, every traced monoidal closed category arises as a monoidal co-reflexive full subcategory of a tortile monoidal category. From this, we derive a series of facts on traced models of linear logic, and some on models of fixed-point computation. Interestingly, it can also be used for explaining some aspects of a program transformation technique recently developed by Nishimura and Katsumata.

10:40 ～ 10:50 休憩

10:50 ～ 11:35

西澤弘毅(東北大学)

演題：

パスモデルの代数的性質について

梗概：

11:35 ～ 12:00

木下佳樹(CVS/AIST)

演題：

Relation algebraic semantics of reversible loop programs

梗概：

We propose a variant of structured reversible programming constructs by Glueck, Yokoyama and Axelsen, and give it a relation algebraic semantics.

12:00 ～ 13:30 昼休憩

13:30 ～ 14:00

石田俊一（九州大学大学院システム情報科学府情報理学専攻）

演題：

Formal Concept in Dedekind category

梗概：

形式概念解析はデータマイニングで用いられる手法の一つである。形式概念に関する定義をデデキント圏における関係計算を用いて定式化し、基本定理を証明したので報告する。

14:00 ～ 14:40

河原康雄（九州大学）

演題：

関係圏におけるブール代数と Stone 写像

梗概：

関係代数の表現定理は、関係圏の抽象的な関係(射)を、特殊な関係(射) (例えば、点関係) の集合間の具体的な関係に対応させて示される。この表現定理を出来るだけ集合概念をさけて証明するためには、関係圏におけるブール代数、フィルターとStone 写像などの考察が不可欠である。この観点から、Schr"oder 圏におけるブール代数、Stone 写像などの定式化を行う。

現在の発表または参加予定者（敬称略）

- 石田俊一(九州大学)
- 河原康雄 (九州大学)
- 木下佳樹 (CVS/AIST)
- 白旗優 (慶應大学)
- 長谷川真人 (京都大学数理解析研究所)
- 藤尾光彦 (九州工業大学)
- 立木秀樹 (京都大学)
- 岡本圭史 (CVS/AIST)
- 高村博紀 (CVS/AIST)
- 吉田聡 (CVS/AIST)
- 西澤弘毅 (東北大学)
- 古澤仁 (鹿児島大学)
- 高井利憲 (CVS/AIST)

交通手段と宿泊情報

大阪から鹿児島空港までの交通手段

羽田から鹿児島空港までの交通手段

鹿児島空港から大学まで

鹿児島空港～鹿児島中央駅（連絡バス） 60分

鹿児島中央駅～工学部前（鹿児島市電2系統） 10分または鹿児島中央駅からタクシーで理学部まで

連絡先

- 代数，幾何，論理と情報科学（ALGI）： 高井利憲、古澤仁