Kisoron-ml March 2014

kisoron-ml@fos.kuis.kyoto-u.ac.jp

5 participants
6 discussions

春の数学会
by KASHIMA Ryo 13 Jun '14

13 Jun '14

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。春の学会（2014年3月15日(土)から3月18日(火)学習院大学）の一般講演申し込みが始まりました（オンライン講演申込締め切りは12月1日）。多くの発表をしていただけると嬉しいです。開催情報は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/ ＝＝＝＝＝＝＝＝＝＝【発表をされる方へのお願い】今回から新たに、　アブストラクトの最終的な印刷用PDFファイルの確認を　講演申し込み者本人が行うということになりました。具体的には12月24日（火）から12月27日（金）の短い期間に申込者本人が確認作業をする必要があるようです。詳細は次をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/outline.html ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

2 2

Prof. Jean-Pierre Jouannaud at NII Logic Seminar
by Makoto Tatsuta 31 Mar '14

31 Mar '14

Prof. Jean-Pierre Jouannaud at NII Logic Seminar Date: April 7, 2014, 14:00--16:00 Place: National Institute of Informatics, Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Jean-Pierre Jouannaud (Tsinghua University and Ecole Polytechnique) Title: Confluence by critical pair analysis Abstract: Knuth and Bendix showed that confluence of a terminating first-order rewrite system can be reduced to the joinability of its finitely many critical pairs. In this paper, we show that this is still true of a rewrite system RT union RNT such that RT is terminating and RNT is a left-linear, rank non-increasing, possibly non-terminating, rewrite system: confluence can then be reduced to the joinability of the critical pairs of RT and to the existence of decreasing diagrams for the critical pairs of RT inside RNT, as well as for the parallel critical pairs of RNT. Since left-linearity and rank non-increasingness are easily decided in linear time, implementing our test in a system like CSI (Innsbruck) should require little effort for a wide benefit. We believe that this applies to higher-order systems as well. Further, we shall discuss an old open problem of Huet in the form of a non-terminating, non-confluent, critical pair free rewrite system, and will show that it has a "hidden critical pair" which joinability (if it were joinable) would imply its confluence. This is a joint work with Jiaxiang Liu. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

SLACS 2014 / 2014年度超準解析シンポジウム
by YOKOYAMA Keita 28 Mar '14

28 Mar '14

皆様、北陸先端大の横山です。 2014年度のSLACS及び超準解析シンポジウムを、以下の通り、一部合同で開催する予定です。どちらの集会も、例年とは時期が異なりますのでご注意ください。 *************************** SLACS 2014 / 2014年度超準解析シンポジウム日時：5月26日（月）〜5月28日（水）（但し、原則として、SLACSの講演は26,27日、超準解析シンポジウムの講演は27,28日とし、27日は一部交流形式を取る。）場所：東京工業大学大岡山キャンパス、西８号館Ｅ棟10階大会議室 ※合同懇親会を5月27日に行う予定です。 *************************** 講演の募集やホームページにつきましては、準備が整い次第ご案内致します。しばらくお待ちください。（講演募集の締め切りは5月初旬を予定しております。）よろしく、講演・参加をご検討いただきますようお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Call for Participation: 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14)
by Katsuhiko Sano 14 Mar '14

14 Mar '14

皆様、北陸先端科学技術大学院大学の佐野勝彦です。 CMCS 2014 のCall for Participationをお送り致します。どうぞ参加をご検討ください。佐野勝彦 ========================================== This is a Call for Participation and Registration for 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14) 5 - 6 April 2014, Grenoble, France http://www.coalg.org/cmcs14 The CMCS programme features - a keynote talk by Davide Sangiorgi (University of Bologna, IT) - an invited talk by Ichiro Hasuo (University of Tokyo, JP) - an invited tal by Marina Lenisa (University of Udine) In addition there will be a special session on game theory and coalgebras associated with Marina Lenisa's invited talk and featuring tutorials by - Paul-Andre Mellies, Université Paris Denis Diderot, FR - Pierre Lescanne, Ecole Normale Superieure de Lyon, FR More information about CMCS 2014, including a list of accepted papers and a full programme, can be found at http://www.coalg.org/cmcs14 Links for registration and information about hotel arrangements can be found at the ETAPS 2014 website http://www.etaps.org/ Please note that CMCS 2014 is organizing a dinner on *** Saturday 5 April ***. This is not the pre-workshop dinner organized by ETAPS. Tickets cost cost 60 EUR each and can be bought directly on the first day of the meeting.

1 0

ＭＬメンテナンスのお知らせ
by Atsushi Igarashi 11 Mar '14

11 Mar '14

kisoron-ml 購読者のみなさま，管理人の五十嵐です．本日(3/11)の昼間，kisoron-ml のメンテナンス作業を行う予定です．つきましては，投稿しても配送されない，もしくは，投稿してもエラーメイルが bounce back する時間帯が発生する可能性があります．ご不便をおかけいたしますが何卒ご了承ください．メンテナンス作業が終わりましたら改めてアナウンスいたします．どうぞよろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 1

数学会年会（学習院大学）
by KASHIMA Ryo 03 Mar '14

03 Mar '14

日本数学会数学基礎論および歴史分科会会員の皆様、この３月から分科会選出評議員は塩谷真弘さんと池田宏一郎さんになりましたが、前評議員の鹿島がお知らせいたします。２週間後に学習院大学にて春の学会が開催されますので奮ってご参加ください： http://mathsoc.jp/meeting/gakushuin14mar/ アブストラクト集のPDFファイルを事前公開します。詳細は上記の開催情報ページから到達できる「アブストラクトの事前公開について」のページをご覧ください。なおアブストラクト集冊子の販売部数は少なくしていますのでご注意ください。一般講演の他に、 15日(土)11時30分：歴史部門懇談会 16日(日)11時40分：分科会総会 16日(日)13時10分：特別講演（平田康史さん「順序数, LOTS, 単調正規空間とその積の位相的性質の比較」）がありますのでぜひご出席ください。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml March 2014