結縁・中澤研究室

Publications

研究業績

主要な論文、発表、受賞を掲載します。(作成中)

  1. 2026 技術報告
    可逆プロセス計算CCSKにおける等価性検証 BibTeX

    川野蓮弥, 結縁祥治
    電子情報通信学会, 信学技報, vol. 125, no. 376, SS2025-43, pp. 79-84

  2. 2026 受賞
    研究奨励賞

    川野蓮弥, 結縁祥治
    電子情報通信学会ソフトウェアサイエンス研究会

  3. 2026 雑誌論文
    Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions BibTeX

    Kenji Saotome, Koji Nakazawa, Daisuke Kimura, Ayumu Kawasaki
    Arch. Math. Log., vol. 65, no. 3

  4. 2025 会議予稿
    RevMiGo: Reversible Channel-Based Communication in Go Language BibTeX

    Shunya Oguchi, Shoji Yuen, Nobuko Yoshida
    Reversible Computation - 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings, Lecture Notes in Computer Science, pp. 119--127, Springer

  5. 2024 雑誌論文
    Constant Propagation in CRIL by Bidirectional Data Flow Analysis BibTeX

    Shunya Oguchi, Shoji Yuen
    J. Inf. Process., vol. 32

  6. 2024 雑誌論文
    revTPL: The Reversible Temporal Process Language BibTeX

    Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
    Log. Methods Comput. Sci., vol. 20, no. 1

  7. 2024 会議予稿
    Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language BibTeX

    Shunya Oguchi, Shoji Yuen
    Reversible Computation - 16th International Conference, RC 2024, Toru\'n, Poland, July 4-5, 2024, Proceedings, Lecture Notes in Computer Science, pp. 181--200, Springer

  8. 2023 会議予稿
    CRIL: A Concurrent Reversible Intermediate Language BibTeX

    Shunya Oguchi, Shoji Yuen
    Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023, EPTCS, pp. 149--167