- Kisoron-ml - fos.kuis.kyoto-u.ac.jp

日本数学会2019年度秋季総合分科会の講演申し込みが開始されました
by Teruyuki YORIOKA 18 Jun '19

18 Jun '19

みなさま静岡大学の依岡です．日本数学会2019年度秋季総合分科会の講演申し込みが開始されました．多くのみなさまに講演をしていただきたいと思います．講演をご希望の方はなるべく早くに申し込みをしてください．講演締め切りは6月21日（金）までです． http://mathsoc.jp/meeting/kanazawa19sept/ なお，金沢駅周辺の宿泊事情により，参加ご予定の方はなるべく早めに宿泊予約をしていただくことが会場校より推奨されています．講演申し込みに併せて，早めの宿泊施設の予約もお願いします．

1 1

2019年度数学基礎論サマースクールのご案内
by Teruyuki YORIOKA 03 Jun '19

03 Jun '19

みなさま静岡大学の依岡です． 2019年度数学基礎論サマースクールのウェブサイトを公開しました． https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/ サマースクールに参加ご希望の方は以下の情報を8月2日(金)までに email で，件名を「SS2019」として依岡（ yorioka(a)shizuoka.ac.jp ）までお送りください．氏名：所属：身分： email アドレス：懇親会：参加・不参加みなさまぜひ9月の第1週目は静岡にお越しください．みなさまのご参加をお待ちしております．

1 0

LCC 2019（7月8日・パトラ）発表募集
by Akitoshi Kawamura 10 Mar '19

10 Mar '19

メーリングリストの皆様九大の河村と申します。7月に国際会議ICALPの併設集会としてギリシアのパトラで行われる「論理学と計算量」研究集会LCC 2019の御案内をお送りいたします。投稿は3～4ページで、締切は5月1日です。 =========================================================== First Call for Contributions LCC 2019 20th International Workshop on Logic and Computational Complexity July 8, 2019, Patras, Greece Collocated with ICALP 2019 http://www.cs.swansea.ac.uk/lcc/ =========================================================== LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The program will consist of invited lectures as well as contributed talks selected by the Program Committee. IMPORTANT DATES: * submission May 1, 2019 * notification May 20, 2019 * workshop July 8, 2019 SUBMISSION: Submissions must be in English and in the form of an abstract of about 3-4 pages. All submissions should be submitted through Easychair at: https://easychair.org/conferences/?conf=lcc19 We also welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback. PROGRAM COMMITTEE: Lauri Hella, Co-chair, Tampere University, Finland Monika Seisenberger, Co-chair, Swansea University, UK Sam Buss, University of California, San Diego, US Anupam Das, University of Copenhagen, Denmark Anuj, Dawar, University of Cambridge, UK Akitoshi Kawamura, Kyushu University, Fukuoka, Japan Arne, Meier, University of Hannover, Germany Lidia Tendera, University of Opole, Poland CONTACT: To contact the workshop organizers, please send an e-mail to lcc19(a)easychair.org -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 0

嘱託職員の募集
by 泉英明 06 Mar '19

06 Mar '19

