document.getElementById("med-ftitle").innerHTML=`面向有序等式表示的动态类型计算
`;