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:887485@techplay.jp
SUMMARY:論計祭＃1
DTSTART;TZID=Asia/Tokyo:20230204T140000
DTEND;TZID=Asia/Tokyo:20230204T170000
DTSTAMP:20260428T101244Z
CREATED:20230107T063119Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/88748
 5?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n論計祭 by 論
 計舎\n論計祭 (ろんけいさい) について\n従来、論理学
 友の会が担っていた発表の場の提供を\n論計舎がいた
 します。\n第0回に続き、論計舎講師である川井が発表
 しますが、\n今回からは公募講演者を募ります。\n今回
 は、論計舎 講師である牟田 篤兄さんをお迎えして講
 師座談会を開きます。\n今後も論計舎が招待をしたり
 公募をしたりと発表される方を多様にしていきます。\
 nなお、講師座談会のアーカイブ予定はありません。\n
 論計祭は、数理論理学・理論計算機科学というを中心
 としつつも、コンピューターサイエンス・哲学・言語
 学・法学など様々な意味での 「論と計の科学」 に興
 味を持った方々に発表の機会を提供するとともに論計
 舎内外の講師講演を行う場です。\nまた論と計の科学
 に関する質問や論計舎のサービスに関する相談にお答
 えする質問・相談会も含まれます\nプレ開催では、拙
 著「自然演繹100題ノック」に関するご質問・ご指摘や
 鹿島『数理論理学』の構成に関するご質問、また論計
 舎の講座受講に関するご相談などをいただきました。\
 n「論と計の科学」\n論理的に考えるとき、\n私たちは s
 tep by step でつまり一つ一つの正しい手続きを踏んで結
 論に至ります。\n同様に簡単な計算をするときでも、\n
 私たちは一行ごとに式を変形しながらやはり正しい手
 続きに従って値を求めます。\n実はこの論理と計算が
 数学的に同じものであるという原理があり、\nそれをCu
 rry-Howard対応というのですが、\nコンピュータという論
 理的な推論の主役と\nプログラミングという計算の世
 界の王は表裏一体であると考えられています。\nこの
 ことから、\n論計舎は「論と計の科学」を掲げるので
 す。\n論計祭が、そして論計舎が、提供する「論と計
 の科学」は、\nプログラミングはできているけどいっ
 そう複雑だったり大規模だったりするプログラミング
 業務へ飛躍したい方や\n逆にプログラミングをできる
 ようになりたいのにどこから手をつけていいかわから
 ない方の、\nボトルネックを解消するものです。\nさら
 に「論と計」のうち「論」のほうに着目すると、\n人
 間の思考や科学という営みを説明するために哲学であ
 ったり、\nことばを話せるとはどういうことかを理解
 するために言語学であったり、\n法律にまつわる厳密
 な議論を数学的に扱うためだったり、\n学術的な世界
 で様々に使われています。\nしかも、それらを産業や
 実務で応用していこうという動きも盛んになりつつあ
 ると言える現状があるでしょう。\nしたがって、\nもし
 あなたが「正しさ」とか「厳密さ」とかそうしたある
 種の絶対的な保障や理解を求めるのであれば、\n「論
 と計の科学」はあなたに多くを与えるものなのです。\
 n論計舎は「論と計の科学」を広めることをミッション
 とし、\nその普及を通して世の中を滑らかにそして明
 らかにすることを願っています。\n開催日時\n02/04(土)14
 時から \nタイムテーブル\n14:00 開場\n14:15 開会と論計舎
 の説明\n14:30 川井発表「カリーハワード対応から始め
 る数理論理学」\n15:00 論計舎講師座談会 (川井、牟田さ
 ん\; アーカイブ予定なし）\n16:00 質問・相談会\n17:00 閉
 会\n参加\nこのページより参加登録いただきますと、 
 当日開場時にconnpassより会場の詳細がメールにて届き
 ます。\nconnpass運営からのメールを受信できるように設
 定しておいてください。\nまた参加のための情報はconnp
 ass内「参加者への情報」からもご覧になれます。\n募
 集\nリスナー\n途中の入退室は自由ですので、お気軽に
 ご参加ください。 ただし下記「YouTube公開について」
 をご参照ください。\n発表について\n論理学友の会で行
 っていた川井による連続講義「カリーハワード対応か
 ら始める数理論理学」の続きを行います。\n以下から
 過去のレコードがご覧になれます\nhttps://youtube.com/playli
 st?list=PLmMn7oKYtGGs0I3Ndx5UxhTR9e9gF5lD3\n質問・相談会につい
 て\n数理論理学および理論計算機科学に関する質問や
 論計舎のサービスに関する相談を受け付けます。\n質
 問・相談の時間帯では論と計の科学の内容的に踏み込
 んだ部分から「数理論理学・計算機科学ってなに/どう
 学んだらいいの」といった全体的なものまで質問を受
 け付けるとともに論計舎の受講に関する様々な質問・
 相談も募集しております。\n論計舎について\n論計舎は
 、数理論理学と理論計算機科学を主軸としたオンライ
 ン私塾です。\n論計舎では、選りすぐりの四人の講師
 がメンター講座とチューター講座というふたつの仕方
 でオンラインで数学の学びをサポートします。
LOCATION:オンライン
URL:https://techplay.jp/event/887485?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR