日本数学会 数学基礎論および歴史分科会 会員の皆様、

分科会連絡責任評議員の鹿島です。 ２週間後に愛媛大学にて秋の学会が開催されますので奮ってご参加ください。

（１） 前回に引き続きアブストラクト集のPDFファイルを事前公開します（明日10日(火)から）。 詳細は数学会ホームページ内の案内： http://mathsoc.jp/meeting/ehime13sept/abstract.html をご覧下さい。

（２） 上記に伴いアブストラクト集冊子の販売部数を少なくしますのでご注意ください。 PDFファイルをダウンロードして持参可能な方はなるべくお願いいたします。

（３） 分科会総会（27日(金)11時半）に皆様ぜひご出席ください。 歴史部門関係の方は歴史部門懇談会（26日(木)11時）にもご出席ください。

（４） 分科会特別講演は 　26日(木)：小林龍彦先生「関孝和,建部賢弘,そして中根元圭」 　27日(金)：池田宏一郎先生「ジェネリック構造について」 となっています。 さらに分科会推薦による企画特別講演は 　27日(金)：蓮尾一郎先生「超準解析による物理情報システムの形式検証 ー 離散から連続・ ハイブリッドへ」 となっています。 どうぞご出席ください。

----- 鹿島 亮 東京工業大学大学院情報理工学研究科 数理・計算科学専攻 [email protected]