ホーキング博士が亡くなった日はアインシュタイン誕生日で円周率の日という事実判明