12 May
2017
12 May
'17
12:37 a.m.
2017-05-11 07:41 に Makoto Kikuchi さんは書きました:
皆様，昨日，竹内外史先生がお亡くなりになられたそうです．菊池誠
Logic-ml mailing list [email protected] http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml
ご冥福をお祈りいたします。
Boolean Valued Analysisの研究をしていた頃は 色々とお世話になりました。
にしむら 筑波大学 数学