こんにちは、川井 新です。

私は、数学とか論理学とか理論計算機科学を愛好し、音楽と映画を好みます。 数理論理学と理論計算機科学を研究しながら、 論計舎という両分野を伝えるオンライン私塾を運営しています。 論計舎はYouTubeチャンネルとTwitterも 持っています。 noteにてblogをやってたり enjoy cut eliminationというtumblelogで書いたりreblogしたりしています。 もちろん個人でつぶやくこともあります。 また個人でThreadsもしています。 まだお探しですか？ ぜひお気軽に ご連絡ください.