Kisoron-ml December 2019

5 participants
5 discussions

23 Dec '19

皆様千葉工業大学では、来年４月からの非常勤講師１名を募集しております。実際の募集人数は２名ですが、１名は既に決まりましたので、もう１名を募集いたします。授業の担当枠が選択できます。 [前期] 次の A・B のうちどちらか一方をお選びください。 A 水曜２・３時限線形代数基礎水曜５・６・７時限数学基礎 B 木曜７・８時限線形代数基礎金曜２・３時限線形代数 [後期] 次の C・D のうちどちらか一方をお選びください。 C 火曜２・３・４時限線形代数学火曜６・７時限基礎統計学 D 木曜６・７時限確率統計上記科目のうち、「線形代数」「線形代数学」は線形代数を半年で終わらせる科目で、「線形代数基礎」は線形代数を１年かけて教える科目の前半部分になります。また、「数学基礎」は微分積分の基礎となります。非常勤講師として必要な資格は・博士号を取得済みであること（取得見込みは不可）・掲載済み論文（和文、英文を問いません。ただし、プレプリントを除きます）が３本以上、うち１本は査読付きとなります。また、定年は満７０歳です。授業時間は１時限 9:00-10:00 ２時限 10:00-11:00 ３時限 11:00-12:00 ４時限 12:00-13:00 ５時限 13:00-14:00 ６時限 14:00-15:00 ７時限 15:00-16:00 ８時限 16:00-17:00 ９時限 17:00-18:00 １０時限 18:00-19:00 となります。千葉工業大学には津田沼キャンパスと新習志野キャンパスの２つのキャンパスがありますが、上記科目のうち「確率統計」は津田沼キャンパス、他はすべて新習志野キャンパスで開講されます。ご希望の方は、泉 (izumi.hideaki(a)it-chiba.ac.jp) までメールをお送りください。なお、条件を満たした方が応募した時点で、締切とさせていただきます。以上、よろしくお願いいたします。 ---------------------------------------------------------------------------- 千葉工業大学教育センター数学教室泉英明 izumi.hideaki(a)it-chiba.ac.jp -----------------------------------------------------------------------------

1 1

第6回組合せ論・モデル理論セミナーのご案内
by Shohei Satake 16 Dec '19

16 Dec '19

メーリングリストの皆様神戸大学の佐竹翔平と申します. (重複してお受け取りの場合はご容赦ください) 10月に続き,組合せ論・モデル理論セミナーを下記の要領で行う運びとなりました. (直前のご案内となり誠に申し訳ございません.) 皆様のご参加をお待ち申し上げております. -- 日時: 2019年12月20日(金) 17:00-18:30 講演者: 桔梗宏孝氏 (神戸大学) タイトル: Hrushovskiの擬平面の自己同型群について開催場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館 421室 (予定) *詳細はHPからご覧いただけます. (変更があった場合は,HP上にてお知らせ申し上げます.) https://sites.google.com/site/kcmseminar/6thseminar -- どうぞよろしくお願い申し上げます. 佐竹翔平 -- Shohei Satake (佐竹翔平) Graduate School of System Informatics, Kobe University 1-1, Rokkodai, Nada, Kobe, Japan, 〒657-8501 E-mail: 155x601x(a)stu.kobe-u.ac.jp satakecomb(a)gmail.com HP: https://sites.google.com/site/satakeshohei/ https://researchmap.jp/shoheisatake/?lang=english

1 0

Arnold Beckmann教授講演会のお知らせ
by 山形賴之 10 Dec '19

10 Dec '19

皆様、産総研の山形と申します。Swansea大学のArnold Beckmann教授の講演会を下記の通り開催いたします。Beckmann教授は限定算術、証明複雑度およびそれらと計算複雑度との関係などを研究されています。入構に事前登録が必要なため、参加ご希望の方は12月12日正午までに山形まで、お名前と所属をお知らせください。参加ご希望の方は必ず事前に連絡していただくようお願いします。講演日時：12月13日14:00-15:00 場所：産総研関西センター C-3棟1階, 第10会議室 https://goo.gl/maps/ZJzcgE1agWLxypsk7 ************************* Arnold Beckmann: Consistency of equational theories and the separation problem for bounded arithmetic Abstract: The separation problem for bounded arithmetic is one of the most important problems in the area due to its tight connections to the question whether computational complexity classes can be separated, the Millennium problem whether P equals NP or not being the most well-known one. Well studied candidates for separating theories of bounded arithmetic are consistency statements of formal theories, building on Kurt Goedel's famous incompleteness theorems. The most promising consistency statements are given by those of certain equational theories. In our talk, we will review the results on consistency of equational theories in the context of the separation problem for bounded arithmetic. We explain the progress that has been made over recent years to advance this problem, and state the research programme that has resulted from it. ************************* --- Yoriyuki Yamagata (Senior Researcher) National Institute of Advanced Industrial Science and Technology (AIST) http://staff.aist.go.jp/yoriyuki.yamagata/en/

1 1

ラムダ計算と論理の早春セミナー2020
by Naosuke MATSUDA 10 Dec '19

10 Dec '19

みなさま神奈川大学の松田と申します．今年度も「ラムダ計算と論理の早春セミナー」を，下記要領で開催することになりました．場所：草津セミナーハウス日程：2020年3月7日(土)-11日(水) 詳細: https://sites.google.com/view/lls2020/home つきまして，ラムダ計算・論理およびその周辺の話題を広く募集しています．本セミナーでは，講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています．議論し成果を挙げる場・学生の簡単な発表の場など，さまざまな用途で利用していただければ幸いです．なお，今年度で草津セミナーハウスが閉鎖とのことで，草津セミナーハウスでの開催は今回が最後になります．多くの皆様のご参加をお待ちしております． -- 神奈川大学情報科学科松田直祐

1 0

リマインド　2020年度奨励研究生の選考について
by Teruyuki YORIOKA 06 Dec '19

06 Dec '19

みなさま静岡大学の依岡です．「２０２０年度奨励研究生」の募集期限が今月15日と近づいてまいりましたのであらためましてご案内申し上げます。 http://mathsoc.jp/publicity/news20191001/2020shourei.html 日本数学会事務局から，現時点で申請件数が極めて少ない状況であるという連絡を受けております．申請資格を持つ方々，申請資格を持つ指導学生がおられます先生方，ぜひ申請をご検討ください．よろしくお願いします．

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml December 2019