マガジンのカバー画像

論計舎代表blog

7
論計舎代表かわいのblogという位置付けである予定です。業務や日常生活の中で思ったこと・感じたことを記していく所属ですので、お代はいりませんがお捻りは歓迎でございます。とは言い条… もっと読む
運営しているクリエイター

記事一覧

2023年9月18日月曜日の無料相談会のご案内

来週の月曜日09月18日14時半から論計舎の無料相談会をZoomにて行います。 普段の「無料相談通…

尾崎さんが論計舎に参加

従来から論計舎に関わっていた尾崎 竜史さんがついに講師として参加しました。 実は尾崎さん…

300

イベント告知 #論理と積分にかかる虹 於 学問バーKisi京都店

酷暑の中いかがお過ごしでしょうか? 論計舎 川井です。 Twitterではお伝えしたイベントがい…

[高校生や学部生の方へ]論と計の科学とは何なのか、そしてそれは高校生・学部生のあな…

近年、学問や社会の様相は急速に変化しています。その中で、数理論理学と理論計算機科学がこれ…

「自然演繹100本ノック」をシークエント計算で解こう

自然演繹100本ノックという教材を公開しています。論計舎 web shopより無料にてDLいただけます…

論計舎代表かわいの自己紹介

ごきげんよう。 川井 新 (かわい しん) と言います。 この記事では、自己紹介を通じて私のこと…

論計舎の紹介

論計舎(ろんけいしゃ)は、 数理論理学と計算機科学を主軸とした オンライン私塾です。 チューター講座とメンター講座を開講し、様々なイベントも行なっています。 論計舎は数理論理学と計算機科学を「論と計の科学」として掲げそれを伝え広めることをミッションとしています。 そこには数学的な原理が背景にあり、論理・計算を必要とするすべての人に益するであろうという思いが動機にあります。 「論と計の科学」論理的に考えるとき、私たちは step by step でつまり一つ一つの正しい手