宮原大輝, “安全に証明する方法～ペンシルパズルを例に～,” IPSJ-ONE@情報処理学会第85回全国大会, 電気通信大学 (Mar. 7, 2023).