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.

• E-mail: pickle_grizzly0d@icloud.com
• Mastodon (mostly about math.): @yoriyuki@mathstodon.xyz
• Github(personal): yoriyuki
• Github(job): yoriyuki-aist