Kisoron-ml

1 participants
589 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

日本数学会2020年度年会講演申し込みのお知らせ
by Teruyuki YORIOKA 24 Nov '19

24 Nov '19

みなさま静岡大学の依岡です． 2020年度年会のお申し込みをしていただきましたみなさま，ありがとうございます．現時点で講演申し込みはまだ6件しかありません．大変少ない状況です．講演申し込みの締め切りは2019年11月29日（金）です．お忘れないよう，また締め切りに十分間に合いますよう，講演申し込みをお願い申し上げます． ---------- Forwarded message --------- From: Teruyuki YORIOKA <yorioka(a)shizuoka.ac.jp> Date: 2019年11月10日(日) 8:09 Subject: 日本数学会2020年度年会講演申し込みが始まっています To: <logic-ml(a)fos.kuis.kyoto-u.ac.jp>, <kisoron-ml(a)fos.kuis.kyoto-u.ac.jp> Cc: 依岡輝幸 <yorioka(a)shizuoka.ac.jp> みなさま静岡大学の依岡です．日本数学会2020年度年会講演申し込みが始まりました． http://mathsoc.jp/meeting/nichidai20mar/ 講演申し込みの締め切りは2019年11月29日（金）です．多数の方のお申し込みを願っています．ネットワークメンテナンスのため，締め切り間際である 2019年11月27日 03:00～05:00 および 11月28日 03:00～05:00 の予定で日本数学会のページおよびアクティベーション／講演申し込み／会合申し込み等の各サービスが利用できなくなるそうです．講演申し込みは時間に余裕を持って，なるべく早くにお申し込みください．

2 1

日本数学会2020年度年会講演申し込みが始まっています
by Teruyuki YORIOKA 10 Nov '19

10 Nov '19

みなさま静岡大学の依岡です．日本数学会2020年度年会講演申し込みが始まりました． http://mathsoc.jp/meeting/nichidai20mar/ 講演申し込みの締め切りは2019年11月29日（金）です．多数の方のお申し込みを願っています．ネットワークメンテナンスのため，締め切り間際である 2019年11月27日 03:00～05:00 および 11月28日 03:00～05:00 の予定で日本数学会のページおよびアクティベーション／講演申し込み／会合申し込み等の各サービスが利用できなくなるそうです．講演申し込みは時間に余裕を持って，なるべく早くにお申し込みください．

1 0

2020年度奨励研究生の募集開始
by Teruyuki YORIOKA 08 Nov '19

08 Nov '19

logic-ml, kisoron-ml 受信者の皆様静岡大学の依岡です．今年度からはじまりました「日本数学会奨励研究生」の来年度研究生の募集が始まりました． http://mathsoc.jp/publicity/news20191001/2020shourei.html 応募者は次のふたつのうちのいずれかに該当する必要があります． (1) 日本数学会の会員であって, 2020 年 4 月 1 日の時点で学位(博士)取得後 3 年以内(学位(博士)取得が 2017 年4月 2 日以後) の研究者. 学位(博士)取得見込みまたは会員申込中の者も申請可としますが, 採用時には学位(博士)を取得済みで, 会員となっている必要があります. (2) 2020 年度の日本学術振興会特別研究員(PD)に申請した者, または同年度外国人特別研究員(一般)において, 招へい研究者として申請した者. 日本学術振興会特別研究員に申請した方は，その申請書を日本数学会奨励研究生申請書を作成する際に大いにお役立てください．ご不明な点がありましたら私にお尋ねいただけましたら幸いです．よろしくお願いします．

1 0

第54回MLG数理論理学研究集会
by Naosuke MATSUDA 29 Oct '19

29 Oct '19

第54回MLG数理論理学研究集会のご案内みなさま神奈川大学の松田です． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．第54回MLG数理論理学研究集会は以下の要領で開催させていただきます．多くの皆様のご参加をお待ちしております． ==開催要領== 期間： 2019年12月14日 (土) ～ 16日 (月) 場所：マホロバ・マインズ三浦〒238-0101 神奈川県三浦市南下浦町上宮田 3231 0120-046-891 幹事：松田直祐（神奈川大学） matsuda.naosuke(a)gmail.com 詳細は以下のページをご確認ください． https://sites.google.com/view/mlg2019/home ==参加希望== 参加希望者でホテルでの宿泊を希望される方は， 11月14日までに下記の情報を松田までお送りください．件名を「MLG2019」などとしていただけると助かります． -- 氏名：所属：宿泊：7日・8日（不要なものを削除してください）夕食：7日・8日（不要なものを削除してください）朝食：8日・9日（不要なものを削除してください）講演希望：あり・なし（不要なものを削除してください）講演題目：その他： -- == Naosuke Matsuda, Department of Information Sciences. Kanagawa University Tsuchiya 2946 Hiratsuka-shi, Kanagawa 259-1293, Japan

1 2

[jssst-ppl] 准教授または講師公募(千葉大学大学院理学研究院数学・情報数理学研究部門)
by Takafumi SAKURAI 24 Oct '19

24 Oct '19

皆様、メーリングリストをお借りして、教員公募の案内をお送りいたします。複数お受け取りの場合はご容赦ください。 ------------------------------------------------------------ 職種および人員: 准教授または講師（任期なし）1名所属: 千葉大学大学院理学研究院数学・情報数理学研究部門専攻分野: 情報数理学（数理論理学、プログラム言語論、ソフトウェア基礎理論、アルゴリズム論、情報理論、符号理論、暗号理論等、科研費小区分 12030 数学基礎関連および 60010 情報学基礎論関連とその周辺）応募資格: 博士の学位を有すること着任予定時期: 令和2年4月1日以降のできるだけ早い時期応募期限: 令和元年12月20日必着提出書類や書類送付先などの詳細につきましては、公募要領 http://www.math.s.chiba-u.ac.jp/posts/koubo-info2019.pdf または JREC-IN 公募情報 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D119101395 をご覧ください。よろしくお願いいたします。桜井貴文(sakurai(a)math.s.chiba-u.ac.jp)

1 0

← Newer
1
...
17
18
19
20
21
22
23
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml