2017SE013 服部 哲也 COT 表現を用いた地形図の解析―日本の湖周辺を対象として― 2018SE016 平工 真基 可逆な文字列照合アルゴリズム—力任せ法とRabin–Karp 法を対象として— 2018SE091 谷崎 海良 可逆な文字列照合アルゴリズム—力任せ法とRabin–Karp 法を対象として— 2018SE034 児玉 春司 楽観的な並列離散事象シミュレーションの効率化1―自動生成可逆プログラムの比較― 2018SE036 黒川 誠史 量子桁上げ伝播加算器回路における混合方式の解析 2018SE041 松野 宏典 効率的な2分木の構成法についての考察 2018SE055 長岡 楓己 自動翻訳とオブジェクト指向リエンジニアリング 2018SE076 佐々木 龍之介 軽量暗号化アルゴリズムに対する可逆プログラミング言語Hermesの有効性の評価 2018SE088 高見 雄大 軽量暗号アルゴリズム記述のための領域特化言語Hermes の拡張 2018SE098 若浜 大揮 可逆チューリングマシンの構成のための可逆初等三角形分割セルオートマトンの解析 2018SE107 吉見 颯 帰納法を用いた証明の分析―暗号アルゴリズムHermes の論理的可逆性の証明を対象として―