デニス・リッチー氏が死んだそうですね。合掌。