最終的な成績 Bでした 課題に関するファイル 課題に関するファイルはGitHubに置かれている 課題の提出方法に関する注意点 この講義ページにて、 この授業中の問題は、 Subject: Report on Compiler consturction Lecture Exercise 1.1 などというSubjectのメ…

最終的な成績 Aでした 課題に関するファイル これ 1.1 論文管理ソフト この問題を解く Agda に関する論文を探して Zoteroに登録する 登録したものの Bibtex を export して、それをレポートせよ 論文に対する短いコメントをつけること Zoteroをダウンロード…