The University of Tokyo

Science for Humans
-science and progress not speak as loud as my heart-

Jun Akita

The University of Tokyo, Graduate School of Information Science and Technology
Department of Computer Science, Akiko Aizawa Laboratory, M1

Who I am

01

Jun Akita

I'm Jun Akita, an M1 student in the Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo. I am currently affiliated with Akiko Aizawa Laboratory. My research interests are logic, foundations of mathematics, and the foundations of AI, 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.

02

Education

Here is my educational background.

  • 2019/4 Entered the General Course, Hiroshima Municipal Motomachi Senior High School
  • 2022/3 Graduated from the General Course, Hiroshima Municipal Motomachi Senior High School
  • 2022/4 Entered the School of Fundamental Science and Engineering, Waseda University
  • 2023/4 Advanced to the Department of Mathematics, School of Fundamental Science and Engineering, Waseda University
  • 2025/10 Joined Tokiji Usuba Laboratory, Department of Mathematics, Waseda University
  • 2026/3 Graduated from the Department of Mathematics, School of Fundamental Science and Engineering, Waseda University
  • 2026/4 Entered the Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
  • 2026/4 Joined Akiko Aizawa Laboratory, Department of Computer Science, The University of Tokyo

03

Experience

Here is my work experience.

2022/12 ~ 2025/9

Stardy Inc.

Worked as a mathematics instructor, created mathematics and physics learning materials, developed an employee management tool using Google Workspace and GAS, and built a student support chatbot.

2023/1 ~ 2023/3

Independent Development

Built automated FX trading tools, including indicators and expert advisors for MT4/MT5.

2023/6 ~ 2024/9

Student Organization Nagare

Co-founded a student organization with friends. Built a website as part of a PR project to help restore sales for goldfish farmers in Yatomi, Aichi.

Reference: Farm Website

2023/12 ~

Outlier AI

Worked on data annotation for speech models and video generation models.

2025/5 ~

ALANSE Inc.

Built demand forecasting AI models for British Pub Hub and Kirin City, covering design, prediction, and client-facing explanation. Achieved an R-squared score of 0.85 to 0.9 with a time-block forecasting approach.

2025/6 ~ 2025/11

kamomemon LLC

Co-founded a company with friends and built a prompt-sharing platform app, covering ideation, design, development, and sales. The project failed after the free release of ChatGPT 5 eliminated the app's differentiation.

2025/9 ~

ARCRA Inc.

Developed image-processing AI software for detecting defects in pearls and handled bounding-box data annotation.

2026/2 ~

nocall Inc.

Worked on improving the speech generation models inside an automated sales-call application. Tuned STT, LLM, and TTS models for product use, self-hosted and fine-tuned OSS models, and quantitatively compared model performance.

2026/6 ~

AI Store Clerk App

Building and selling an AI store-clerk app that provides customers with one-on-one product information and in-store location guidance. Sole engineer responsible for design and development.

04

Research Interest

I'm mainly interested in fields related with caluculation.

  • axiomatic set theory
  • category theory
  • computation theory
  • relevance logics
  • statistics
  • philosophy of mathematics

    • 05

    My Goal

    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:

  • Understand what it means to compute through mathematics and logic.
  • Understand the capabilities of AI through data science.
  • Understand humans deeply through real-life experiences.


    • I do not believe that the world is so simple that everything can be fully explained within a mere 10,000 years of history.