2012 アデル・ゴールドバーグ (計算機科学者) 年間ニュース・活動まとめ