スキーム、形式群、とあるlubinとの会話 | 数学雑感