あ、関係ないけどホーキング博士が死んだという速報が入った。