フォローしませんか?
シェア
論計祭 (ろんけいさい) について今回の論計祭では、ラッセルのパラドックスを再検討します。 …
口上本記事は論計倶楽部というメンバーシップで公開される記事群の前座です。 同記事群では、…
みなさま、ごきげんよう、論計舎 川井です。 予告しておりました新商品「論計舎講義「ゲーデル…
みなさま、論計舎 川井です。 論計舎の新商品に関する情報をお伝えします。 反例構成100本ノ…
みなさま、ごきげんよう、論計舎 川井です。 今回は新商品の予告です。 2022年から2023年にか…
来週の月曜日09月18日14時半から論計舎の無料相談会をZoomにて行います。 普段の「無料相談通…
従来から論計舎に関わっていた尾崎 竜史さんがついに講師として参加しました。 実は尾崎さんが「論計舎」の命名者です。私かわいのネーミングセンスは壊滅的なので、私を含めた論計舎関係者全員が、この名前を気に入っていてかつ尾崎さんに感謝しているはずです。 さらに尾崎さんは、超準解析に明るく論計舎が対応できる論と計の科学の分野が広がることに、私かわいは興奮を隠しきれません。 実際、対応可能テキストに先日、追加された江田勝哉『数理論理学 使い方と考え方:超準解析の入口まで』(内田老
近年、学問や社会の様相は急速に変化しています。その中で、数理論理学と理論計算機科学がこれ…
自然演繹100本ノックという教材を公開しています。論計舎 web shopより無料にてDLいただけます…
ごきげんよう。 川井 新 (かわい しん) と言います。 この記事では、自己紹介を通じて私のこと…
論計舎(ろんけいしゃ)は、 数理論理学と計算機科学を主軸とした オンライン私塾です。 チュ…