cfp3

ALGI メーリングリストの皆様、産総研の高井です。今年度の ALGI+論理数学研究集会のご案内(3回目)をお送りします。今回は、現時点でわかっている講演予定者も掲載します。まだまだプログラムには余裕があります。講演を希望されるかたは、高井 (t-takai@aist.go.jp) または山崎さん(yamazaki@mi.s.osakafu-u.ac.jp) まで情報をお寄せください。開催場所は箱崎、筑紫、六本松など主要な九大のキャンパスとは別の場所にある「九州大学西新プラザ」という施設です。西新プラザへは、福岡空港または博多駅から地下鉄にて西新駅まで行き、西新駅からは徒歩１０分程度です。（全行程３０分程度） http://www.kyushu-u.ac.jp/somu-bu/kenkyukyoryoku-ka/nishijin/info.map.htm 西新プラザ周辺にはシーホークホテルや、ハイアットなど、高級感の高いホテルならあります。ビジネスホテルなどは、博多駅周辺や博多駅と西新の中間にある天神に多く存在します。地下鉄の駅周辺であれば、博多駅や天神のビジネスホテルに宿泊すると会場へのアクセスは結構便利です。 [ 代数, 論理, 幾何と情報科学研究集会及び論理数学研究集会] 代数, 論理, 幾何と情報科学研究集会及び論理数学研究集会を合同で日本数理科学協会と21世紀COEプログラム「機能数理学の構築と展開」（九州大学大学院数理学研究院）の共催により開催いたします．代数学や論理学, 幾何学の情報科学への応用について, および情報科学の代数学や論理学, 幾何学への応用についての研究集会です. 日時：2005年10月31日（月）, 11月1日（火）場所：九州大学西新プラザ　　　http://www.kyushu-u.ac.jp/somu-bu/kenkyukyoryoku-ka/nishijin/mainpage.htm 地図：http://www.kyushu-u.ac.jp/somu-bu/kenkyukyoryoku-ka/nishijin/info.map.htm 連絡先：代数，幾何，論理と情報科学（ALGI）代表・高井利憲, 古澤仁論理数学代表・山崎武発表予定（敬称略）： +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ・講演者西澤弘毅（産業技術総合研究所、東京大学）演題 TBA 梗概 TBA ・講演者長谷川真人（京都大学数理解析研究所）演題 Towards Geometry of Nondeterministic Interaction （仮）梗概 TBA ・講演者田中義人（九州産業大学）演題 The axiom of constant domains and its variants in logics, algebras and categories 梗概 The axiom of constant domains is a formula of predicate (modal) logic which axiomatize the superintuitionistic (or predicate modal) logic characterized by the class of Kripke frames with constant domains. In this talk, we discuss that variants of the axiom of constant domains arise in many areas, such as logics, algebras and categories, and are necessary for many important properties to hold. ・講演者 Eckhard M.S. Hitzer（University of Fukui）演題 The GeometricAlgebra Java Package -- Novel Structure Implementation of 5D Geometric Algebra R4,1 for Object Oriented Euclidean Geometry, Space-Time Physics and Object Oriented Computer Algebra 梗概 TBA ・講演者鴨浩靖（奈良女子大学理学部）演題 Urysohnの万有距離空間の計算可能性梗概 Urysohnの万有距離空間に適当な構造を入れて計算可能距離空間にすることができる。その計算可能距離空間に任意の計算可能距離空間を等長かつ計算可能に埋め込むことができる。 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 過去の研究集会などについては以下のURLをご覧下さい． http://sakura.math.kyushu-u.ac.jp/algi/ 発表希望などありましたら, 高井 (t-takai@aist.go.jp) または山崎さん (yamazaki@mi.s.osakafu-u.ac.jp) まで情報をお寄せください. 題目, 講演者名とe-mail address, 所属, 梗概, 希望時間, 講演に必要な道具などが記されていればありがたいです. 締め切りは特に設けません. 皆さまのご参加をお待ちしております． -- 高井利憲〒560-0083大阪府豊中市新千里西町1-2-14三井住友海上千里ビル5F 産業技術総合研究所システム検証研究センター tel 06-4863-5029 fax 06-4863-5052