About

Hi, I’m a computer scientist working a certain government institute in Japan. Here, I talk about mathematics, logic, computer scientist and occasionally philosophy. Please also see Japanese site if you can read Japanese.