Daysこの広告は、90日以上更新していないブログに表示しています。見る卒研のためにTAPLをチビチビ読み進めてます。言ってもすべての内容が必要なわけでもなさそうなので、まぁ半分くらいは趣味の範疇なのかな。correspondenceとか。いう型に対応する」なんて意外過ぎ。その他、「そんなとこまで型の守備範囲なのね」っていう話題が続いていくようで、興味は尽きません。4はてなブログをはじめよう!athosさんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。