Kisoron-ml July 2012

8 participants
11 discussions

数学基礎論および歴史分科会総会
by KASHIMA Ryo 18 Jun '13

18 Jun '13

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。分科会総会の代わりのメールです。ご意見等がありましたらお知らせください。【１】今年の数学基礎論サマースクールはモデル理論がテーマで米田郁生さんが幹事をしてくださります。数学基礎論若手の会の幹事は酒井拓史さんがやってくださると聞きました。例年通り、数学会本部から分科会へ支給される補助金を１万円ずつこの二つの会に出したいと思います。【２】上記の他にも各種研究集会の予定があると思います。分科会ホームページや数学通信に載せていきますので、幹事の方は是非とも情報をお知らせください。５月発行の数学通信に載せるためには、　４月１５日（金）までに鹿島まで情報をお寄せくださるよう、お願いいたします。【３】『数学』編集委員は、現在は池田宏一郎さんですが、４月から鈴木登志雄さんに交代します。【４】現在の分科会運営委員は次のようになっています。（敬称略、括弧内は代表分野、順番は任期の早い順）三宅克哉（歴史）倉田俊彦（計算機科学）高瀬正仁（歴史）山下秀康（超準解析）只木孝太郎（帰納的関数論及び計算理論）桔梗宏孝（モデル理論）安東祐希（証明論）依岡輝幸（集合論）志村立矢（非古典論理）【５】分科会選出評議員は次の通りです：鹿島亮（連絡責任評議員）隈部正博（受賞候補推薦委員）分科会に対するご意見ご質問は評議員またはお近くの運営委員までお寄せください。【６】 3月20日に行われた総会・評議員会での審議決定事項等のうち、重要なものを報告します。 (a) 今後の年会および秋季総合分科会の予定： 9月28(水)〜10月1日(土) 信州大学 2012年３月東京理科大学 2012年９月九州大学 (b) 新理事長に宮岡洋一氏が選出されました。 (c) 早稲田での年会は中止になりましたが、「アブストラクト集が発行されたことによって成立したこととします」だそうです。つまり、今回講演を申し込んだ人はそれを各自の発表業績として数えてよい、ということです。アブストラクト集は数学会本部でとりまとめて今後希望者に販売するそうです。今回講演を申し込んだ人が同じ内容の講演を秋または来春の学会で行うことも可能だそうです。 (c)について、さらに他にも数学会本部からのお知らせは数学会ホームページ： http://mathsoc.jp/ に随時掲載されますので、各自でご確認お願いいたします。【以上】 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 5

【参加募集】数学基礎論サマースクール 2012「計算可能性とランダムネス」
by Kohtaro Tadaki 29 Jul '12

29 Jul '12

＜重複してお受け取りの方はご容赦ください＞皆様：中央大学の只木孝太郎です。数学基礎論サマースクール 2012を下記の要領で開催します。今年のテーマは「計算可能性とランダムネス」です。もしお近くに興味を持ちそうな学生さんなどがいましたら、ご案内いただければ幸いです。詳しくは、ホームページをご覧下さい。たくさんの皆様の参加をお待ちしております。 -------------------------------------------------- 数学基礎論サマースクール 2012 ホームページ： http://www2.odn.ne.jp/tadaki/LSS2012.html ◆テーマ：計算可能性とランダムネス ◆日時： 2012年9月4日（火）午後 -- 9月7日（金）午前 ◆場所：東京工業大学　大岡山キャンパス ◆参加費：無料 ◆参加申込：不要 -------------------------------------------------- ＜特記事項＞今年の数学基礎論サマースクールでは、チューリング生誕 100年を記念し、計算可能性の理論についての入門講座を開催します。講師は東工大の鹿島亮先生です。計算可能性の理論に興味を持つ一般の市民、学生、研究者の皆さんの参加を歓迎します。詳しくは、上記ホームページをご覧下さい。 -- 只木孝太郎 (Kohtaro Tadaki) 中央大学研究開発機構〒112-8551 東京都文京区春日1-13-27 E-mail: tadaki(a)kc.chuo-u.ac.jp

