variable_type.md 型推論とautoについて追加