数理のメールリストの宛先が推測しづらいものの説明。 まずは定義式を書きます。 - ken: 学振PD, 外国人特別研究員 & 研究生 - math-pdf: 博士研究員 - math-project: 学術研究員全員 - imi-project: IMIの学術研究員(受入れ教員がIMI) しかし、これだけだと区別がわかりづらいのですが、性質として、 - ken, math-pdf, math-projectは重なりの無い集合です。 - imi-project は math-projectの部分集合です。 - math-gcoe は現在使われていません。 ということが成り立っているのだそうです。