あれま、ポール・アレンが亡くなったそうな。