今更ですが大学院入試に合格した話です。自分自身いろんな人の体験記を参考にしてたので、後世の誰かのために対策とか軽く振り返ろうと思います。 書類選考 情報理工学系研究科では出願時に研究計画書とTOEFL iBTのスコア提出があり、そこで書類選考(足切り…

pdfを書きました．龍田「型理論」の9章を行間を埋めつつ，これ単体で完結するようにまとめたものです． drive.google.com