5項定理証明系Isabelle/HOLとその応用(4節通研講演会,第5章国際会議・シンポジウム等)