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