【21世紀COE機能数理学セミナーの開催について（周知）】 　このたび、21世紀COEプログラム事業の一環として、標記セミナーを開設することになりました。今後各分野毎の既設研究セミナーとの合同開催や、著名な研究者による特別講演会、あるいは本研究院主催の国際・国内研究集会など種々の研究イベント を取り入れていきたいと思っています 　第1回はその発足に当たって、このたび10月1日付けでCOE研究員として着任された2名の方による下記の研究発表会を行いますので、多数ご参加されますようお願いいたします。 拠点リーダー：中尾充宏 21世紀COE機能数理学セミナー 事務局：川崎英文 第1回21世紀COE機能数理学セミナー 日　時： 2003年10月10日(金曜) 15：00〜17：00 場　所： 九州大学箱崎キャンパス 理学部 3号館 3階 3311 号室 講演者、講演題目 (1)井古田　亮： 「数値計算、形式的計算、および厳密解析を併用した偏微分方程式の研究」 (2)中川康二： 「Theorema プロジェクト と Mathematical Knowledge Management」 なお、セミナー終了後両氏の歓迎会をかねて、学内にて懇親会を予定しています。参 加のご案内は別途お知らせします。