マガジンのカバー画像

論計舎代表blog

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

#数理論理学

2024/04/13論計祭概要

論計祭 (ろんけいさい) について今回の論計祭では、ラッセルのパラドックスを再検討します。 …

ラッセルのパラドックスの回避法

ごきげんよう、論計舎 かわいです。 今回の記事では、今週末に公開予定のYouTube動画の予告を…

0〜
割引あり

「反例構成100本ノック」リリース

みなさま、論計舎 川井です。 論計舎の新商品に関する情報をお伝えします。 反例構成100本ノ…

300

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

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

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

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

論計舎の紹介

論計舎(ろんけいしゃ)は、 数理論理学と計算機科学を主軸とした オンライン私塾です。 チュ…