この広告は、90日以上更新していないブログに表示しています。
暑い。今朝、ついに蝉が鳴き始めた。 本日はA教授の"Simple type theory"の授業の最終回。ためになる授業でした。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。