アレクサンドリアのヘロン
Definition of Hero of Alexandria.