マス・フォア・インダストリ研究所

研究集会・ワークショップ・国際会議



研究集会・ワークショップ・国際会議(一覧)

第29回JST数学キャラバン 拡がりゆく数学 in 福岡


開催時期 2018-12-15 13:50~2018-12-15 18:00

場所 九州大学 稲盛財団記念館 稲盛ホール



 第29回JST数学キャラバン 拡がりゆく数学 in 福岡

 
 主催:
 九州大学マス・フォア・インダストリ研究所
(本企画は伊都キャンパス完成記念行事の一つとして行われます)
 共催:
 国立研究開発法人科学技術振興機構 (JST)
 後援:
 福岡県教育委員会
 九州数学教育会


国立研究開発法人科学技術振興機構 (JST) によるプロジェクト「さきがけ」の領域の一つである「社会的課題の解決に向けた数学と諸分野の協働」において研究推進中の若手数学者を中心に,毎年全国をまわって開催している主に高校生を対象とした講演会です.今年度、福岡地区において初めての本企画数学キャランバンをJSTの支援を受けて開催します.数学キャラバンは、高校生への数学企画とはいえ,どの分野・業種に進むとしても社会と数学のつながりとその知識/学問を修得することのできる意義のある企画であると考えております.
 
 開催日  2018年12月15日(土) 13:50 - 18:00
 
 開催場所  819-0395 福岡市西区元岡744 (九州大学 伊都キャンパス内)
 九州大学 稲盛財団記念館 稲盛ホール
 伊都キャンパスへのアクセスについては こちら をご覧ください.
 
 プログラム

 13:20 - 13:50 受付

 13:50 - 14:00 開会挨拶

 14:00 - 14:45 「アルゴリズムのはなし」 来嶋 秀治 (九州大学/JSTさきがけ)
     アブストラクト :
複雑な問題も,高性能なコンピュータを使えば計算できる,と言うわけではありません.問題を解くための計算の方法=アルゴリズムについて,本講演ではお話しします.インターネット検索,最短経路探索,コンピューター将棋・囲碁など,コンピュータ(計算機)の中で行われている「計算」とは何かについて考え,100万ドルの懸賞金がかけられている高速計算に関する世紀の未解決問題「P=NP問題」を紹介します.
 
15:00 - 15:45 「次元を数える」本多 正平 (東北大学)
     アブストラクト :
点は0次元,線は1次元,面は2次元,今住んでいる世界は3次元.そんな説明を聞いたことがあるでしょうか.実は信じがたいことに,2次元のように見えて3次元,3次元のように見えて2次元,2次元のような気もするが3次元のような気もしてしかし実はどちらでもない,なんて図形もあります.そもそも次元というのは何なのでしょうか.本講演ではこの問いに一つの答えを与えること,そして時間があれば,そのような信じがたい図形の上で微分積分をしてみたいと思っています.
 
16:00 - 16:45 「まわれメビウス折り紙」鍛冶 静雄 (九州大学/JSTさきがけ)
     アブストラクト :
ヘキサフレクサゴンやカライドサイクルと呼ばれる、一枚の紙から折れるおもちゃで遊んだことはあるでしょうか? 写真の中で私が持っている、一見すると王冠のできそこないみたいな形がカライドサイクルなのですが、不思議なことにくるくると動かし続けることができます。その背後には、幾何と代数が手を取り合ってまわる姿が垣間見られます。彼らの織りなす華麗なダンスをのぞいて見ましょう。
 
17:00 - 17:45 「プログラムが正しく動くことを「証明」せよ」末永 幸平 (京都大学/JSTさきがけ)
     アブストラクト :
コンピュータにおいては,様々なソフトウェアが動作しています.例えば,みなさんがインターネットに接続し,様々なホームページを閲覧する際にはブラウザと呼ばれるソフトウェアを使うでしょう.また,文書を作るためにMicrosoft Word 等の文書作成用のソフトウェアを使った経験のある人もいるかもしれません.ソフトウェアを作成するためには,コンピュータにソフトウェアがどのように動作すべきかを教える必要があります.この,いわば「指示書」をプログラムと呼びます.プログラムをプログラミング言語と呼ばれる特別な言語で作成し,コンピュータが理解できる形式に変換することでソフトウェアを作ることができます.私は誤りなくプログラムを作成するために数学を使う方法を研究しています.具体的には「プログラムが正しく動くことを自動的に証明するプログラム」の研究をしています.講演では,なぜこのような研究が必要なのか,なぜ数学がそこに関わってくるのかをお話ししようと思います.
 
18:00               閉 会
 
 参加申込み
 (要事前登録) 
 対象 : 高校生・一般 (内容は高校生向け)
 ※ 参加費 : 無料 ただし事前登録が必要
    (登録は こちら からお願いします)
     定員:250名 (空席がある場合、当日参加も可能です)
   
 現地世話人  溝口 佳寛 (九州大学マス・フォア・インダストリ研究所)
 鍛治 静雄 (九州大学マス・フォア・インダストリ研究所)
 神山 直之 (九州大学マス・フォア・インダストリ研究所)
 千葉 逸人 (九州大学マス・フォア・インダストリ研究所)
 
 お問合せ先  神山 直之 (九州大学マス・フォア・インダストリ研究所)
 kamiyama(at)imi.kyushu-u.ac.jp