数学基礎論メーリングリストの皆様千葉工業大学では下記の嘱託職員の公募を行っております。関係各位にご周知いただくとともに，適任者をご存知の場合は応募をお薦め下さいますようお願い申し上げます。千葉工業大学泉英明 --------------------------------------------- 千葉工業大学学生サポートセンター学習指導員(数学) 募集千葉工業大学教育センター数学教室山田宏文 1. 公募人員: 嘱託職員(教育系) １名 2. 応募資格: 修士以上の学位を有し，工業系大学の数学基礎教育に熱意のある方。 3. 業務内容: 高校数学および大学初年時の基礎的な数学に関する補習教育(学生の質問への対応，工学系学部 1・2 年生を対象とした補習授業を週に数回担当，数学補習授業等の教材の開発，補習教育に関わるデータ分析など) 4. 勤務日及び時間: 勤務日は月曜日から金曜日までの週 5 日。修業時間は午前 10時00から午後6時00分(うち休憩時間60分) 。休暇は, 初年度年次有給休暇 10 日付与，以後法令の定める範囲で付与。その他の休暇に関しては専任職員に準ずる。 5. 賃金: (1) 基本給: 月給 200,000 円 (2) 諸手当:通勤手当 6ヶ月定期代を年2回 (3) 賃金支給日: 毎月 20 日 (4) 昇格無 (5) 賞与有(1年に合計2ヶ月分を4回に分けて支給，ただし初年度6月賞与は3分の 2を支給) (6) 退職金無 6. 任期: 最長5 年(毎年更新の単年度契約) 、着任時期:2019年4月1日 7. 勤務地: 千葉工業大学新習志野キャンパス(千葉県習志野市芝園2-1-1) 8. 応募方法: メールに履歴書ファイルを添付し, 下記にご応募ください。 yamada.hirofumi(a)p.chibakoudai.jp 履歴書には、「高校卒業時からの学歴、取得学位、職歴、論文等の業績一覧、応募者の電子メールアドレス」、を記載のこと。 9. 締め切り: 2019年3月13日ただし、適任者が決まり次第、本公募は締め切りを待たず終了とする場合があります。 10. その他: 問い合わせは、山田宏文（千葉工業大学教育センター数学教室 yamada.hirofumi(a)p.chibakoudai.xn--jp)-u63b3a3fo4hi4bzog59j9dyk6332m. なお、勤務条件等（特に、上記4, 5, 6）に関する問い合わせは、下記まで：千葉工業大学新習志野教務課次長柿山正美（電話 047-454-9932）

1 0

組合せ論・モデル理論セミナー第四回開催のご案内
by Shunsuke Okabe 26 Feb '19

26 Feb '19

