修論の発表をしました。スライド https://speakerdeck.com/krtx/ci-yuan-xing-niji-dukurupubu-bian-tiao-jian-zi-dong-sheng-cheng-synthesizing-loop-invariants-via-dimension-types
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。