「そしてある日、通知状態の消去がコンピュータサイエンスで最も難しい問題だった」