第45回情報科学若手の会「「定理証明器_Coq_でスタック指向プログラミング」」