323 followers もりた @MoritaYasuaki @fushiroyama @MuneOiz https://t.co/UYkaJeVYJH Coqで言うとこの(今私がちょうど読んでる)論文に近い事をやってそうですね 授業スライドもちゃんと読んでみようかな 19 Sep 2020 Reply Repost Favourite