ロマンティック数学ナイト

  • HOME
  • 数学イベント情報
  • イベント詳細

EVENT INFORMATION数学イベント情報

【ロマ数トレラン】カリー・ハワード対応から見る「プログラミング言語、論理システム、圏」

15時開演

【ロマ数トレラン】カリー・ハワード対応から見る「プログラミング言語、論理システム、圏」

オンライン

14:45

15:00

・ガイダンス回 無料
・本セミナー 65,500円
※早期割引あり

檜山正幸

ロマ数トレランの詳細については下記ページ内リンクをご覧ください。
ロマ数学トレランとは>>

∞セミナー概略∞

カリー・ハワード対応(あるいはカリー・ハワード・ランベック対応)とは、「プログラミング言語、論理システム、圏」の三者のあいだを結ぶ対応関係です。カリー・ハワード対応を「既によく知っている三者を結び付けるもの」として理解しようとすると、「プログラミング言語、論理システム、圏」についてはよく知っていなくてはなりません。そうではなくて、次のように考えましょう。

∞カリー・ハワード対応を意識しながら進めば、「プログラミング言語、論理システム、圏」の三者を、同時に効率よく楽しく学べる。∞

論理として特に、一値論理という一見バカバカしい論理(バカバカしくはない!)を取ると、カリー・ハワード対応により対応付けられる圏は線形代数の枠組みとなります。なんと、カリー・ハワード対応の応用例のひとつとして線形代数も学べてしまうのです。


hiyama3

 

∞セミナーの特徴∞

過去の檜山先生のロマ数ゼミでは時間の関係上、実際に手を動かして計算するという重要な部分を宿題にして皆さんの自主性にお任せするという形で進めていましたが、本セミナーはセミナーの時間の中にしっかり計算を行う時間を設けており、質問も適宜受け付けます。そのため参加者を最大8名に限定し、学校の一方通行に近い授業形態とは違い、双方向の対話によりしっかりとした理解を得ることを目標に進めていきます。

 ∞セミナー内容(学習する項目)※全10回で以下のトピックを解説していきます。∞

1. 圏の基本概念
2. 論理システム〈演繹システム〉の基本概念
3. 型付きラムダ計算の基本
4. 連言含意論理と型付きラムダ計算の対応
5. 一値論理〈コンパクト論理〉
6. コンパクト閉圏上のシーケント計算
7. 線形代数の圏論的再解釈

※カリー・ハワード対応について檜山先生の書下ろし記事があります!是非ご参照ください!
⇒「https://wakara.co.jp/mathlog/20200617

∞講師∞

檜山 正幸(ひやま まさゆき)

hiyama2
1955年栃木生まれ。平成17年度「情報処理学会」業績賞受賞。長年システム開発に従事してきた経験から、数理論理学、圏論、コンピュータ数学の指導で定評がある。大人のための数学教室「和」講師。
〇役職歴
・テクニカルコミュニケーター協会 理事
・国際大学グローバル・コミュニケーション・センター フェロー
・XML開発者の日 議長
・JIS/INSTAC委員
・XMLJapan.org 技術アドバイザー など

〇書籍
・「決定版!ビジネスドキュメントの説得技法」(日本経済新聞社)共著
・「Informix-SQL:4.0対応」(トッパン)
・「INSIDE LINUX オペレーティングシステム」(レーザー5出版局)監訳 など多数

〇ブログ キマイラ飼育記>>(2005年開始)

Godel1-300x200

受講対象∞

1. 集合と写像について知っている(檜山のセミナーの共通前提)。
2. 行列の計算ができる(これも、檜山のセミナーの共通前提)。
3. できれば、論理記号(∧, ∨, ¬, ∀, ∃)について知っている。ある程度は使える。
4. 数学的トレーニングに耐えられる気力・体力。

∞開催場所

オンライン(zoom)

※好きな場所でご受講できます。「zoom」を用いてオンラインでセミナーを行います。
※ブラウザが利用できるPCやタブレットなどの環境をご用意ください。
※iPad等タブレットの使用は一部機能が制限される場合がございます。パソコン端末でのご参加を推奨いたします。

∞開催日時

第0回2020年6月27日(土) 15時00分~16時30分(ガイダンス回・無料)
第1回 7月18日(土) 15時00分~17時30分
第2回 8月1日(土) 15時00分~17時30分
第3回 8月22日(土) 15時00分~17時30分
第4回 9月5日(土) 15時00分~17時30分
第5回 9月19日(土) 15時00分~17時30分
第6回 10月3日(土) 15時00分~17時30分
第7回 10月17日(土) 15時00分~17時30分
第8回 10月31日(土) 15時00分~17時30分
第9回 11月14日(土) 15時00分~17時30分
第10回 11月28日(土) 15時00分~17時30分

※6月27日の第0回は7月25日開講の本セミナーのガイダンス回となります。
※第0回に参加しなくても第1回目以降は申し込むことは可能です。
※タイトルはあくまで予定のものであり、受講生の理解度やご要望によって変更の可能性がありますのでご注意ください。
※セミナー時間150分の内、30分は受講生からの質問、議論に充てられるように設計しています。
※各セミナーの録画をゼミ最終回の1か月後である2020年12月28日まで視聴できるようにしますので、欠席の回があっても問題ありません。


px0010030918m

∞料金とお申し込みに関して

・ガイダンス回(6月27日)  無料
⇒お申込み(peatix)
・本セミナー(全10回)  65,500円(早期割引:62,500円)
⇒お申込み(googleフォーム)

※セミナーの性格上本セミナーの定員は8名とさせていただきます(先着順)。
※本セミナーお申し込みの方に振込先の口座をご連絡いたします。
※最小履行人数は4名となります。最小履行人数に満たない場合、非開催となり、料金は返金させていただきます。開催有無は第一回ゼミの1週間前である7月11日に確定となります。
※早期割引はガイダンス回翌日までに全回お申し込みの適用いたします。
※日程、時間の都合でガイダンス回に参加できない方は、担当の松中(メール:romanticmathnight@wakara.co.jp)までご連絡ください。ガイダンス回当日中に録画した動画を視聴できるように手配いたします。ただし、早期割引が適用されるのはガイダンス回の翌日までとなりますので、予めご了承ください。

∞本セミナー受講希望者の方向けの注意事項

・通信トラブル等が発生した時に、講師、受講生で円滑に連絡を取り合えるようLINEグループを作成します。LINEグループへの参加は必須とさせていただきますので、予めご了承ください。
・オンラインセミナー受講の際に必要となるパソコン、タブレットまたはスマホ等の通信機器、およびWiFi等のインターネット接続サービスは受講生ご自身でご準備いただきます。
・Apple Pencilなどのスタイラスペンやペンタブなど、画面にペンによる書き込み、描画を行える環境をご準備いただくことを推奨いたします。
・各セミナーの録画動画を最終回の1か月後である2020年12月28日まで視聴できるようにしますので、出席できない回は動画での受講が可能です。
・欠席者には録画動画だけでなく、セミナーで使用する配布資料(pdfファイルやurl等)も出席者同様配布いたします。

∞ロマ数トレランとは∞

「時間はかかってもいいから数学の美しさを中身からしっかり理解したい!」
聞いているだけでわくわくする華やかなテーマが満載のロマンティック数学ゼミ。
その根底となる理論からしっかり学びたい。ロマ数トレランはそんな声から生まれました。

ロマ数トレランは、ロマン溢れる数学を語ることができる講師による、講義形式ではなく、双方向の対話に重きをおいた受講者参加型の少人数制ゼミです。
実際に手を動かしたり、しっかりと質問、議論をする時間を設けることで
内容を確実に理解することを目標とします。同じ気持ちをもった仲間と一緒に学んだ先には新しい数学の世界が待っています。

~トレランとは~
山を縦走する山岳レースを意味するトレイルランニングの略です。
急坂は大変な時はありますが、いったん頂上に上がれば壮大な風景を楽しむことができます。
数学も同じです!平坦な道も、下り坂も、そして時にはハードな時もありますが、頑張って登りきれば素晴らしい風景が広がっているのです!

※ロマ数トレランでは受講生の理解に合わせて講師が適切な速度になるよう誘導しますが、受講者の理解を優先するため、カリキュラムの進度は確約いたしかねますので、予めご了承ください。
※質問の内容がセミナーの趣旨とそれる場合や、セミナーの適切な進行の妨げになると講師が判断した場合には、解説はセミナー内ではなく別途個別指導をご受講いただくようご案内することがあります。
※ロマ数トレランにはビデオ視聴以外に欠席保証はございません。ビデオは出席の有無に関わらずご視聴いただけます。

gf2330863974m

∞企画運営∞

和から株式会社
渋谷(本社)・新橋・大阪にて社会人向けの数学個別指導教室「大人のための数学教室 和(なごみ)」や「大人のための統計教室和」を運営。数学が苦手な大人から 数学の業務・研究応用を 目的としているマーケター、経営者、大学教授まで月間400名(2016年3月現在)を超える社会人に対して必要な数学や統計学の授業を日々提供している。企業におけるデータセンス研修やデータ分析研修も実施。
和から株式会社HPはこちら>>

∞お問い合わせ∞
和から株式会社  松中宏樹
MAIL:class@wakara.co.jp

totop