代数, 論理, 幾何と情報科学研究集会
ALGI (Algebra, Logic and Geometry in Informatics)

Click [[[HERE]]] for an English version.

ALGI は代数学や論理学, 幾何学の情報科学への応用について, および情 報科学の代数学や論理学, 幾何学への応用についての研究集会です.

情報科学の数理科学的研究というと, まず論理学や離散数学の応用が思い うかびますが, 代数や幾何も大いに利用されています. 表示的意味論のため に位相束が研究されて領域理論が作られたのは, もはや昔話になりつつありま すが, 近年でも, 並列プログラムの解析に代数的位相幾何学の方法が用いられ る, 高階論理 (型理論) のモデル構成に圏論的普遍代数の方法が用いられるな ど, 応 用の例に事欠きません. けれども現在, 日本では論理学や離散数学の 情報科 学への応用についての研究集会はいくつか伝統的なものができていて 活発な議 論がおこなわれているものの, 代数学や幾何学の情報科学への応用 について議 論する場所はそれに比べると必ずしも豊富にあるとはいえないよ うです. ALGI は, この不足を補うべく, 特に代数や幾何の応用の話をする機 会を提供 するために企画されました.

● 予定

第二十八回 は2017年の夏か秋頃に鹿児島にて開催する予定です. 詳細は決まり次第連絡します.

● 過去の ALGI

第一回ALGI 研究集会 (1995.10.13-14) は 終了しました. 懇親会は筑波山麓の鴨亭にくりだしました.(幹事: 木下佳樹) 暫定プログラムはここにあります.

第二回 ALGI 研究集会 (January 11-12, 1996) も終了しました. 美山クラブ (日立基礎研のゲストハウス) の料理が 旨かったわァ. (幹事: Fer-Jan de Vries) (preliminary announcement, registration form, reservation form).

第三回ALGI 研究集会は1996年4月はじめに, linear logic conference の post conference workshop の一つとして開催されました. (幹事: 赤間陽二)

第四回は1997年1月に九州大学で開催されました.(幹事: 佐藤周行) 赤ちょうちんでの 懇親会が楽しかった!

第五回 は1998年1月に千葉大学けやき会館にて開催されました. (幹事: 桜井貴文) 懇親会は豆富 屋さんでおいしい豆腐づくしを食べました.

1998/6/29-7/4 の日程で,圏論サマースクー ル をやりました.(幹事 白旗優, 木下佳樹,中戸川孝治氏はじめ北大の 方々にも御協力いただき,大変お世話になりました)長い時間をとって丁寧な チュートリアルがいくつか行われました.参加者名簿が ここにあります.

第六回 は1998年8月5日午後と6日午前に大阪大学 コンベンションホールで JAMS (日本数理 科学協会)年会の分科会 として開催されました.懇親会は梅田に出掛けて 鱧づくしを奮発しました. やっぱり夏は鱧や!(幹事: 木下佳樹).

第七回 も大阪大学コンベンションホールでJAMS (日本数理科学協会)年会の分科会 として開催しました.

いつも大阪ばかりではつまらないんですが 第八回は1999年12月13,14両日に作並温泉にて開催されました. (幹事: 竹内泉).

第九回は2000年8月29, 30両日 大阪府立大学JAMS (日本数理科学協 会)年会の分科会 として開催されました.(幹事: 古澤仁,木下佳樹). (CFP, プログラム)

第十回JAMS (日本数理科学協会) 年会の分科会として開催されました.(幹事: 古澤仁).

第十一回は2001年12月3日(月)から5日(水)まで城崎 に おいて開催されました.長谷川真人さんが幹事をしてくださいました.

第十二回 大阪大学コンベンションセンターJAMS (日本数理科学協会)年会の分科会 として開催されました.(幹事:古澤) 八杉満利子先生 が幹事をされている分科会「論理数学」 と合同での開催でした。

第十三回 は2002年12月16日(月)から20日(金)まで 京都大学数理解 析研究所短期共同研究として開催されました. (幹事: 木下佳樹,竹内泉,長谷川真人,古澤仁) (プログラム, 予稿集のページ)

第十四回は,2003年9月4日(木)と 9月5日 (金)まで大阪府立大学の学術 交流会館というところで,JAMS (日本数 理科学協会) 年会の分科会として, 八杉満利子 先生が幹事をされている分科会「論理数学」と合同での開催しました. (幹事: 高井利憲,古澤仁) (CFP, プログラム)

