シェア
自己啓発の世界でよく耳にする二つのフレーズ、「闇雲な努力は報われない」と「続けなきゃ意味…
論計祭 (ろんけいさい) について今回の論計祭では、『自然演繹100本ノック』を作成者みずから…
イントロダクション本記事では、計算可能関数をご存知の向きにGrzegorczyk階層 (ぐじぇごるち…
この記事では計算論の基礎として、アラン・チューリングが否定的に解決した「停止問題」につい…
改めて論計舎とは？ 論計舎は数理論理学と理論計算機科学を専門とするオンライン私塾です。現…
論計祭 (ろんけいさい) について今回の論計祭では、ラッセルのパラドックスを再検討します。 論計舎が提供する論計祭は、数理論理学・理論計算機科学を中心としつつも、コンピューターサイエンス・哲学・言語学・法学など様々な意味での 「論と計の科学」 に興味を持った方々に発表の機会を提供するとともに論計舎内外の講師講演を行う場です。 また論と計の科学に関する質問や論計舎のサービスに関する相談にお答えする質問・相談会も含まれます スピーカー川井 新 (Shin Quawai)
ごきげんよう、論計舎 かわいです。 今回の記事では、今週末に公開予定のYouTube動画の予告を…
口上本記事は論計倶楽部というメンバーシップで公開される記事群の前座です。 同記事群では、…
みなさま、ごきげんよう、論計舎 川井です。 予告しておりました新商品「論計舎講義「ゲーデル…
みなさま、論計舎 川井です。 論計舎の新商品に関する情報をお伝えします。 反例構成100本ノ…
みなさま、ごきげんよう、論計舎 川井です。 今回は新商品の予告です。 2022年から2023年にか…
来週の月曜日09月18日14時半から論計舎の無料相談会をZoomにて行います。 普段の「無料相談通…
従来から論計舎に関わっていた尾崎 竜史さんがついに講師として参加しました。 実は尾崎さんが「論計舎」の命名者です。私かわいのネーミングセンスは壊滅的なので、私を含めた論計舎関係者全員が、この名前を気に入っていてかつ尾崎さんに感謝しているはずです。 さらに尾崎さんは、超準解析に明るく論計舎が対応できる論と計の科学の分野が広がることに、私かわいは興奮を隠しきれません。 実際、対応可能テキストに先日、追加された江田勝哉『数理論理学 使い方と考え方：超準解析の入口まで』(内田老
