型アノテーションのサンプルの修正と
型を追加したバージョンのコードを追加