研究者、技術者のための、もう一度、数学

ー募集を終了いたしました。たくさんのご応募ありがとうございましたー
開講時間
2018年1月22日(月)、23日(火)、24日(水)
いずれも10:00~16:00
全日程3日間(1日ごとの選択受講も承ります。カリキュラム等、詳細は下記をご覧ください。)
募集人員
15名 先着順にて承ります。
開催場所
かながわサイエンスパーク内 研修室 (川崎市高津区坂戸3-2-1)
◆ JR南武線「武蔵溝ノ口」・東急田園都市線「溝の口」下車
シャトルバス 5 分
>> Mapはこちら
◆ JR 新横浜駅より東急バス(有料)直行「溝の口駅」行き30 分
「高津中学校入口」下車徒歩3 分
対象者
●企業、研究機関にご所属で、業務の中でシミュレーションや解析を行いながら、この計算の根拠がわからない、と悩む方。
●そもそもコンピュータとは何か、数学を使って考えてみたい方
●計算機の中で動いている論理についてきちんと知りたい方
●数値シミュレーションの基盤となっている数学を知りたい方
●学生時代は何の役に立つのかわからず数学に対する興味を失ってしまったが、社会に出てからその必要性を再認識している方
●生命科学・医療・環境・流通など、諸分野の課題を数学的手法で解決できたら・・・と考える方
カリキュラム編成者からのメッセージ
現代の科学技術は、その多くが陰に陽に数学に依拠しています。日常生活でそれを意識することはほとんどないとしても、何かを作ろう、改良しようという立場にある人にとって、数学とのつきあいは避けては通れません。また、イノベーションを起こすには一つの分野を極めるだけでは済まず、多くの分野の協働が不可欠です。ここでも諸科学の共通言語である数学に必ず向き合うこととなります。
数学との「つきあい」の歴史も人さまざまです。あまりよい思い出を持っておられない方もいらっしゃるかもしれません。しかし社会に出てから日々の業務で様々な問題に直面し、「数学をもっとやっていたらよかったなぁ」と思ったりもする、そのような方々を思い浮かべつつ企画した本講座は、
(1) 社会に出た今だからこそわかる実例と結びつけ、大学初年級での数学の復習を中心に進める講義(担当:水藤)と
(2) 数値シミュレーションの基盤となる解析学の話題を掘り下げる講義(担当:齊藤)から構成されています。
比較的とっつきやすい (1) に始まり、(2) では数値シミュレーションの基礎を題材に、その数学的な意味をとことん考えます。日々の業務の中でシミュレーションや解析について悩む多くの方々にとって、これらの講義を聞いたからと言ってすぐにそれが解決するわけではもちろんありませんが、「なぜそうなっているのか?なぜそうしなければならないのか?」を真剣に考えるための重要な拠り所を提供できると考えています。
比較的少人数の講座として、わからないことも質問しやすい雰囲気を作りたいと思います。
「もう一度数学がやりたい!」という方々とお会いできるのを楽しみにしています。
受講料(消費税込)
カリキュラム内容と日程
1月22日(月) | ||
---|---|---|
10:00~11:30 | 偏微分方程式を用いたシミュレーションと大学での微分積分 | |
流れのシミュレーションを題材に、大学初年級の微分積分学との関係を紹介します。微分方程式の性質と実際の現象の特徴との関係、部分積分の意味、微分方程式を差分法や有限要素法で近似すること、座標変換による複雑な形状の表現などを取り上げ、高校や大学で習った微積分学の復習をしつつ、次のより高度な講義への準備とします。 |
||
講師:水藤 寛 | ||
12:30~14:00 |
数値計算の落とし穴 | |
様々な数値計算法を、数学の定理として定式化し、具体的な計算例と比較検討を行います。そうすることで、それぞれの手法がうまく行く理由、行かない理由が、より明快に理解できます。特に、反例を経験しておくことは、思わぬ落とし穴を避けるために有益です。また、具体的に計算方法を実装するまえの事前検討や事後反省にも役立ちます。 |
||
講師:齊藤 宣一 | ||
14:30~16:00 |
差分法の数理 ★演習を行います | |
差分法は、単純な原理に基づいた、強力な近似解法の一つです。しかし、近似である以上その正当性・妥当性に注意を払う必要があります。この講義では、特に、適合性、安定性、収束性について詳しく説明し、ラックスの同値性定理、CFL 条件を紹介します。これらは、数学的な命題・定理なので、色々な概念を正確に理解しないと、役に立つ情報が得られません。講義内で、理解を確認するための、簡単な演習も行います。 |
||
講師:齊藤 宣一 | ||
1月23日(火) | ||
10:00~11:30 | 流れの数値シミュレーションと大学での線形代数 | |
大規模シミュレーションにおいて必要となる線形計算、つまり「連立方程式を解くこと」を題材に、大学で習った線形代数学を復習します。掃き出し法、行列式、行列の階数、対称行列と反対称行列への分解、直交化、固有値固有ベクトルなどが、実際の問題に役に立っている例を示していきます。 |
||
講師:水藤 寛 | ||
12:30~14:00 |
微分できない関数を微分する:超関数と関数空間 ★演習を行います | |
シュワルツの意味での超関数、とくに、超関数の意味での導関数を導入してその性質を検討します。そのあと、ソボレフ空間の導入をします。数学的な定理について、証明自体は述べませんが、証明の概略を、定理の内容を理解してもらう趣旨で説明することはあります。講義内で、理解を確認するための、簡単な演習も行います。 |
||
講師:齊藤 宣一 | ||
14:30~16:00 |
解は存在するか?:関数解析入門 ★演習を行います | |
関数解析学における定理の中でも最も応用で役立つものの一つである、射影定理を説明して、偏微分方程式の変分法的定式化について述べます。有名なラックス・ミルグラムの定理を紹介します。講義内で、理解を確認するための、簡単な演習も行います。 |
||
講師:齊藤 宣一 | ||
1月24日(水) | ||
10:00~11:30 | 数値シミュレーション結果の可視化と数学 | |
数値シミュレーション結果は数字の羅列ですから、それを理解するためには可視化の技術が必須となります。 |
||
講師:水藤 寛 | ||
12:30~14:00 |
有限要素法の数理 | |
有限要素法は、数ある偏微分方程式の近似解法の中でも、差分法と並んで、最も強力なものの一つです。 |
||
講師:齊藤 宣一 | ||
14:30~16:00 |
数理科学と諸分野の協働 | |
数学・数理科学と諸分野の協働を目指す JST の戦略研究領域の活動を紹介し、特に数理科学と臨床医学の協働例を取り上げて、数学・数理科学が社会に提供できるものは何か、数学・数理科学をどうやって「活用」したらよいのか、を考えます。 |
||
講師:水藤 寛 |
お申込みはこちら
申込要項をご覧の上お申込下さいますようお願い申し上げます。
- 申込締切後、受講決定者には受講票・受講料請求書等の必要書類をお送りいたします。
- 募集人員を大幅に超えた応募があった場合は、選考させていただくことがあります。
- 申込締切後でも、定員に余裕がある場合は申込を受付けられる場合がございますのでお問い合わせ下さい。
【個人情報の利用及び提供の制限】
- 申込書にご記入いただいた個人情報は、当所の事業等に関する情報の提供や参加者募集の案内等の範囲内で利用又は提供いたします。
- 個人情報は、取り扱い目的以外に利用したり第三者に提供することはありません。
主催
地方独立行政法人 神奈川県立産業技術総合研究所
後援・協賛(一部申請中)
国立研究開発法人 科学技術振興機構 (一社)日本数学会 (一社)日本応用数理学会 (公社)応用物理学会
(一社)日本鉄鋼協会 (公社)精密工学会 (一社)日本複合材料学会、(一社)日本鋼構造協会
(公社)日本材料学会 (一社)日本原子力学会 (一社)日本シミュレーション学会 (一社)日本流体力学会
(一社)日本計算工学会 (公社)化学工学会 (一社)電気学会 (一社)化学とマイクロ・ナノシステム学会
(一社)日本ロボット学会 (公社)日本医学放射線学会 (公社)高分子学会 (特非)日本バイオインフォマティクス学会
川崎商工会議所 (株)ケイエスピー (公財)大田区産業振興協会