Click [[[HERE]]] for an English version.
ALGI は代数学や論理学, 幾何学の情報科学への応用について, および情 報科学の代数学や論理学, 幾何学への応用についての研究集会です.
情報科学の数理科学的研究というと, まず論理学や離散数学の応用が思い うかびますが, 代数や幾何も大いに利用されています. 表示的意味論のため に位相束が研究されて領域理論が作られたのは, もはや昔話になりつつありま すが, 近年でも, 並列プログラムの解析に代数的位相幾何学の方法が用いられ る, 高階論理 (型理論) のモデル構成に圏論的普遍代数の方法が用いられるな ど, 応 用の例に事欠きません. けれども現在, 日本では論理学や離散数学の 情報科 学への応用についての研究集会はいくつか伝統的なものができていて 活発な議 論がおこなわれているものの, 代数学や幾何学の情報科学への応用 について議 論する場所はそれに比べると必ずしも豊富にあるとはいえないよ うです. ALGI は, この不足を補うべく, 特に代数や幾何の応用の話をする機 会を提供 するために企画されました.
第二十一回 は9月6日・7日に立命館大学びわこ・くさつ
キャンパス（エポック立命２１・3F・会議室K310）で開催の予定です．
会場の手配などは福本善洋さんにお願いしています．
第一回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）と合同で開催しました． (幹事： 高井利憲， 古澤仁)
第二十回は鳥取環境大学にて，国際数理科学協会 の研究部会として， 2008年9月14日（月），15日（火）に開催しました． (幹事： 西澤弘毅，古澤仁)
subscribe あなたのメイルアドレス
という行だけを入れる. (言うまでもなく, 上記の「あなたのメイルアド レス」 には, あなたの本当のメイルアドレスを代入してください.)