電子情報通信学会ソフトウェアサイエンス研究会より研究奨励賞を受賞しました。(情報システム学専攻 川野蓮弥 M1)
- 受賞日：2026-04-01
- 受賞名：研究奨励賞
- 主催団体：電子情報通信学会ソフトウェアサイエンス研究会
- 受賞者の氏名、所属、職名（学年）：
川野蓮弥 (情報システム学専攻 M1)
- 連名者：
結縁祥治
- 受賞対象となった研究のテーマ：
可逆プロセス計算CCSKにおける等価性検証について
- 受賞概要：
Ulidowskiらによって提案されている可逆プロセス計算CCSKの振る舞い等価性は FR-Bisimilarity (Forward-Reverse Bisimilarity)によって定義されている．FR-Bisimilarな２つのCCSK項は順方向および逆方向の振舞いが同じである．CCSKのFR-Bisimilarityを示すためには，動作に対する整合するキーの割当を決める必要がある．本研究では，キー割当がCCSKの構文的情報であるアドレスから決定できることを示す．
- URL：
https://www.ieice.org/iss/ss/award.html