پاسداشت عالم وارسته مرحوم آیت‌الله میرشاهولد‎