はじめまして。カワイです。

計算可能性理論や計算複雑性理論に興味をもっています。 もともとは数学科にいたのですが、哲学科も経験し、 けっきょく哲学科では論理学で卒業論文を書きました。 論理学から発展した興味の対象である計算にかんする研究をしたかったのですが、 すぐに院進をして研究の道に進む余裕がないので、しばらく働いてみようと思います。 そこで 数学を独習できるようになるお手伝いをするオルガノンクラスを主催をしたり、 なんらかの専門家からそうでない人までが学びのために議論するサロンであるペリパトスを運営したり、 鴨川デルタで人と話し続ける活動をしたりイラストレイターである婚約者の仕事を手伝ったりしたいと思っています。 enjoy cut eliminationというtumblogと隠蔽されたライプニッツ原稿集というblog written in bashを持っています。 instagramに自作の料理の画像を掲載しているので、ぜひご覧ください。