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