1 0

ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」・暫定プログラム公開
by Suzuki Toshio 26 Jul '12

26 Jul '12

　研究集会案内・暫定プログラム公開　（複数お受け取りの場合はご容赦ください）首都大学東京の鈴木登志雄です。以下の研究集会に多数の講演申込みをありがとうございます。参加申込みをされていない方の当日参加も歓迎します。 ------------------------------------------------------------------ ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」期間　２０１２年９月１２日（水）午後から１４日（金）午後場所　数理解析研究所４２０号室（収容人数１５０名） http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html ------------------------------------------------------------------ さて、暫定プログラム（７月２６日版）を公開しましたので取り急ぎお知らせいたします。 http://www.ac.auone-net.jp/~bellp/meeting/program0726.pdf 講演される方へ：ご意見や情報の追加がございましたら７月３０日（月）午前中までに鈴木 toshio-suzuki [atmark] tmu.ac.jp へご連絡いただけると助かります。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻

1 0

Kobe Colloquium on Logic, Statistics and Informatics (Ausgust 1, 2012)
by SAKAI Hiroshi 20 Jul '12

20 Jul '12

皆様：神戸大学の酒井拓史と申します． 8月1日(水)に開催される Kobe Colloquium on Logic, Statistics and Informatics のアナウンスをさせていただきます．ご興味をお持ちの方は是非ご参加ください： ------------------------------------------------------ Kobe Colloquium on Logic, Statistics and Informatics: ------------------------------------------------------ August 1, 2012 (Wed.) 16:30 - 18:00 (teabreak: 15:30 -) ``Topological Set Theory'' Dr. Andreas Fackler (LMU Munich) Abstract The idea behind positive set theory is to weaken the naive comprehension principle by omitting all instances in which negation occurs. For example, the universal class V is a set while the Russell class is not. Surprisingly, this approach leads to a theory in which V is a topological space in a natural way. Inspired by that fact, topological set theory TS instead of a comprehension principle has as its axioms several topological statements about V. Topological and positive set theory are closely related and in both of them there is an interesting interplay between the set theoretic and topological properties of V. Many basic theorems of TS remain true even without the axiom that the universal class V is a set, although one decisive statement about the ordinal numbers goes missing. Instead, a surprising connection to another familiar set theory arises ... In my talk, I will present this family of axiom systems and give an overview of results about their implications, their consistency strengths, and their interrelations. We will also look briefly at their (known) models -- topological structures called hyperuniverses -- and at methods to construct such objects. ------------------------------------------------------------------------------ The talk will be given in the presentation room of the group of Logic, Statistics and Informatics (inside the glass door with "Fuchino group" (written in Japanese) on the 4th floor in the Sience and Technology Building 3 http://kurt.scitec.kobe-u.ac.jp/~brendle/Forcing2012/university.jpg in Rokkodai Campus of Kobe University) There will be a dinner after the talk. 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6245

1 0

Call for Participation: International Workshop on Game Theory, Epistemic Logic, & Related Topics
by Suzuki, Nobu-Yuki 17 Jul '12

17 Jul '12

筑波大学の石川竜一郎さんからの依頼により、代理でご案内を投稿します。国際ワークショップ: International Workshop on Game Theory, Epistemic Logic, & Related Topics が８月２７日から３０日まで、筑波大学で開かれます。詳しくは http://infoshako.sk.tsukuba.ac.jp/~ishikawa/gamelogic12/ をご覧ください。宜しくお願い致します。鈴木信行＠静岡大学

1 0

東大数理集中講義のお知らせ
by 渡辺純成 13 Jul '12

13 Jul '12

基礎論歴史分科会MLの皆様、東京学芸大の渡辺純成です。数学史を主題とする集中講義（東京大数理科学研究科）のお知らせです。入試で忙しい時期になりますが、皆様、お誘い合わせの上、お出で下さい。なお、広くお知らせするために複数のメーリングリストに投稿しておりますが、重複して受け取られた方々にはご海容いただけますと幸いです。 ──── 平成24年1月21日〜科目名：数学史担当者：川原秀城講義内容： http://www.ms.u-tokyo.ac.jp/kyoumu/kouginaiyou.html を参照。

1 0

筑波大教員公募
by akito.tsuboi 06 Jul '12

06 Jul '12

皆様，本メーリングリストを通じて一度お知らせいたしましたが，再度助教の公募をお知らせいたします．坪井明人（筑波大学）国際公募（分野問わず） http://ttweb.sec.tsukuba.ac.jp/koubo/koubo_mathematics_e.pdf http://ttweb.sec.tsukuba.ac.jp/koubo/koubo_mathematics_j.pdf 数理論理学および関連分野 http://nc.math.tsukuba.ac.jp/joo1l0mwi-221/?action=common_download_main&upl…

1 0

教員公募(千葉大学)
by Takafumi SAKURAI 06 Jul '12

06 Jul '12

(重複して受けとられた方はご容赦ください．) 皆様千葉大学大学院理学研究科数学・情報数理コースの桜井貴文と申します。このメーリングリストをかりて本コースの教員公募を案内をさせていただきます。よろしくご検討ください． (本コースのホームページは http://www.math.s.chiba-u.ac.jp/ です。) 桜井貴文(sakurai(a)math.s.chiba-u.ac.jp) ============================================================================== 教員の公募について (依頼) 千葉大学大学院理学研究科基盤理学専攻数学・情報数理学コース長桜井貴文このたび本研究科では、下記の要領で教員 1名を公募することになりました。つきましては、貴学の関係各位にお知らせいただくとともに、適任者をご存知の場合には応募をお勧めくださるようお願い致します。記 1. 公募職種および公募人員准教授または助教 1名 2. 所属大学院理学研究科基盤理学専攻数学・情報数理学コース情報数理講座 3. 専攻分野情報数理学（プログラム言語論、ソフトウェア基礎理論、アルゴリズム論、符号・暗号理論等） 4. 応募資格博士の学位を有すること、または採用までに取得予定のこと 5. 担当授業科目等大学院理学研究科および理学部の専門科目、特に情報数理学の科目 (プログラミング、アルゴリズム、言語処理系、数理論理学、計算理論等)からいくつか、および全学向け数学の共通科目、大学院理学研究科の研究指導を担当予定 6. 着任予定時期平成 25年 4月 1日以降のできるだけ早い時期 7. 提出書類 (1) 履歴書 (連絡先には電話番号および電子メールアドレスも記載) この公募では、准教授または助教の選考をします。准教授としてのみ応募される方は、その旨を明記して下さい。 (2) 研究業績リスト (3) 主要な論文の別刷 (またはその写し)５編以内 (4) これまでの研究成果の概要と今後の研究計画 (A4版用紙 2〜3枚程度) (5) これまでの教育経験の概要と今後の教育に対する抱負 (A4版用紙 1〜2枚程度) (6) 研究業績を問合せることのできる方の氏名、所属、連絡先および電子メールアドレス 8. 応募期限平成 24年 9月 28日 (金) 必着 9. 応募書類の提出先〒 263-8522千葉市稲毛区弥生町 1-33 千葉大学大学院理学研究科基盤理学専攻数学・情報数理学コース桜井貴文封筒の表には「人事応募書類在中」と朱書して、上記宛てに簡易書留でお送り下さい。なお、応募書類返送を希望する場合は切手を貼った返送用封筒に返送先を記入して同封してください。返送用封筒がない場合は返送致しませんのでご了解ください。 10. 問合せ先桜井貴文研究室直通 043-290-2713 学科ファックス 043-290-2733 電子メールアドレス sakurai(a)math.s.chiba-u.ac.jp 11. その他＊応募者の方に千葉大学に来ていただき面接を行うことがあります。その場合、旅費は支給できませんので予めご了承下さい。＊千葉大学は男女共同参画を推進し、女性教員の採用促進を図るためのポジティブ・アクションに取り組んでいます。

1 0

SLACS 2012 のご案内および講演募集
by Hiroyuki Miyoshi 05 Jul '12

05 Jul '12

メーリングリストへの送信がうまくいかないようなので何度か送っています。重複して届いている方はお許し下さい。今年のSLACS（記号論理と情報科学研究集会）の世話人をおおせつかっている京都産業大学の三好博之です。第29回記号論理と情報科学研究集会 (SLACS 2012) は，京都産業大学むすびわざ館で開催の予定です．SLACSは，記号論理学とコンピュータ科学の研究者や学生の相互交流を目的として開催されている研究集会で毎年持ち回りで行われています（http://www.math.s.chiba-u.ac.jp/SLACS/）。完成された研究のみならず，発展途上の話題やサーベイなども大歓迎です．記号論理以外にも，圏論やアルゴリズム理論などコンピュータ科学に関わるご講演を広く募集しています。 SLACS 2012のウェブページも近日中に作成致します。開催要項開催日：2011年9月15日（土）午前〜 9月16日（日）午後（講演が少ない場合は、開始を遅らせます）場所：京都産業大学むすびわざ館（京都産業大学神山キャンパスとは異なります） http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/ アクセス http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/access.html 懇親会：9月15日夜に懇親会を予定しています．詳細はプログラム確定後、お知らせします。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）講演を希望される方は、　　・題目　　・講演者名　　・e-mail address 　　・所属　　・梗概　　・希望時間　　・講演に必要な道具などの情報を三好 hxm(a)cc.kyoto-su.ac.jp までお知らせください。とりあえず、「講演したいと思っている」程度の不完全な情報でも結構です。特に申込締切は設けませんが，プログラムを見積もるため未確定でも講演するかもしれないという意思表示は早めにして頂けるとありがたいです。なお，直前の9/12-14には京都大学RIMSで「証明論と複雑性」の研究会がございます（http://www.kurims.kyoto-u.ac.jp/~kyodo/workshop-ja.html）ので続けてのご参加もしやすくなっております。多くの皆さんのご講演・ご参加をお待ちしております。京都産業大学理学部数理科学科　三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

SLACS 2012 のご案内および講演募集
by Hiroyuki Miyoshi 04 Jul '12

04 Jul '12

重複して届いている方はお許し下さい。今年のSLACS（記号論理と情報科学研究集会）の世話人をおおせつかっている京都産業大学の三好博之です。第29回記号論理と情報科学研究集会 (SLACS 2012) は，京都産業大学むすびわざ館で開催の予定です．SLACSは，記号論理学とコンピュータ科学の研究者や学生の相互交流を目的として開催されている研究集会で毎年持ち回りで行われています（http://www.math.s.chiba-u.ac.jp/SLACS/）。完成された研究のみならず，発展途上の話題やサーベイなども大歓迎です．記号論理以外にも，圏論やアルゴリズム理論などコンピュータ科学に関わるご講演を広く募集しています。 SLACS 2012のウェブページも近日中に作成致します。開催要項開催日：2011年9月15日（土）午前〜 9月16日（日）午後（講演が少ない場合は、開始を遅らせます）場所：京都産業大学むすびわざ館（京都産業大学神山キャンパスとは異なります） http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/ アクセス http://www.kyoto-su.ac.jp/outline/shisetsu/musubiwaza/access.html 懇親会：9月15日夜に懇親会を予定しています．詳細はプログラム確定後、お知らせします。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）講演を希望される方は、　　・題目　　・講演者名　　・e-mail address 　　・所属　　・梗概　　・希望時間　　・講演に必要な道具などの情報を三好 hxm(a)cc.kyoto-su.ac.jp までお知らせください。とりあえず、「講演したいと思っている」程度の不完全な情報でも結構です。特に申込締切は設けませんが，プログラムを見積もるため未確定でも講演するかもしれないという意思表示は早めにして頂けるとありがたいです。なお，直前の9/12-14には京都大学RIMSで「証明論と複雑性」の研究会がございます（http://www.kurims.kyoto-u.ac.jp/~kyodo/workshop-ja.html）ので続けてのご参加もしやすくなっております。多くの皆さんのご講演・ご参加をお待ちしております。京都産業大学理学部数理科学科　三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml July 2012