Grothendieck 亡くなってたのか……  http://www.telegraph.co.uk/news/obituaries/11231703/Alexander-Grothendieck-obituary.html