アノテーション型 Synthesis