Kisoron-ml April 2013

2 participants
3 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 Suzuki Toshio 05 Apr '13

05 Apr '13

数学基礎論および歴史分科会の皆様こんばんは。分科会運営委員・雑誌数学編集委員の鈴木登志雄です。さて、数学通信の編集部から雑誌数学編集部に問い合わせがきています。５月発行（たぶん下旬）予定の　　数学通信の関東支部便りに載せたい情報、とくに関東の大学周辺で開催する予定の研究集会や公開講座等の情報をお持ちでしたら、４月１０日（水）までに鈴木（toshio-suzuki[at mark]tmu.ac.jp）へお知らせください。当方から、雑誌数学編集長を通じて数学通信編集部にお伝えします。研究集会等の情報は、たとえば次のような感じです。 ---------- 第２４回＊＊＊シンポジウム日程：2013年10月12日（土）-13日（日）主催：＊＊＊大学　数学・計算機科学研究所世話人：＊＊＊場所：＊＊＊大学＊号館＊＊＊教室 ----------- お寄せいただいた情報を掲載するかどうかは数学通信編集部の判断によるかもしれませんのであらかじめご了承ください。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

Prof. Elio Giovannetti at NII Logic Seminar
by Makoto Tatsuta 04 Apr '13

04 Apr '13

Prof. Elio Giovannetti at NII Logic Seminar Date: April 10, 2013, 13:30--15:30 Place: National Institute of Informatics, Room 1904 (19th floor) 場所: 国立情報学研究所 19階 1904室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Elio Giovannetti (Torino University) Title: Lambda-calculus in context Abstract: The talk, kept at an informal level, will start fom Bohm's Theorem to give an overview of the development of observational equivalences between lambda-terms, and of the relationships between such equivalences. There will be a particular (though not exclusive) reference to the results obtained by M. Dezani and Torino's lambda-group, placed in a sketchy historical context, with a final mention of intersection types, which were a major achievement of the early history of Torino's group, in the persons of M. Coppo and M. Dezani. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml April 2013