論計祭＃1

2023/02/04(土)14:00 〜 17:00 開催

ブックマーク

プログラミング, スクール, 数学

イベント内容

論計祭 by 論計舎

論計祭 (ろんけいさい) について

従来、論理学友の会が担っていた発表の場の提供を論計舎がいたします。

第0回に続き、論計舎講師である川井が発表しますが、 ~~今回からは公募講演者を募ります~~。今回は、論計舎講師である牟田篤兄さんをお迎えして講師座談会を開きます。今後も論計舎が招待をしたり公募をしたりと発表される方を多様にしていきます。

なお、講師座談会のアーカイブ予定はありません。

論計祭は、数理論理学・理論計算機科学というを中心としつつも、コンピューターサイエンス・哲学・言語学・法学など様々な意味での「論と計の科学」に興味を持った方々に発表の機会を提供するとともに論計舎内外の講師講演を行う場です。

また論と計の科学に関する質問や論計舎のサービスに関する相談にお答えする質問・相談会も含まれます

プレ開催では、拙著「自然演繹100題ノック」に関するご質問・ご指摘や鹿島『数理論理学』の構成に関するご質問、また論計舎の講座受講に関するご相談などをいただきました。

「論と計の科学」

論理的に考えるとき、私たちは step by step でつまり一つ一つの正しい手続きを踏んで結論に至ります。同様に簡単な計算をするときでも、私たちは一行ごとに式を変形しながらやはり正しい手続きに従って値を求めます。

実はこの論理と計算が数学的に同じものであるという原理があり、それをCurry-Howard対応というのですが、コンピュータという論理的な推論の主役とプログラミングという計算の世界の王は表裏一体であると考えられています。このことから、論計舎は「論と計の科学」を掲げるのです。

論計祭が、そして論計舎が、提供する「論と計の科学」は、プログラミングはできているけどいっそう複雑だったり大規模だったりするプログラミング業務へ飛躍したい方や逆にプログラミングをできるようになりたいのにどこから手をつけていいかわからない方の、ボトルネックを解消するものです。

さらに「論と計」のうち「論」のほうに着目すると、人間の思考や科学という営みを説明するために哲学であったり、ことばを話せるとはどういうことかを理解するために言語学であったり、法律にまつわる厳密な議論を数学的に扱うためだったり、学術的な世界で様々に使われています。しかも、それらを産業や実務で応用していこうという動きも盛んになりつつあると言える現状があるでしょう。したがって、もしあなたが「正しさ」とか「厳密さ」とかそうしたある種の絶対的な保障や理解を求めるのであれば、「論と計の科学」はあなたに多くを与えるものなのです。

論計舎は「論と計の科学」を広めることをミッションとし、その普及を通して世の中を滑らかにそして明らかにすることを願っています。