Kisoron-ml March 2012

kisoron-ml@fos.kuis.kyoto-u.ac.jp

2 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

Prof. Dieter Spreen Lecture at NII Logic Seminar
by Makoto Tatsuta 27 Mar '12

27 Mar '12

Prof. Dieter Spreen Lecture at NII Logic Seminar Date: April 4, 2012, 13:30--15:30 Place: National Institute of Informatics, Room 1213 (12th floor) 場所: 国立情報学研究所 12階 1213室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Prof. Dieter Spreen (University of Siegen) Title: A refined model construction for the polymorphic lambda calculus Abstract: We present and discuss a stable model for the polymorphic lambda calculus. The domains are enriched by an approximation structure. This allows to put additional requirements on the morphisms of the underlying category. Moreover, a totality notion can be introduced such that in the induced model the polymorphic booleans are interpreted by the two-element set {True, False}. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

数学・数理科学のためのキャリアパスセミナー
by KASHIMA Ryo 20 Mar '12

20 Mar '12

日本数学会数学基礎論および歴史分科会会員の皆様、数学会理事長からの連絡を転送します。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp ＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝数学会会員各位東京理科大で開催される本年度数学会年会の３日目、３月２８日（水）13:00 - 17:00 に、ドクターの学生と企業との相互理解を深めることを目的として、『数学・数理科学のためのキャリアパスセミナー』が開催されます。研究開発に力をいれている１７の企業が参加します。企業との良好な関係を築き、数学を学んだ方々の進路を広げるためにも、できるだけ多くの数学関係者に参加していただきたいと考えております。大学院生、研究生など、関係しそうな方に、ぜひ参加するよう、広く呼びかけていただければ幸いです。同セミナーの詳細につきましては、数学会のウェブページ http://mathsoc.jp/meeting/tus12mar/career2012.html を御覧ください。日本数学会理事長　宮岡　洋一

1 0

数学会年会
by KASHIMA Ryo 20 Mar '12

20 Mar '12

日本数学会数学基礎論および歴史分科会会員の皆様、来週26日(月)から東京理科大学にて春の学会（年会）が開催されます。当分科会は　26日(月)：一般講演，歴史部門懇談会．　27日(火)：一般講演，特別講演，分科会総会．を行います。皆様のご参加をお待ちしています。 ----- 鹿島亮（今回の年会の準備までを評議員として担当しています）東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml March 2012