Contents
Contact
- GitHub:
@gfngfn - ORCID: 0009-0004-9845-7419
- X/Twitter:
@bd_gfngfn,@en_gfngfn,@4gfn - Bluesky:
@gfngfn - Mastodon:
bd_gfngfn@mstdn.jp - Threads.net:
@gfnstagram
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 (International)
- Takashi Suwa and Atsushi Igarashi. An ML-Style module system for cross-stage type abstraction in multi-stage programming. In Proceedings of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024), 2024.
- 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.
Refereed Publications (Domestic)
- 諏訪 敬之．複数ステージの値が同一ストラクチャのメンバとして共存できる多段階計算のためのモジュールシステム．第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.”
Non-refereed Publications (such as preprints)
- Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga. Oblivious monitoring for discrete-time STL via fully homomorphic encryption. arXiv (
abs/2405.16767), 2024. - 諏訪 敬之．静的型つき組版処理システムSATySFi．第61回プログラミング・シンポジウム予稿集，2020．
- Translation: “Takashi Suwa. SATySFi: A statically-typed typesetting system. In Proceedings of the 61st Programming Symposium, 2020.”
- Paper PDF (at
ipsj.ixsq.nii.ac.jp)
Open-Source Software
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 used as a new font-manipulating backend of SATySFi.
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, and can be deployed on an AWS EC2 instance.
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 and Presentations
- (Poster presentation) 諏訪 敬之，五十嵐 淳．モジュールの静的解釈に関するより網羅的かつ堅牢な正当性の証明を目指して．第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)，2024.
- Translation: “Takashi Suwa and Atsushi Igarashi. Towards a more exhaustive and steady correctness proof for the static interpretation of modules. The 26th Workshop on Programming and Programming Languages (PPL 2024), 2024.”
- 諏訪 敬之．招待講演： 実用水準のプログラミング言語を個人規模でつくる．第56回 情報科学若手の会，2023.
- Translation: “Takashi Suwa. Invited talk: Creating Programming Languages of Real-World Use on a Personal Scale. The 56th Youngsters’ Workshop on Information Science, 2023.”
- Slides
- 諏訪 敬之．招待講演： 静的型つき函数型組版処理システム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.”
Education
- Apr 2023 – present (Ph. D. candidate): Course of Communications and Computer Engineering, Department of Informatics, Graduate School of Informatics, Kyoto University
- Apr 2016 – Sep 2018 (Master): Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
- Oct 2017 – Mar 2018: A leave of absense
- Apr 2012 – Mar 2016 (Bachelor): Department of Mathematical Engineering and Information Physics, Faculty of Engineering, The University of Tokyo