Applied Singularity Theory Labo Seminar: F5アルゴリズムを起源とするsignature-basedアルゴリズムの計算方法とその理論（坂田康亮）