ジョージ・ブール (George Boole) 記念碑の開設 デジタル時代の先駆者 リンコの外で記念される