土19時開演
【ロマ数トレラン】確率論のカリー／ハワード／ランベック対応
オンライン
18:45
19:00
・ガイダンス回 無料
・本セミナー 65,500円
※早期割引あり
檜山正幸
ロマ数トレランの詳細については下記ページ内リンクをご覧ください。
ロマ数学トレランとは>>
∞セミナー概略∞
カリー／ハワード／ランベック対応とは、圏論を要〈かなめ〉として、複数の分野を結びつける対応関係です。典型例は「簡単なプログラミング言語（ラムダ計算）、簡単な論理（連言含意論理）、とある圏（デカルト閉圏）」の三者の対応ですが、この他にもカリー／ハワード／ランベック対応の事例は色々とあります。
去年2020年のセミナーにおいて「線形代数、コンパクト論理、コンパクト閉圏、それとフィクションの素粒子物理」のカリー／ハワード／ランベック対応を取り上げました。
2021年のセミナーでは、それとはまた別なカリー／ハワード／ランベック対応である「マルコフ・テンソル計算、確率的論理、マルコフ圏」のあいだの対応をテーマにしたいと思います。確率論を圏論的に捉えましょう、という話だと思ってもらっていいです。
演習の時間をとるので、確率的状況を表す図（ストリング図）を描いたり、具体的な確率の計算（テンソル計算）をする練習をします。
次のブログ記事に、より詳しい内容を記載しています。
ただし、この記事に書いてある事は概念的な背景なので、セミナー自体はより具体的で、計算練習を含むものです。
∞セミナーの特徴∞
過去の檜山先生のロマ数ゼミでは時間の関係上、実際に手を動かして計算するという重要な部分を宿題にして皆さんの自主性にお任せするという形で進めていましたが、本セミナーはセミナーの時間の中にしっかり計算を行う時間を設けており、質問も適宜受け付けます。そのため参加者を最大8名に限定し、学校の一方通行に近い授業形態とは違い、双方向の対話によりしっかりとした理解を得ることを目標に進めていきます。
∞セミナー内容（学習する項目）※全10回で以下のトピックを解説していきます。∞
各回の内容に対応するものではありません。また、順番もこの順で進むとは限りません。
1. 圏の基本概念（檜山の過去セミナー受講者にとっては復習）
2. 線形代数の基本概念（檜山の過去セミナー受講者にとっては復習）
3. 有限集合と確率的非決定性を持つ関数
4. マルコフ行列・マルコフ・テンソルとその計算
5. マルコフ圏
6. 条件化、同時化、ベイズ反転
7. 確率モデルとベイズ推論
8. 確率的論理とアブダクション
∞講師∞
檜山 正幸（ひやま まさゆき）
1955年栃木生まれ。平成17年度「情報処理学会」業績賞受賞。長年システム開発に従事してきた経験から、数理論理学、圏論、コンピュータ数学の指導で定評がある。大人のための数学教室「和」講師。
〇役職歴
・テクニカルコミュニケーター協会 理事
・国際大学グローバル・コミュニケーション・センター フェロー
・XML開発者の日 議長
・JIS/INSTAC委員
・XMLJapan.org 技術アドバイザー など
〇書籍
・「決定版!ビジネスドキュメントの説得技法」（日本経済新聞社）共著
・「Informix-SQL：4.0対応」（トッパン）
・「INSIDE LINUX オペレーティングシステム」（レーザー5出版局）監訳 など多数
〇ブログ キマイラ飼育記>>（2005年開始）
∞受講対象∞
1. 集合と写像について知っている（檜山のセミナーの共通前提）。
2. 行列の計算ができる（これも、檜山のセミナーの共通前提）。
3. できれば、論理記号（∧, ∨, ￢, ∀, ∃）について知っている。ある程度は使える。
4. 数学的トレーニングに耐えられる気力・体力。
∞開催場所∞
オンライン(zoom)
※好きな場所でご受講できます。「zoom」を用いてオンラインでセミナーを行います。
※ブラウザが利用できるPCやタブレットなどの環境をご用意ください。
※iPad等タブレットの使用は一部機能が制限される場合がございます。パソコン端末でのご参加を推奨いたします。
∞開催日時∞
第0回2021年1月16日(土) 18時00分～19時30分（ガイダンス回・無料）
第1回 1月30日(土) 18時00分～20時30分
第2回 2月6日(土) 〃 (例外的に第1回の一週間後)
第3回 2月20日(土) 〃
第4回 3月6日(土) 〃
第5回 3月27日(土) 〃 (例外的に第4回の三週間後)
第6回 4月10日(土) 〃
第7回 4月24日(土) 〃
第8回 5月8日(土) 〃
第9回 5月22日(土) 〃
第10回 6月5日(土) 〃
※1月16日の第0回は1月30日開講の本セミナーのガイダンス回となります。
※第0回に参加しなくても第1回目以降は申し込むことは可能です。
※タイトルはあくまで予定のものであり、受講生の理解度やご要望によって変更の可能性がありますのでご注意ください。
※セミナー時間150分の内、30分は受講生からの質問、議論に充てられるように設計しています。
※各セミナーの録画をゼミ最終回の1か月後まで視聴できるようにしますので、欠席の回があっても問題ありません。
∞料金とお申し込みに関して∞
・ガイダンス回(1月30日) 無料
⇒こちらのページの案内に沿ってお申し込みください。
(https://m-hiyama.hatenablog.com/entry/2021/01/12/125307)
・本セミナー(全10回) 65,500円(早期割引:62,500円)
⇒お申込み(googleフォーム)
※セミナーの性格上本セミナーの定員は8名とさせていただきます(先着順)。
※本セミナーお申し込みの方に振込先の口座をご連絡いたします。
※最小履行人数は4名となります。最小履行人数に満たない場合、非開催となり、料金は返金させていただきます。開催有無は第一回ゼミの1週間前に確定となります。
※早期割引はガイダンス回翌日までに全回お申し込みの適用いたします。
※日程、時間の都合でガイダンス回に参加できない方は、担当の松中(メール：romanticmathnight@wakara.co.jp)までご連絡ください。ガイダンス回当日中に録画した動画を視聴できるように手配いたします。ただし、早期割引が適用されるのはガイダンス回の翌日までとなりますので、予めご了承ください。
∞本セミナー受講希望者の方向けの注意事項∞
・通信トラブル等が発生した時に、講師、受講生で円滑に連絡を取り合えるようLINEグループを作成します。LINEグループへの参加は必須とさせていただきますので、予めご了承ください。
・オンラインセミナー受講の際に必要となるパソコン、タブレットまたはスマホ等の通信機器、およびWiFi等のインターネット接続サービスは受講生ご自身でご準備いただきます。
・Apple Pencilなどのスタイラスペンやペンタブなど、画面にペンによる書き込み、描画を行える環境をご準備いただくことを推奨いたします。
・各セミナーの録画動画を最終回の1か月後まで視聴できるようにしますので、出席できない回は動画での受講が可能です。
・欠席者には録画動画だけでなく、セミナーで使用する配布資料(pdfファイルやurl等)も出席者同様配布いたします。
∞ロマ数トレランとは∞
「時間はかかってもいいから数学の美しさを中身からしっかり理解したい！」
聞いているだけでわくわくする華やかなテーマが満載のロマンティック数学ゼミ。
その根底となる理論からしっかり学びたい。ロマ数トレランはそんな声から生まれました。
ロマ数トレランは、ロマン溢れる数学を語ることができる講師による、講義形式ではなく、双方向の対話に重きをおいた受講者参加型の少人数制ゼミです。
実際に手を動かしたり、しっかりと質問、議論をする時間を設けることで
内容を確実に理解することを目標とします。同じ気持ちをもった仲間と一緒に学んだ先には新しい数学の世界が待っています。
～トレランとは～
山を縦走する山岳レースを意味するトレイルランニングの略です。
急坂は大変な時はありますが、いったん頂上に上がれば壮大な風景を楽しむことができます。
数学も同じです！平坦な道も、下り坂も、そして時にはハードな時もありますが、頑張って登りきれば素晴らしい風景が広がっているのです！
※ロマ数トレランでは受講生の理解に合わせて講師が適切な速度になるよう誘導しますが、受講者の理解を優先するため、カリキュラムの進度は確約いたしかねますので、予めご了承ください。
※質問の内容がセミナーの趣旨とそれる場合や、セミナーの適切な進行の妨げになると講師が判断した場合には、解説はセミナー内ではなく別途個別指導をご受講いただくようご案内することがあります。
※ロマ数トレランにはビデオ視聴以外に欠席保証はございません。ビデオは出席の有無に関わらずご視聴いただけます。
∞企画運営∞
和から株式会社
渋谷（本社）・新橋・大阪にて社会人向けの数学個別指導教室「大人のための数学教室 和（なごみ）」や「大人のための統計教室和」を運営。数学が苦手な大人から 数学の業務・研究応用を 目的としているマーケター、経営者、大学教授まで様々な背景を持つ社会人に対して必要な数学や統計学の授業を日々提供している。企業におけるデータセンス研修やデータ分析研修も実施。
和から株式会社HPはこちら>>
∞お問い合わせ∞
和から株式会社 松中宏樹
MAIL：class@wakara.co.jp