第十五回は,2004年9月15日と 9月16日 に神戸大学の神大会館 というところで,JAMS (日本数 理科学協会) 年会の分科会として, 第15回ALGI+論理数学合同研究集会を開催しました。 (幹事: 高井利憲,古澤仁,山崎武)

第十六回は,2005年10月31日(月)と 11月1日(火) 九州大学西新プラザ というところで, JAMS (日本数 理科学協会) の研究部会として, 21世紀COEプログラム「機能数理学の構築と展開」(九州大学大学 院数理学研究院)と共催で開催しました。溝口先生,河原先生にはお世話になりありがとうございました。(幹事:高井利憲(algi),古澤仁(algi),山崎武(論理数学))

第十七回ALGIは奈良女子大学で, 2006年10月12日および13日に国際数理科学協会 の研究部会として開催しました.奈良女子大学の鴨先生には 会場の手配をしていただき感謝いたします. (幹事: 高井利憲,古澤仁)

第十八回 ALGIは2007年9月3日,4日に 鹿児島大学理学部にて,国際数理科学協会 の研究部会として開催しました. (幹事: 高井利憲,古澤仁)

第十九回 ALGI鹿児島大学理学部にて,国際数理科学協会 の研究部会として,2008年8月27日(水)から29日(金)まで 記号論理学と情報科学(SLACS)と合同で開催しました. (幹事: 高井利憲古澤仁)

第二十回鳥取環境大学にて,国際数理科学協会 の研究部会として, 2009年9月14日(月),15日(火)に開催しました. (幹事: 西澤弘毅,古澤仁)

第二十一回 は9月6日・7日に立命館大学びわこ・くさつ キャンパス(エポック立命21・3F・会議室K310)にて,国際数理科学協会 の研究部会として開催しまし た.立命館大学の福本善洋さんには会場の手配などをしていただき感謝いたします. (幹事: 西澤弘毅,古澤仁)

第二十二回 は2011年8月23日〜24日に 東京大学柏キャンパス(千葉県柏市)第2総合研究棟 3階315会議室にて,国際数理科学協会 の研究部会として開催しまし た. 会場の手配などは東京大学の松野裕さんと大島聡史さんにお世話になりました.ありが とうございました. (幹事: 西澤弘毅,古澤仁)

第二十三回は2012年9月6日(木)午後〜7日(金) に 九州工業大学情報工学部 総合研究棟7階 大学院セミナー室 N712 にて,国際数理科学協会 の研究部会として 開催しました. 会場の手配などは九州工業大学の藤尾光彦先生にお世話になりました. ありがとうございまいした. (幹事: 西澤弘毅,古澤仁)

第二十四回は2013年9月24日(火)午前〜26日(木)午後の日程で 第30回 記号論理と情報科学研究集会 (幹事:蓮尾一郎さん(東京大学))と合同でRIMS研究集会および国際数理科学協会の研究部会として開催しました.京都大学の星野直彦さんが幹事をして下さいました.

第二十五回は2014年8月19日(火)〜20日(水)に神奈川大学横浜キャンパスにて国際数理科学協会の研究部会として開催しました.(幹事: 西澤弘毅,古澤仁)

第二十六回 は2015年8月31日(月)〜9月1日(火)に公立鳥取環境大学にて国際数理科学協会の研究部会として 開催しました. 会場の手配などは公立鳥取環境大学の吉田聡さんにお願いしました. ありがとうございました. (幹事: 西澤弘毅,古澤仁)

第二十七回 2016年8月27日(土)午後〜8月28日(日)に 信州大学 松本キャンパス 人文学部・経法学部 新棟1階 第1講義室 にて国際数理科学協会の研究部会として開催しました. 8月28日(日)には代数トポロジーに関する1時間程度の特別講演を信州大学理学部の玉木大先生にして頂きました. 会場の手配などは信州大学の田中康平さんにお願いしました. ありがとうございました. (幹事: 西澤弘毅,古澤仁)

● メイリングリストへのお誘い

ALGI 研究集会の連絡用メイリングリストに関する情報および登録についてはココをクリックして下さい.

メールアドレスの変更手続きや退会の手続きもお忘れく. エラー(バウンス)メールが返送される状態が半年以上続く場合は当該メールアドレスをリストより削除します. 悪しからずご了承下さい.