Software engineer. My research and writing concern the design and implementation of programming languages, with a particular focus on Packrat parsing and Parsing Expression Grammars (PEG). I have been active in the Japanese Scala community since its early days and have co-authored two books on practical Scala for working engineers.
水島 宏太，前田 敦司，山口 喜教．
「最適化 Packrat Parser の空間計算量の計算手法の提案」．
情報処理学会論文誌プログラミング，Vol. 4, No. 2, pp. 77–91，
March 2011．
Kota Mizushima, Atusi Maeda, and Yoshinori Yamaguchi.
“A Method for Analyzing the Space Complexity of Optimized Packrat Parsers”.
IPSJ Transactions on Programming, Vol. 4, No. 2, pp. 77–91,
March 2011. (in Japanese)PDF
水島 宏太，前田 敦司，山口 喜教．
「Packrat Parsing のメモリ効率の改善手法」．
情報処理学会論文誌プログラミング，Vol. 49, No. SIG 1 (PRO 35), pp. 117–126，
January 2008．
Kota Mizushima, Atusi Maeda, and Yoshinori Yamaguchi.
“A Memory-Efficiency Improvement Method for Packrat Parsing”.
IPSJ Transactions on Programming, Vol. 49, No. SIG 1 (PRO 35), pp. 117–126,
January 2008. (in Japanese)PDF
水島 宏太．
「PEG のパラメタ付き拡張 Macro PEG の提案」．
第 110 回プログラミング研究発表会（SWoPP 2016），
August 2016．
Kota Mizushima.
“Macro PEG: A Parameterized Extension of PEG”.
110th IPSJ SIGPRO Programming Workshop (SWoPP 2016),
August 2016. (in Japanese)PDF
水島 宏太，前田 敦司，山口 喜教．
「最適化 Packrat Parser の空間計算量の計算手法の提案」．
情報処理学会第 81 回プログラミング研究会，
October 2010．
Kota Mizushima, Atusi Maeda, and Yoshinori Yamaguchi.
“A Method for Analyzing the Space Complexity of Optimized Packrat Parsers”.
81st IPSJ SIGPRO Workshop,
October 2010. (in Japanese)
水島 宏太，前田 敦司，山口 喜教．
「Packrat Parsing のメモリ効率の改善手法」．
第 65 回情報処理学会プログラミング研究会，
August 2007．
Kota Mizushima, Atusi Maeda, and Yoshinori Yamaguchi.
“A Memory-Efficiency Improvement Method for Packrat Parsing”.
65th IPSJ SIGPRO Workshop,
August 2007. (in Japanese)
水島 宏太，前田 敦司．
「Packrat Parsing のメモリ効率の改善手法」．
第 9 回プログラミングおよびプログラミング言語ワークショップ（PPL 2007）ショートプレゼンテーション，
March 2007．
Kota Mizushima and Atusi Maeda.
“A Memory-Efficiency Improvement Method for Packrat Parsing”.
Short Presentation, 9th Workshop on Programming and Programming Languages (PPL 2007),
March 2007. (in Japanese)
水島 宏太，前田 敦司，山口 喜教．
「プログラミング言語 Onion の設計と実装」．
第 55 回情報処理学会プログラミング研究会，
August 2005．
Kota Mizushima, Atusi Maeda, and Yoshinori Yamaguchi.
“Design and Implementation of the Programming Language Onion”.
55th IPSJ SIGPRO Workshop,
August 2005. (in Japanese)PDF
Publications (English)論文（英文）iii.
Refereed Workshop Papers査読付きワークショップ論文
Kota Mizushima, Atusi Maeda, and Yoshinori Yamaguchi.
“Packrat parsers can handle practical grammars in mostly constant space.”In Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2010), pp. 29–36,
June 2010.
PDF
Books著書iv.
Practical Scala Programming with Open-Source Toolsオープンソース徹底活用 Scala 実践プログラミングCo-author · Shuwa System共著 · 秀和システムA comprehensive Japanese reference covering the language, the standard library, and the open-source workflow used by working Scala practitioners.言語仕様・標準ライブラリ・OSS を活用した実務的な開発フローを網羅した、日本語による Scala 実践の手引き。
A Practical Introduction to Scala実践 Scala 入門Co-author · Gihyo, 2018共著 · 技術評論社・2018An introduction to Scala for working engineers, focused on the patterns, testing practices, and language features that matter on the job.業務でScalaを書く現場のエンジニアに向けた入門書。実務で必要なパターン、テスト、押さえるべき言語機能を扱う。
A talk introducing the DOT (Dependent Object Types) calculus that underpins Scala 3's type system, aimed at working programmers without a heavy background in type theory.Scala 3 の型システムの理論的基盤である DOT（Dependent Object Types）計算を、型理論の予備知識を仮定せず実務プログラマ向けに解説した講演。
A side-by-side reading of Haskell and Scala — type systems, evaluation strategies, and the practical consequences for everyday code.Haskell と Scala を並べて読み解く試み。型システムや評価戦略の違いが、実際のコードにどう現れるかを比較した。
An introduction to Kotlin, viewed through a Scala-shaped lens — what the languages share, where they diverge, and what is genuinely interesting about Kotlin for someone already fluent in Scala.Scala プログラマの視点から見た Kotlin の紹介。両者に共通する性質、異なる点、Scala に慣れた者にとって Kotlin のどこが興味深いかを論じた。
An open-source programming language of my own design, used as a working laboratory for ideas about type systems, parsing, and language implementation.設計から実装まで自身で手がけているオープンソースのプログラミング言語。型システムや構文解析、処理系実装に関する着想を試す場として継続的に開発している。
A long-form interview about my involvement in the early Japanese Scala community — a useful prompt to set down on paper what those founding years actually looked like.日本における Scala コミュニティの立ち上げ期について振り返った長尺インタビュー。当時の活動を改めて言語化する良い機会になりました。
Organized as a way to broaden interest in what is, admittedly, a niche corner of computer science. Nearly one hundred people turned up, which I had not expected.構文解析という比較的ニッチな分野をもっと広く知ってもらいたいと開催した勉強会。100 名近くが集まったのは予想外で、強く印象に残っています。
Contact連絡先vi.
I am employed full-time, but I do accept advisory engagements where my availability allows. My areas of strength are Scala and computer-science education broadly.