Kisoron-ml June 2012

3 participants
4 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

秋期総合分科会一般講演の申し込み
by Masahiro Kumabe 14 Jun '12

14 Jun '12

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の隈部です。秋期総合分科会（９月１８日（火）〜２１日（金）九州大学伊那キャンパス）の一般講演の締め切りが６月２４日です。発表申し込みページ： https://app.mathsoc.jp/ 多くの方々の講演をお待ちしています。隈部正博

1 0

ＲＩＭＳ研究集会「証明論と複雑性」
by Suzuki Toshio 11 Jun '12

11 Jun '12

　研究集会案内・講演募集　（複数お受け取りの場合はご容赦ください）首都大学東京の鈴木登志雄です。さて、以下のように研究集会を開催いたします。皆様の参加・講演申込みをお待ちしております。 ------------------------------------------------------------------ 参加・講演募集ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」期間　２０１２年９月１２日（水）午後から１４日（金）午後場所　数理解析研究所４２０号室（収容人数１５０名）しめきり７月１３日（金）、返信先 toshio-suzuki[ATMARK]tmu.ac.jp http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html ------------------------------------------------------------------ 目的と範囲 ============= 形式体系の研究には古典論理の証明論，非古典論理，逆数学をはじめとして様々な分野があり，それぞれの分野において，形式体系と複雑性との関係が活溌に研究されています。ここでいう複雑性とは計算に必要な資源の最小量として導入される各種の量であり，時間計算量だけでなく，とくに証明の長さ，コルモゴロフ記述量，および問い合わせの回数を含みます。これら各種の複雑性は，互いに関連性をもっています。また，形式体系と複雑性を結びつける概念・手法としては，たとえばextended Frege system，計算可能関数のfunction algebra による特徴づけ，two-sorted predicate calculus ，資源限定マルティンゲール，ブール関数のゲーム木としての表現，質問記号付き命題論理などがあります。本研究集会では，形式体系の様々な分野の研究者が集まって最新の研究のアイデアを交換することにより，形式体系と複雑性の関係について研究を推進します。基調講演者（敬称略、題未定） ========================== 垂井　淳（電気通信大学　大学院情報理工学研究科）黒田　覚（群馬県立女子大学　文学部）一般講演募集 ============= 形式体系と複雑性に関する一般講演を募集します。発表は日本語または英語でお願いします。想定する話題の例として以下をあげますが、これらに限定するわけではありません。古典論理の証明論非古典論理（線形論理ほか）証明の長さ逆数学限定算術ラムダ計算アルゴリズム的情報理論命題論理の計算量（ブール決定木を含む）リカージョン・セオリー計算量理論における論理学的な手法・概念参加・講演申込み ============= お名前　　　　：所属　　　　　：身分（学年）　：メールアドレス：参加日程　　　：講演していただける場合は以下もご記入ください。講演タイトル　：講演希望時間　：長め（４５分）・短め（２５分）［どちらかをお選びください］講演希望日時　：［もし強いご希望があればお書きください］予稿の事前提出：あり・なし［どちらかをお選びください。詳細は下記］　この研究集会について２０１１年１１月以降に首都大の鈴木とメールのやりとりをなさった方のうち、前回と所属・身分・メールアドレスに変更のない方は、該当項目の記入を適宜省略していただいてかまいません。　（ＲＩＭＳからの旅費援助を受けない方は）飛び入り参加も可能ですが、講演を予定せず参加される方も含めて、参加日程をお知らせいただけると助かります。７月下旬に、研究代表者からＲＩＭＳへ、あらためて参加者リストを送ることになっています。　研究集会当日に配布したい予稿（Ａ４用紙１から２ページ程度）をあらかじめＲＩＭＳに提出しておき、ＲＩＭＳに予稿集を作成しておいてもらうこともできます。希望の場合は講演申込時におしらせください。予稿の提出は申込み後、ＲＩＭＳと相談の後にしていただきます。　講演時間には５分の質疑応答時間を含みます。お一人あたりの発表時間について、募集締め切り後に調整する可能性があります。申込み宛先 ============= toshio-suzuki[ATMARK]tmu.ac.jp [ATMARK]は@に変更してください。（首都大・理工　鈴木登志雄）以下の締め切り日より早く申し込んでいただけるとなおありがたいです。今回は短期共同研究ではなくＲＩＭＳ研究集会という形式です。研究計画提案書提出時の参加予定者に限定せず、講演を募集いたします。日程の要点 ============= 講演申込み締め切り　２０１２年７月１３日（金）研究集会　９月１２日（水）午後から１４日（金）午後講究録原稿締め切り　未定（研究集会終了後しばらくしてから）会場設備 ============= 液晶プロジェクター、書画カメラ、黒板、スクリーン、レーザーポインター、指示棒詳細は以下ＵＲＩ（トップページ->共同利用掛->共同利用掛から） http://www.kurims.kyoto-u.ac.jp/~kyodo/kyodotop-ja.html 発表用のパソコン（MiniD-sub15ピンに対応）は各自でご持参ください。研究代表者はマックブック（OS: Snow Leopard）を持参する予定です。報告集 ============= 集会の後、通常の数理解析研究所講究録を刊行予定です。講究録別冊（査読付き）の刊行はしません。代表者 ============= 鈴木登志雄（首都大学東京）１９２−０３９７　東京都八王子市　南大沢１−１首都大学東京　理工学研究科　数理情報科学専攻 toshio-suzuki[ATMARK]tmu.ac.jp 集会ウェブサイト ============= http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html それでは、よろしくお願いいたします。

1 0

講演会のお知らせ
by 渡辺純成 01 Jun '12

01 Jun '12

基礎論歴史分科会MLの皆様、東京学芸大の渡辺純成です。数学史に関連する講演が入った数学の公開講座のお知らせです。皆様、お誘い合わせの上、おいで下さい。なお、広くお知らせするために複数のメーリングリストに投稿しておりますが、重複して受け取られた方々にはご海容いただけますと幸いです。 ──── 東京大学大学院数理科学研究科　２０１２年度　数学公開講座（グローバル COE プログラム　数学新展開の研究教育拠点）「『空間』へのアプローチ」日時：１２年１１月２４日（土）場所：東京大学大学院数理科学研究科大講義室最寄り駅　京王井の頭線　駒場東大前駅時間割： 13:30-13:35 研究科長挨拶 13:35-14:35　今野　宏（東京大学）「ユークリッド空間から解き放たれて」 14:45-15:45　中根美知代（日本大学）「連続性をつかまえた数学者たち」 16:00-17:00　古田幹雄（東京大学）「有限、無限、コンパクト」参加費無料、事前の申し込みは不要です。お問い合わせ：東京大学大学院数理科学研究科ファクシミリ：03-5465-7011 電子メール：kawazumi_AT_ms.u-tokyo.ac.jp（河澄響矢）

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml June 2012