論計舎代表blog

本

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

#計算機科学

この記事では計算論の基礎として、アラン・チューリングが否定的に解決した「停止問題」につい…

2週間前

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

1年前