2017-05-11 07:41 に Makoto Kikuchi さんは書きました:

皆様，昨日，竹内外史先生がお亡くなりになられたそうです．菊池誠

---

Logic-ml mailing list Logic-ml@fos.kuis.kyoto-u.ac.jp http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

ご冥福をお祈りいたします。

Boolean Valued Analysisの研究をしていた頃は 色々とお世話になりました。

にしむら 筑波大学 数学