~/portfolio
kayo@tuesdayjz
❯
~/portfolio
❯
⎇ main
❯
⚡ Next.js 15
❯
$
cat affiliation.md
school :
Waseda University
degree :
M.Eng in Computer Science — 2nd year
supervisor :
Prof. Kazunori Ueda
$
cat education.md
# current
school :
Waseda University
degree :
Master's Program
dept :
Graduate School of Fundamental Science and Engineering
lab :
Ueda Labolatory
period :
2024/4 - 2026/3
PADL2026
(1/12-1/13, Rennes, France)
QPL2025
(7/14-7/18, Varna, Bulgaria)
PPL2025
(3/5-3/7, Aichi, Japan)
school :
Waseda University
degree :
Bachelor's Program
dept :
School of Fundamental Science and Engineering
lab :
Ueda Labolatory
period :
2020/4 - 2024/3
degree :
High School Diploma
dept :
General
lab :
Badminton Club
period :
2016/4 - 2019/3
$
cat interests.md
- Theory of Programming Languages : type theory, semantics, formal verification.
- Category Theory : string diagrams and their applications to programming languages.
- Quantum Theory : quantum computation, quantum programming languages, quantum NLP.
- Functional Programming : Haskell, OCaml. I've experienced writing a mini-compiler of OCaml.
- Finance : currently studying for the CFA exam; interested in how markets and financial instruments work.
- GenAI : using LLMs for inspiration and automating things, especially in an engineering context.
- Watching Takarazuka Revue and Kabuki : also into the good food around the theater.
- Reading / Writing : I keep two blogs: this tech/notes blog and a personal Hatena blog (Japanese, about daily life).