2016/11/19(土) 26(土) 開催 理学部公開講座

料 講
受
料
無
平成28年度
千葉大学理学部公開講座
計 算 機
証 明
計算機がこの世に誕生して以来、工学や物理学だけではなく、整数論など純粋数学と呼ばれ
る分野でも計算機が積極的に活用されてきた。初期の頃は計算や数値実験などが主だったが、
ハードウェアやソフトウェア、情報数理学の発展とともに、数学の理論的な側面である「証明」
への利用が大きな広がりを見せようとしている。またプログラムと証明の興味深い関係につ
いても研究が進んでいる。
本講座では「数学基礎論から見た計算機と証明の関係」、
「計算機による証明支援システム」、
「プ
ログラムと証明」などについて具体的な例を通して分かりやすく解説していく。
11 19
平成28年
月
日
土
26日
・
開催
場所
理学部１号館１階 大講義室
募集
人数
受付
期間
平成28年９月15日（木）∼10月17日（月）
土
60名（一般および高校生）
ただし、定員になり次第締め切らせていただきます。
“千葉大学理学部公開講座受講希望”と記し、氏名（ふりがな）
・年齢・性別・職業
または学年・連絡先（郵便番号・住所・電話番号）を明記のうえ、以下【申込先】へ
お送りください。
申込
方法
︻ 申 込 先 ︼
はがきの場合
〒263-8522 千葉市稲毛区弥生町1-33
FAXの場合
FAX番号：043-290-2874
千葉大学理学部学務係 宛
電子メールの場合
証明支援ソフトウェア
Coq
千葉大学理学部学務係 宛
E-mailアドレス：iad2880@office.chiba-u.jp
※申込みの際に記載いただいた個人情報は本公開講座業務以外には使用しません。
四色問題に関連するグラフ
日程・講義題目等
期日
時間
11月19日
9：30∼10：00
（土）
11月26日
（土）
問い合わせ
講義題目
講師
理学部１号館
北門
受 付
10：00∼10：10
開講の挨拶
理学部長
10：10∼12：00
計算機と証明 ‒ 過去と現在
理学部・理学研究科准教授
13：10∼15：00
四色問題と計算機
理学部・理学研究科教授
15：10∼17：00
計算機と証明 ‒ 数学基礎論の立場から
理学部・理学研究科教授
10：00∼11：50
かけ算の順序問題を計算機で考える
理学部・理学研究科准教授
13：00∼14：50
帰納的定義と計算機による証明
理学部・理学研究科准教授
15：00∼16：50
統計的因果関係の計算と証明
理学部・理学研究科教授
16：50∼17：00
閉講の挨拶、修了証書授与 等
柳澤 章
松田 茂樹
渚 勝
新井 敏康
正門
至 みどり台駅
萩原 学
山本 光晴
汪 金芳
JR 西千葉駅
南門
千葉大学理学部学務係 〒263-8522 千葉市稲毛区弥生町1-33 TEL：043-290-2881 FAX：043-290-2874 E-mail：iad2880@office.chiba-u.jp