Kento Takyu

I am a student of Waseda University majoring in Computer Science and Engineering.

I am interested in logic and programming language.

Education

April 2025 – current:

  • Software engineer at Japanese tech company.

April 2023 – March 2025: Master of Engineering

  • Department of Computer Science and Communications Engineering, Graduate School of Fundamental Science and Engineering, Waseda University, Supervisor: Professor Kazunori Ueda.

April 2019 – March 2023: Bachelor of Engineering

  • Department of Applied Mechanics and Aerospace Engineering, School of Fundamental Science and Engineering, Waseda University, Supervisor: Professor Eiji Iwase.

Research Interest

  • Logic
    • Linear logic and proof nets
  • Functional programming
  • Software verification
  • Graph transformation

Presentations and Publications

Refereed Papers.

  1. Kento Takyu and Kazunori Ueda, Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination, The 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025), LNCS 15537, 2025, Springer, pp.196-214, DOI: https://doi.org/10.1007/978-3-031-84924-4_13. [paper (extended version), slide]

Unrefereed Papers.

  1. Kento Takyu and Kazunori Ueda: MELLのカット除去規則に基づく階層グラフ書換え言語の拡張, The 41th JSSST Annual Conference (JSSST 2024), 2024. (in Japanese)

Posters.

  1. Kento Takyu and Eiji Iwase: 熱溶融積層型3Dプリンタを用いた単層ヒンジ構造の自己折り畳み, In Proc, 第13回マイクロ・ナノ工学シンポジウム, 2022. (in Japanese)

  2. Kento Takyu and Kazunori Ueda: 階層グラフ書き換え言語による線形論理のカット除去のエンコーディング, The 40th JSSST Annual Conference (JSSST 2023), 2023. (in Japanese)

  3. Kento Takyu and Kazunori Ueda: Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language , The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023), 2023. [abstract, poster]

  4. Kento Takyu and Kazunori Ueda: MELL proof netsにおける単純型付きラムダ計算の代入表現の再考, 第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025), 2025. (in Japanese)

Awards

  1. The 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025) Best Student Paper Honorable Mention.

  2. The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Poster Session Audience Award (Non-SRC).

Tools

  1. kyasual -a smart kasual beamer theme-

Cool beamer theme.

  1. linear type playground

Type checking playground for linear lambda calculus. The front-end is written in Elm and the back-end (linear lambda calculus) is written in OCaml.