TopCsUniv
← 京都大学のProgramming Languages & Formal Methodsへ戻る

論文表記の著者名

Kengo Hirata

京都大学Programming Languages & Formal Methods2022–2026 LIVE

対象論文 3 本

この大学・著者表記の全分野の論文を見る →

著者名は論文に記載された表記をそのまま使用しており、同一人物の名寄せは行っていません。

印刷日： 全論文

出典：https://topcsuniv.org/japan/programming-languages/universities/kyoto-university/authors/bc674af9581c4e19a0d2/

論文上の著者表記・公開時所属による集計です。人物の名寄せ・現在所属・全業績を表すものではありません。

対象論文

論文一覧

  1. 2026
    LICS
    会議の論文一覧    Causality in Pure Quantum Computation with Quantum ControlDOI共著者: Takeshi Tsukada
  2. 2026
    POPL
    会議の論文一覧    RapunSL: Untangling Quantum Computing with Separation, Linear Combination and MixingDOI共著者: Yusuke Matsushita, Ryo Wakizaka, Emanuele D'Osualdo
  3. 2025
    POPL
    会議の論文一覧    Qurts: Automatic Quantum Uncomputation by Affine Types with LifetimeDOI共著者: Chris Heunen