メーリングリストの皆さまお世話になっております。神戸大学の岡部と申します。組合せ論・モデル理論セミナー第四回( https://sites.google.com/site/kcmseminar/4thseminar )を以下の要領で開催させていただきます。日時：2019年3月8日(金) 15:20-18:30 講演者・プログラム： 15:20-16:50 谷口哲也氏 (金沢工業大学) 　　「円分体の相対類数の行列式公式の値の大きさの特異性について」 17:00-18:30 野口健太氏 (東京理科大学) 　　「グラフの埋め込みに関する話題と最近の研究」開催場所：神戸大学六甲台第二キャンパス自然科学総合研究棟三号館421号室以上となります。講演終了後には、三ノ宮駅周辺で懇親会も予定しております。参加をご希望される方は岡部( 137x606x(a)stu.kobe-u.ac.jp )までご連絡ください。どうぞよろしくお願いいたします。〒657-8501 兵庫県神戸市灘区六甲台1-1 神戸大学大学院システム情報学研究科博士後期課程 3年岡部峻典 TEL: 090-3970-3756 E-mail: 137x606x(a)stu.kobe-u.ac.jp

1 0

「圏論シンポジウム」開催のお知らせ; Symposium on the Categorical Unity of the Sciences
by Yoshihiro Maruyama 25 Feb '19

25 Feb '19

皆様、 Oxford大学のSamson Abramsky教授来日に際し、下記の通り圏論シンポジウムを開催いたします。登録不要ですので、お気軽にお立ち寄り下さい。 ------------------------------------------------------------------------------ 圏論シンポジウム Symposium on the Categorical Unity of the Sciences 3月22-23日、益川ホール、北部キャンパス、京都大学 22-23 March at Maskawa Hall, Kyoto University, Japan https://sites.google.com/view/categorical-unified-science/ 講演者 Speakers - Samson Abramsky (University of Oxford) - 久木田水生 (名古屋大学) - 谷村省吾 (名古屋大学) - 蓮尾一郎 (国立情報学研究所) - 春名太一 (東京女子大学) - 丸山善宏 (京都大学) - 三好博之 (京都産業大学) 事前登録/参加費不要。 No registration required. 問い合わせ先 Contact 丸山善宏（京都大学） maruyama(a)i.h.kyoto-u.ac.jp 旅費援助を希望される方は、上記までお早めにご連絡下さい。 (可能な数に限りはございます.) Limited travel funding is available; contact the organizer asap. ------------------------------------------------------------------------------ なおスケジュール詳細はウェブページの方にあります。どうぞよろしくお願い致します。丸山善宏（京都大学白眉センター）

1 0

CTFMのご案内
by 小俣安彦 22 Feb '19

22 Feb '19

皆様 CTFM主催者である彭寧寧氏(武漢理工大学)に代わり，下記のご案内をさせていただきます． Computability Theory and Foundations of Mathematics (CTFM) 昨年の明治大学での開催につづき，本年は標記国際会議が下記の日程で開催されます．日程：2019年 3月 21 日 (木) Registaration 　　　22日〜 25日 Lectures and Talks 　　　26-27日 Discussions and Excursions 場所：中国　武漢理工大学参加申し込みなどさらに詳しい情報は，次のウェブサイトをご覧ください． http://www.ctfm2019.com/index.html 講演申し込みはすでに締め切っておりますが，追加講演が認められる場合もございますので，何かご要望等がございましたら ctfm2019(a)gmail.com　までご相談ください．よろしくお願いします．田中一之（東北大学）小俣安彦（東北大学）

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 25 Jan '19

25 Jan '19

皆様 LMUミュンヘンのHelmut Schwichtenberg先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks and EU Horizon 2020 Marie Skłodowska-Curie actions RISE project CID (http://www.jaist.ac.jp/logic/ja/core2core, http://cid.uni-trier.de/). Date: Wednesday 6 March, 2019, 15:20-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Helmut Schwichtenberg (Mathematisches Institut, LMU Muenchen) Title: Equality and extensionality Abstract: We sketch a theory of computable functionals (TCF) based on finitary algebras given by their constructors. Its intended semantics admits non-total functionals. For closed algebras of level zero we allow infinite stream-like objects. For higher types we define (pointwise) equality as a logical relation, and extensionality by diagonalization of equality. We define realizability and -- in the spirit of Kolmogorov (1932) -- add an invariance axiom: every computationally relevant (c.r.) formula A is equivalent to the existence of an extensional realizer of A. Then we can prove (ordinary and dependent) choice, and also a soundness theorem stating that the computational content extracted from a proof of a c.r. formula A realizes A.

1 0

組合せ論・モデル理論セミナー第三回開催のご案内
by Shunsuke Okabe 09 Jan '19

09 Jan '19

メーリングリストの皆さま夜分に失礼いたします。神戸大学の岡部と申します。組合せ論・モデル理論セミナー第三回( https://sites.google.com/site/kcmseminar/ )の開催をご案内させていただきます。以下に開催の要領を記載いたします。日時：2019年1月16日(水) 16:30-18:00 場所：神戸大学六甲台第二キャンパス自然科学総合研究棟三号館421号室講演者：廣祥吾氏(慶應義塾大学) 講演タイトル：Pigeonhole Property for Colored Graphs 以上となります。開催間際の連絡となってしまい恐縮ですが、ぜひご参加ください。また、講演終了後に三宮駅周辺で懇親会の開催も予定しております。参加をご希望の方は、1月14日(月)の午前中までに岡部( 137x606x(a)stu.kobe-u.ac.jp )までご連絡ください。どうぞよろしくお願いいたします。〒657-8501 兵庫県神戸市灘区六甲台1-1 神戸大学大学院システム情報学研究科博士後期課程 3年岡部峻典 TEL: 090-3970-3756 E-mail: 137x606x(a)stu.kobe-u.ac.jp

1 0

CCA 2019（7月8～11日・ザグレブ）論文募集
by Akitoshi Kawamura 29 Dec '18

29 Dec '18

メーリングリストの皆様九大の河村と申します。来年7月にクロアチアのザグレブで行われる「解析学と計算理論」の国際会議CCA 2019の御案内をお送りいたします。 ______________________________________________________________ First Call for Papers Sixteenth International Conference on Computability and Complexity in Analysis (CCA 2019) http://cca-net.de/cca2019/ July 8-11, 2019, Zagreb, Croatia Submission deadline: March 13, 2019 ______________________________________________________________ The conference CCA 2019 is followed by the conference Computability in Europe (CiE 2019) that takes place in Durham, UK, from July 15-19, 2019. Topics - Computable analysis - Complexity on real numbers - Constructive analysis - Domain theory and analysis - Effective descriptive set theory - Theory of representations - Computable numbers, subsets and functions - Randomness and computable measure theory - Models of computability on real numbers - Realizability theory and analysis - Reverse analysis - Weihrauch complexity - Real number algorithms - Implementation of exact real number arithmetic Invited Speakers - Douglas Cenzer (Gainesville, USA) - Hannes Diener (Christchurch, New Zealand) - Jacques Duparc (Lausanne, Switzerland) - Hugo Férée (Kent, UK) - Guido Gherardi (Bologna, Italy) - Bruce Kapron (Victoria, Canada) - Joël Ouaknine (Saarbrücken, Germany) - Svetlana Selivanova (Novosibirsk, Russia) Scientific Programme Committee - Verónica Becher (Buenos Aires, Argentina) - Vasco Brattka, chair (Munich, Germany) - Akitoshi Kawamura, co-chair (Fukuoka, Japan) - Neil Lutz (Pennsylvania, USA) - Alberto Marcone (Udine, Italy) - André Nies (Auckland, New Zealand) - Peter Schuster (Verona, Italy) - Dieter Spreen (Siegen, Germany) - Florian Steinberg (Saclay, France) - Sebastiaan Terwijn (Nijmegen, The Netherlands) Organising Committee - Konrad Burnik (Amsterdam, The Netherlands) - Marko Horvat (Zagreb, Croatia) - Zvonko Iljazović, chair (Zagreb, Croatia) - Matea Kalinić (Split, Croatia) - Bojan Pažek (Zagreb, Croatia) Submissions Authors are invited to submit 1-2 pages abstracts in PDF format, including references via the following web page: https://easychair.org/conferences/?conf=cca2019 If full versions of papers are already available as technical report or arXiv version, then corresponding links should be added to the reference list. Final versions of abstracts might be distributed to participants in hard copy and/or in electronic form. Dates - Submission deadline: March 13, 2019 - Notification of authors: April 15, 2019 - Final version: May 6, 2019 - Registration deadline: May 20, 2019 -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 http://www.fc.inf.kyushu-u.ac.jp/~kawamura/ kawamura(a)inf.kyushu-u.ac.jp

1 0

数学通信
by Satoru Kuroda 20 Dec '18

20 Dec '18

皆様，連絡責任評議員の黒田です．会報１７２号（「数学通信」23巻4号）紙上で全会員にお知らせする事項がございましたら，1月16日（水）までに黒田までおしらせください． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

証明論研究集会のご案内（締切を延長いたしました）
by Yoshihito Tanaka 07 Dec '18

07 Dec '18

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください） 2018年度の証明論研究集会のご案内をお送りいたします．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています．日程：2018年12月22日（土）-12月24日（月）場所：九州産業大学12号館12101教室懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html 講演を希望される方および懇親会参加希望の方は，12月10日（月）17:00までに， ytanaka(a)ip.kyusan-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．お名前所属 e-mailアドレス講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望懇親会参加希望の有無 ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

Kobe Colloquium on Logic, Statistics, and Informatics
by Hirotaka Kikyo 29 Nov '18

29 Nov '18

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2018年12月13日（木）15:10~16:40 講演者：Philipp Rothmaler （ニューヨーク市立大学、ニューヨーク州）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目：Ｉnfinitary implications in module categories アブストラクト：I will present some axiomatizations of algebraic properties of modules that turned out useful in purely algebraic considerations---some almost classical, some more recent---and explain how and why. This talk will be complementary to the talk at RIMS with minimum overlap. ======================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

証明論研究集会2018のご案内（Reminder）
by Yoshihito Tanaka 28 Nov '18

28 Nov '18

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください） 2018年度の証明論研究集会のご案内をお送りいたします．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています．日程：2018年12月22日（土）-12月24日（月）場所：九州産業大学12号館12101教室懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html 講演を希望される方および懇親会参加希望の方は，12月8日（土）までに， ytanaka(a)ip.kyusan-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．お名前所属 e-mailアドレス講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望懇親会参加希望の有無 ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

公募 (水産大学校)
by AOKI Kunimasa 19 Nov '18

19 Nov '18

kisoron-ml の皆様水産大学校水産流通経営学科では下記にある教育職員を公募しております。 http://www.fish-u.ac.jp/nyusatu/s_2018.html お近くに興味のある方がいらっしゃいましたらお知らせいただけると幸いです。よろしくお願いします。 -- AOKI Kunimasa

1 0

2019年度年会一般講演
by Satoru Kuroda 16 Nov '18

16 Nov '18

皆さま，評議員の黒田です．日本数学会年会の一般講演の申し込みは11/23(金)までとなっております．積極的な講演の申し込みをお願いいたします． — Satoru Kuroda -- Satoru Kuroda Gunma Prefectural Women's University

1 0

証明論研究集会2018のご案内
by Yoshihito Tanaka 08 Nov '18

08 Nov '18

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください） 2018年度の証明論研究集会のご案内をお送りいたします．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています．日程：2018年12月22日（土）-12月24日（月）場所：九州産業大学12号館12101教室懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html 講演を希望される方および懇親会参加希望の方は，12月8日（土）までに， ytanaka(a)ip.kyusan-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．お名前所属 e-mailアドレス講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望懇親会参加希望の有無 ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

第53回MLG数理論理学研究集会
by Suzuki, Nobu-Yuki 05 Nov '18

05 Nov '18

皆様静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。再度、ご案内させていただきます。重複してお受け取りの方々には、ご寛恕を願っておきます。下記の〆切はすぎましたが、まだ懇親会には余裕があります。懇親会への参加を希望される場合は事前に必ずお申し込みください。 11月16日までにお願いします。申し込み無しでもご参加いただけますが、事前にお申込みいただけますとたすかります。講演スロットにも、わずかですが空きがあります。ご検討中の方はお早めにお申し込みください。ぜひ、ご参加をご検討ください。 --------------------------------- 皆さま静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。第53回MLG 数理論理学研究集会の情報です。第53回MLG 数理論理学研究集会期間・場所・期間: 2018年 11月 30日 (金)午後〜 12月 2日 (日)午前・場所: 静岡大学　静岡キャンパス　理学部C309 　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) ウェブ上の情報： https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ 今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 参加申し込みについて参加の申し込みは以下のURLから必要事項を記入の上、11月2日(金)までにお送りください。 https://docs.google.com/forms/d/e/1FAIpQLScBi6voKtT7J6q3xqm1rpaoztSe2GvRF8a… もしくは以下のフォームにご記入の上、メールでお送りください。送り先: mlg53rd.shizuoka(a)gmail.com 件名: MLG53申込 ---------------------------------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(11月30日予定)に参加する・しない (学生の方で懇親会に参加される場合は「参加する(学生)」とご記入ください。懇親会費の割引をする予定です。) ７．備考 (講演の希望日などがありましたらこちらにご記入ください) ---------------------------------------------- ※申し込み無しでもご参加いただけますが、懇親会への参加を希望される場合は必ずお申し込みください。 ※タイトルが未定の場合は、可能であれば開催一週間前までにお知らせください。 ※配布資料等で印刷が必要な場合は、11月22日までにお送り頂ければこちらで印刷いたします(白黒になります)。

1 0

SLS2018(仙台)のご案内
by 小俣安彦 02 Nov '18

02 Nov '18

皆様この度，Sendai Logic School 2018 を下記の日程で開催致しますので，ご案内申し上げます．日時：2018年 12月 7日 (金)午後～ 12月 9日 (日)午後場所：東北大学青葉山キャンパスおよび秋保岩沼屋 SLSに関する詳細や，参加のお申し込みなどについては，下記のウェブページをご覧ください． http://www.sendailogic.com/SLS2018/ 締め切りは11月20日です．岩沼屋のシングルルームはすでにほぼ満室になっているため，そちらにご宿泊を希望される方は共同部屋になるかもしれません．詳しくはご相談ください．お申し込みやお問い合わせについては， sendailogic(a)gmail.com まで．よろしくお願いします．田中一之（東北大学）小俣安彦（東北大学）

1 0

再送：第53回MLG数理論理学研究集会
by Suzuki, Nobu-Yuki 19 Oct '18

19 Oct '18

皆様静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。参加申込の〆切まで2週間となりましたので、再度、ご案内させていただきます。重複してお受け取りの方々には、ご寛恕を願っておきます。ぜひ、ご参加をご検討ください。 --------------------------------- 皆さま静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。第53回MLG 数理論理学研究集会の情報です。第53回MLG 数理論理学研究集会期間・場所・期間: 2018年 11月 30日 (金)午後〜 12月 2日 (日)午前・場所: 静岡大学　静岡キャンパス　理学部C309 　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) ウェブ上の情報： https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ 今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 参加申し込みについて参加の申し込みは以下のURLから必要事項を記入の上、11月2日(金)までにお送りください。 https://docs.google.com/forms/d/e/1FAIpQLScBi6voKtT7J6q3xqm1rpaoztSe2GvRF8a… もしくは以下のフォームにご記入の上、メールでお送りください。送り先: mlg53rd.shizuoka(a)gmail.com 件名: MLG53申込 ---------------------------------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(11月30日予定)に参加する・しない (学生の方で懇親会に参加される場合は「参加する(学生)」とご記入ください。懇親会費の割引をする予定です。) ７．備考 (講演の希望日などがありましたらこちらにご記入ください) ---------------------------------------------- ※申し込み無しでもご参加いただけますが、懇親会への参加を希望される場合は必ずお申し込みください。 ※タイトルが未定の場合は、可能であれば開催一週間前までにお知らせください。 ※配布資料等で印刷が必要な場合は、11月22日までにお送り頂ければこちらで印刷いたします(白黒になります)。

1 0

非常勤講師の募集
by 泉英明 19 Oct '18

19 Oct '18

みなさま千葉工業大学では、来年４月からの非常勤講師１名を募集しております。前期、後期ともに月曜の午前中２コマの授業です。 [前期] 月曜１・２限数学基礎（微分積分の基礎） [後期] 月曜１限線形代数応用月曜２限微分積分（数学基礎の続き）非常勤講師として必要な資格は・博士号を取得済み・掲載済み論文（和文、英文を問いません。ただし、プレプリントを除きます）３本以上、うち１本は査読付きとなります。また、定年は満７０歳です。授業時間は１限 9:00-10:30 ２限 10:40-12:10 ３限 13:10-14:40 ４限 14:50-16:20 ５限 16:30-18:00 ６限 18:10-19:40 となっております。千葉工業大学には津田沼キャンパスと新習志野キャンパスの２つのキャンパスがありますが、上記の科目はすべて新習志野キャンパスで開講されます。ご希望の方は、泉 (izumi.hideaki(a)it-chiba.ac.jp) までメールをお送りください。なお、条件を満たした方が応募した時点で、締切とさせていただきます。以上、よろしくお願いいたします。 ---------------------------------------------------------------------------- 千葉工業大学教育センター数学教室教授泉英明 izumi.hideaki(a)it-chiba.ac.jp -----------------------------------------------------------------------------

1 1

RIMS Model Theory Workshop 2018
by Hirotaka Kikyo 20 Sep '18

20 Sep '18

皆様 RIMS共同研究（公開型）モデル理論における独立概念と次元の研究 <http://www2.kobe-u.ac.jp/~kikyo/Sites/rims2018/rims2018.html> 部屋：110 期間：2018-12-10～2018-12-12 代表者：桔梗宏孝(神戸大学システム情報学研究科) http://www2.kobe-u.ac.jp/~kikyo/Sites/rims2018/rims2018.html を開催いたします。講演を募集中です。桔梗までご連絡ください。詳しくは上のURLをご覧ください。必要に応じて更新いたします。神戸大学大学院システム情報学研究科桔梗宏孝

1 0

第53回MLG数理論理学研究集会（追加情報）
by Suzuki, Nobu-Yuki 18 Sep '18

18 Sep '18

皆さま静岡大学の鈴木信行（53rd MLG 数理論理学研究集会　世話人代表）です。第53回MLG 数理論理学研究集会の情報です。第53回MLG 数理論理学研究集会期間・場所・期間: 2018年 11月 30日 (金)午後〜 12月 2日 (日)午前・場所: 静岡大学　静岡キャンパス　理学部C309 　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) ウェブ上の情報： https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ 今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 参加申し込みについて参加の申し込みは以下のURLから必要事項を記入の上、11月2日(金)までにお送りください。 https://docs.google.com/forms/d/e/1FAIpQLScBi6voKtT7J6q3xqm1rpaoztSe2GvRF8a… もしくは以下のフォームにご記入の上、メールでお送りください。送り先: mlg53rd.shizuoka(a)gmail.com 件名: MLG53申込 ---------------------------------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(11月30日予定)に参加する・しない (学生の方で懇親会に参加される場合は「参加する(学生)」とご記入ください。懇親会費の割引をする予定です。) ７．備考 (講演の希望日などがありましたらこちらにご記入ください) ---------------------------------------------- ※申し込み無しでもご参加いただけますが、懇親会への参加を希望される場合は必ずお申し込みください。 ※タイトルが未定の場合は、可能であれば開催一週間前までにお知らせください。 ※配布資料等で印刷が必要な場合は、11月22日までにお送り頂ければこちらで印刷いたします(白黒になります)。

1 0

第53回MLG数理論理学研究集会のご案内
by Suzuki, Nobu-Yuki 17 Sep '18

17 Sep '18

皆さま静岡大学の鈴木信行と申します。今年度の　MLG 数理論理学研究集会　の世話人（代表）をいたします。今年度、第53回MLG 数理論理学研究集会は、以下の要領で開催する予定です。第53回MLG 数理論理学研究集会期間・場所 (予定) ・期間: 2018年 11月 30日 (金)午後〜 12月 2日 (日)午前・場所: 静岡大学　静岡キャンパス　理学部C309 　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) ウェブ上の情報： https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ （現時点では、まだあまり情報はありません）ご予定にお加えいただけますよう、お願いいたします。

1 0

数学通信
by Satoru Kuroda 14 Sep '18

14 Sep '18

皆様，数学基礎論および歴史分科会に関連する事項で会報１７１号（「数学通信」23巻3号）紙上で全会員にお知らせすることがありましたら，9月28日（金）までに連絡責任評議員の黒田までお知らせください．その際，ウェブ上の情報を参照する場合にはURLを明記いただければ幸いです．よろしくお願いいたします． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml