BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:数学修士から学ぶ専門数学【数理論理学編】#1
X-WR-CALNAME:数学修士から学ぶ専門数学【数理論理学編】#1
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:753297@techplay.jp
SUMMARY:数学修士から学ぶ専門数学【数理論理学編】#1
DTSTART;TZID=Asia/Tokyo:20191022T200000
DTEND;TZID=Asia/Tokyo:20191022T220000
DTSTAMP:20260522T062211Z
CREATED:20191003T054840Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/75329
 7?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n内容概要\n\n
 どの分野のトピックを学ぶにせよ、ベースになるのが
 数学の理解になります。\n大体の理系分野は大学1~2年
 の教養課程のレベルの数学がわかっていれば、基礎と
 しては\n問題ないですが、あえてもう少し深く学ぶこ
 とで洞察を得ようというのがこの企画の目的です。\n\n
 そのため、数学専門の講師にそれぞれの専門について
 解説してもらうようなセミナーのシリーズ\nとしてい
 ければと思います。\n第二弾企画として、数理論理学
 について専門的な見地から取り扱います！\n初回は命
 題論理と述語論理や一階述語論理式について取り扱い
 ます。\n\n大学3年生程度の数学の知識があれば問題な
 いように進行していきますので、ご興味おありの方は\
 nぜひご検討ください！\n\n\nアジェンダ\n\n① 形式論と
 論理式\n・命題論理と述語論理\n・一階述語論理式\n\n
 ② 意味論とモデル\n・一階述語論理のモデル\n・色々
 な例\n\n③完全性定理\n・定理の紹介\n・コンパクト性
 定理\n\n※この内容は原則説明はする予定ですが、状況
 次第で若干変更になる場合があります。\n\n\n開催日程\
 n\n10/22（火）　20:00〜22:00\n\n受付　：19:50〜20:00\n講義　
 ：20:00〜22:00\n\n※ 途中5~10分程度、休憩をはさみます。
 \n\n\n会場\n\n水道橋駅、神保町駅、九段下駅周辺\n千代
 田区西神田2-7-14 YS西神田ビル2F\n\n\n対象者\n\n・数理論
 理学に興味のある方\n・専門課程の数学に興味のある
 方\n\n\n当日のお持物\n\n演習のためのノートやメモ帳\n
 筆記用具\n\n\n費用\n\n・4\,000円（2時間）\n\n※ 領収書発
 行の際は事務手数料として（法人料金も兼ねてます）
 追加1\,000円いただきます。\n\n\n定員\n\n6名（人数に合
 わせて調整します、別媒体でも募集していますので申
 し込み人数は当日参加者数を反映しません）\n\n\n講師
 プロフィール\n\n筑波大学院数理物質科学専攻科博士前
 期課程を修了。\n数学基礎論(モデル理論)が専門。\n現
 在は企業で最適化や機械学習のリサーチや実装などを
 行っている。\n\n\nご参加にあたってのお願い\n\n無断欠
 席や前日以降のキャンセルに関しては当日人数読めな
 くなり非常に迷惑なので\n基本的に行わないようにお
 願いします。（直前参加は定員的に問題なければ歓迎
 です！）\n体調不良、職務都合、ご家庭の事情などど
 うしてものケースは別途ご連絡いただくか、\nイベン
 トへのお問い合わせよりご連絡いただけますと嬉しい
 です。\n上記がひどいアカウントに関してはブラック
 リスト処理を行い以後の参加をお断りさせて\nいただ
 きますので、その点だけ予めご了承ください\n（7割以
 上来れる前提でのお申し込みと前日以降のキャンセル
 はメッセージでのご連絡を\nいただくということだけ
 気をつけていただければ大丈夫だと思います）\n\nモチ
 ベーションの高い参加者の方を重視する運営としてい
 きたいと考えています。\nご協力のほど、よろしくお
 願いいたします。\n\n
LOCATION:
URL:https://techplay.jp/event/753297?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR