Kento Takyu

Back to Home

Experience

  • April 2025 – current: Researcher at Japanese tech company.
  • April 2023 – March 2025: Master of Engineering, Waseda University.
  • April 2019 – March 2023: Bachelor of Engineering, Waseda University.

Publications

Refereed Publications

  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. [paper (extended version)] [slide]

Unrefereed Publications

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

  2. Kento Takyu and Yuto Otsuki, "MermaidCP: Mermaid記法からデッドロックフリーな通信プログラムを生成するDSL", 2026年 暗号と情報セキュリティシンポジウム (SCIS 2026), 2026. (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).

  5. Kento Takyu, Yuto Otsuki, Toshinori Usui, Yuhei Kawakoya, Eitaro Shioji and Makoto Iwamura, "安全な分散システム開発のためのプログラミング言語的アプローチに向けて", コンピュータセキュリティシンポジウム2025 (CSS 2025), 2025. (in Japanese).

Awards