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