某政府系研究機関で計算機科学を研究している人です。論理とか数学とか計算とか、ときどき哲学の話もします。文章を書くとき、ですます体とだ・である体が混ざりがち。 英語版 もみていってね

最近の投稿

subscribe via RSS