読者です 読者をやめる 読者になる 読者になる

修論

修論の発表をしました。

スライド https://speakerdeck.com/krtx/ci-yuan-xing-niji-dukurupubu-bian-tiao-jian-zi-dong-sheng-cheng-synthesizing-loop-invariants-via-dimension-types