ochiai/maillist

数理のメールリストの宛先が推測しづらいものの説明。

まずは定義式を書きます。

• ken: 学振PD, 外国人特別研究員 & 研究生
• math-pdf: 博士研究員
• math-project: 学術研究員全員
• imi-project: IMIの学術研究員(受入れ教員がIMI)

しかし、これだけだと区別がわかりづらいのですが、性質として、

• ken, math-pdf, math-projectは重なりの無い集合です。
• imi-project は math-projectの部分集合です。
• math-gcoe は現在使われていません。

ということが成り立っているのだそうです。