フレデリック・ブルックス
→ Frederick Phillips Brooks, Jr.