Koharu Saeki
Koharu Saeki

Hello, my name isKoharu Saeki.

A second-year master's student in Computer Science at Ochanomizu University (Bekki Lab), researching computational linguistics — a software engineer, and a drummer who loves Jazz, Soul, Hiphop, Pops, Funk and Rock 👩‍💻🥁

Skill

Languages
Haskell / Swift / Go / Python
Other Skills
AWS / GCP / Git / Drums

Research

  • #ComputationalLinguistics
  • #NLP
  • #TheoreticalLinguistics
  • #FormalGrammar
  • #GrammarDevelopment
  • #Haskell
  • #Yesod

Koharu Saeki, Daisuke Bekki. Where Does Proof Search Spend Its Effort? A Visualization and Profiling Tool for Formal NLI. In Proceedings of the 6th Workshop on Natural Language Meets Logic and Machine Learning (NALOMA), Prague, Czechia, 2026

paper ↗ slide ↗

Koharu Saeki, Daisuke Bekki. From Execution to Exploration: Bridging the Usability Gap in Formal Natural Language Inference. In Proceedings of the 3rd Workshop on Bridges and Gaps between Formal and Computational Linguistics (BriGap-3), Paris, France, 2026

paper ↗ slide ↗

佐伯小遥, 富田朝, 松原舞, 戸次大介. Yesod による日本語推論システム lightblue の開発環境の構築 (Building a Development Environment for the Japanese NLI System lightblue with Yesod). 言語処理学会第32回年次大会, 2026

paper ↗ poster ↗

佐伯小遥, 富田朝, 戸次大介. 日本語推論システム lightblue の開発環境構築に向けて (Toward Building a Development Environment for the Japanese NLI System lightblue). 言語処理学会第31回年次大会, 2025

paper ↗

Education

EF Language School in Honolulu, Hawaii

Ochanomizu University B.Sc. in Information Science, Faculty of Science · Tokyo, JAPAN

Hoyu Gakuin High School Tokyo, JAPAN

Graduated as a scholarship student.

Experience

Backend Engineer @ CyberZ

I work at CyberZ as a backend engineer.

Software Engineer @ CyberACE

I worked at CyberACE as a software engineering intern.

article 1 ↗ article 2 ↗

Teaching Assistant @ Ochanomizu University

I assisted with the General Topology and Grammar and Semantics courses.

Backend Engineer @ Rakuten

I joined Rakuten's GATD division as a backend engineering intern.

Cloud Support Engineer @ Amazon Web Services

I joined AWS as a Cloud Support Engineer intern.

iOS Engineer @ Nikkei

I joined an iOS team and developed the Nikkei digital edition. I also organized an event for female students studying Computer Science.

iOS Development Mentor @ Life is Tech!

I mentor iOS app development to middle and high school students through weekly schools and camps held during long vacations.

Head of Accounting / Websites Coding @ Overfocus

As one of the early members of Overfocus, I built a financial system and was in charge of HP & LP coding.

Other Activities

Teaching Assistant @ Waffle College Entry Course

I helped female college students who had never programmed before develop apps using Thunkable.

Mentor @ Waffle Camp at Kobe

I helped middle and high school students create websites.

Waffle College Tech Career Course

Selected as 1 of 41 students to learn web programming and the software development cycle from scratch in 8 months. I developed Meishi Kakumei in a team of 5 with mentorship from industry leaders, presented to 50+ people, using JavaScript, PHP, CSS, MySQL, HTML and Figma.

Articles

CyberACE のミッション型インターンに参加してみた② (Joining CyberACE's Mission-Based Internship, Part 2). On building a web tag product with Python/FastAPI, TypeScript/React and GCP — and what I learned about maintainable code and technical decision-making.

Zenn ↗

Interviewed by Waffle for their International Women's Day 2026 series 【国際女性デー2026】テクノロジーの道を歩む10人の先輩が語る"はじめの一歩" (One of ten women in tech asked about their first step.)

instagram article ↗ web article ↗

CyberACE のミッション型インターンに参加してみた (Joining CyberACE's Mission-Based Internship). My first month as an engineering intern, working on requirement definition and system design for a new chat commerce feature.

Zenn ↗

Haskell で ProjectEuler 解いてみたら遅延評価の有り難みわかった (Solving Project Euler in Haskell Taught Me Why Lazy Evaluation Matters). Defining infinite lists of triangular, pentagonal and hexagonal numbers to show how values computed only when referenced make elegant solutions possible.

Qiita ↗

Haskell で Web アプリケーションを開発する (Developing Web Applications with Haskell). An introduction to Yesod: setting up the development environment, building a Hello World app, then layering on CSS and JavaScript for a fast, type-safe web app.

Qiita ↗

Interviewed by music writer Dr. Funkshitteru (A long two-part interview with our Fearless Flyers cover band, on our musical backgrounds, how we practice, and what it takes to get close to the players we cover.)

note — Part 1 ↗ note — Part 2 ↗

Drums

Hi, I am a drummer who loves Jazz, Soul, Hiphop, Pops, Funk and Rock!

Koharu Saeki playing drums on stage

Here is some live footage of me playing with my band.