I'm Jun Akita, a forth year undergraduate student at Waseda University, majoring in Mathematics with a minor in Computer Science. Currently part of Usuba Laboratory. Researching logic and foundation of mathematics, about what proof is. I hope to research foundation of AI in graduate school, particularly the differences between inference and deduction.
I enjoy delving into a wide range of topics, from science like mathematics, physics and biology, to humanities like philosophy and literature. I also love watching animation, playing musical instruments and playing sports.
I want to enjoy all things around the world in two ways, through my body and through my brain.

I'm always eager to connect with like-minded individuals and welcoming discussions at any time. Please feel free to reach out from my socials!

Here is my educational background.

Here is my work experience.

I'm mainly interested in fields related with caluculation.

My research goal is to draw a Venn diagram of what AI can do, what computers can do, and what humans can do, in order to clarify their differences. Do humans possess an irreplaceable and profound power, or are they merely a finite type of machine? This is what I want to understand.

There are three things I need to do: