>>625
6例分目で説明されている現在完了結果用法のhaveだと思います