About the Author

Contact

• GitHub: @gfngfn
• Twitter: @bd_gfngfn, @en_gfngfn

Interests

• Theory of programming languages
  • Type theory, semantics of programming languages, etc.
  • Program verification, formal methods, model checking, etc.
  • Metaprogramming, multi-stage programming, macro systems, etc.
  • Concurrency
• Engineering for typography
  • Typesetting algorithm, font formats, etc.
• Lettering and type design

Refereed Publications

• 諏訪 敬之．複数ステージの値が同一ストラクチャのメンバとして共存できる多段階計算のためのモジュールシステム．第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022), 2022.
  • Translation: “Takashi Suwa. A module system for multi-stage programming where values at more than one stage can coexist in a structure. The 24th Workshop on Programming and Programming Languages (PPL 2022), 2022.”
• Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi and Atsushi Igarashi. Verification of code generators via higher-order model checking. In Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM ’17). pp. 59–70, 2017.

Open-Source Softwares

SATySFi

A typesetting system equipped with an OCaml-like statically-typed functional language in which one can implement libraries or write some part of documents. The strongest point of SATySFi is typically quick and informative type error reports, which help you write documents or libraries with ease and efficiency.

otfed

An OCaml library for encoding/decoding OpenType fonts. Intended to be used as a new back end for SATySFi in the future.

Sesterl

A statically-typed Erlang.

A Tian Jiu Pai (天九牌) Game Server

A Web server where multiple people can play Tian Jiu (Tien Gow, 天九). Implemented in Sesterl and Elm.

APBuf (Algebraic Protocol Buffers)

APBuf is a tool having a purpose similar to that of Protocol Buffers, but it is characteristic in that it natively supports ADTs and parametric polymorphism.

tex_of_ocaml

A compiler that transforms programs of a call-by-value untyped lambda calculus (written in an OCaml-like syntax) into TeX code expandable by \edef. The compiler is implemented in Rust.

toy-macro-ml

An implementation of MacroML [Ganz, Sabry & Taha 2001], a macro system based on the multi-stage programming.

Upcards

A Hugo theme developed for creating this Web site.

Talks

• 諏訪 敬之．招待講演： 静的型つき函数型組版処理システムSATySFiの紹介．第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)，2022.
  • Translation: “Takashi Suwa. Invited talk: An introduction to SATySFi, a statically-typed functional typesetting system. The 24th Workshop on Programming and Programming Languages (PPL 2022), 2022.”
• Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi and Atsushi Igarashi. Verification of code generators via higher-order model checking. 第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017), 2017.
• 平井 広志，諏訪 敬之．推論システムによるマトロイドの表現について．日本応用数理学会 第12回 研究部会連合発表会，2016.
  • Translation: “Hiroshi Hirai and Takashi Suwa. On representing matroids by implicational systems. The 12th Workshop of The Japan Society for Industrial and Applied Mathematics, 2016.”