標準的な様相論理のLeanでの形式化について 野口 真柊 2024/11/24 TPP 2024: 20th Theorem Proving and Provers Meeting @九州大学 マス・フォア・インダストリ研究所 slides