مولانا مفتی محمود احمد نانوتوی
افسوس! گزشتہ مہینہ ہمارے شبستان دارالعلوم دیوبند کے دو اور روشن چراغ بجھ گئے۔ مولانا مفتی محمود احمد صاحب نانوتوی ناتوتہ کے ایک اعلیٰ اور شریف خاندان کے فردِ فرید تھے۔ تعلیم دیوبند میں پائی تھی، اولاً حضرت شیخ الہند اور پھر حضرت الاستاذ مولانا محمد انورشاہ الکشمیری سے خاص استفادہ کیااوران سے تلمذ خصوصی کاتعلق رکھتے تھے ۔علم وفن کی پختہ استعداد وزہد وورع اوراخلاق فاضلہ، یہ تینوں اوصاف بزرگان دیوبند کے امتیازی کمالات تھے۔ مفتی صاحب بھی ان کے جامع تھے ۔لیکن انھوں نے فقہ اورحدیث کواپنا خاص فن بنالیا تھااور ان میں ان کی نظر بڑی دقیق اور غامض تھی۔ایک عرصہ سے اجین میں قیام پذیر تھے۔وہاں کی مسلم اورغیرمسلم آبادی کوانھوں نے اپنے علم وفضل اور کردار سے کس درجہ عقیدت مند بنالیا تھااس کااندازہ اس سے ہوگا کہ جب ان کا جنازہ اٹھاہے تو تنگیِ وقت کے باوجود کم وبیش پندرہ ہزار آدمی اس کے جلوس میں تھے اور ان میں جن سنگھی بھی تھے ۔ دارالعلوم کی مجلس شوریٰ کے دیرینہ رکن تھے اور اس کی ہر ممکن خدمت کواپنا فرض سمجھتے تھے۔ حضرت شاہ صاحب سے عقیدت کیا ان کے نام کے عاشق تھے۔مجلس میں جب کبھی حضرت الاستاذ کاذکر چھڑ جاتا تو دوسروں کی باتیں بڑی توجہ اوردل چسپی سے سنتے اور پھر جب خود بولنا شروع کرتے توعالم ہی عجیب ہوتا جس کو سن کردل ودماغ دونوں روشن ہوجاتے تھے۔ رحمہ اﷲ رحمۃً واسعۃ۔
[فروری ۱۹۶۹ء]
Abstract The religious seminaries (Madaris) 1 of Pakistan have been a hot topic of discussion in the national and international media. These Madaris are reminiscent of the ancient education system of Islam. They attracted people’s attention during the last two decades and especially after the 11th September 2001 incident of New York. Another aspect of interest was their role in the Islamic insurgence (Jihad) waged in various parts of the world particularly in Afghanistan and Kashmir. These institutions impart orthodox education based on centuries old syllabus called Dars-i Nizami. The administrators are disinclined to any slight change in the contents of the syllabus thus bringing them to an open conflict with the modem education system and western culture. The Madaris have been divided on the basis of religious sects i. e. Shia, Sunni and Ahl-i-Hadith. Of them Sunnis are further splintered into many sub-sects such as Deobandis, Brelvis, etc. But their adherence to the primitive education, Jihad and abhorrence for the western civilization is almost the same. Despite repeated reference to these Madaris, there are many misconceptions or disinformation about them In the present paper, an attempt has been made to remove these misconceptions and present a true picture. Besides, historical perspective, vital statistics, curricula and problems and prospects have discussed in the paper in hand
In this dissertation, the architecture of the existing file systems such as EXT, NTFS and UFS is reviewed. A study of space utilization patterns in different file systems has been presented. Effects of directory depth on file access have been discussed. Moreover, the use of formal approaches in design and verifications of parallel file systems are presented. Prototype verification system (PVS) is used as a tool to specify and verify the file system architecture. We used a top down approach to formalize the hierarchical file systems. The most important aspects of a file system such as read, write, delete and move are formalized using refinement techniques where abstract definitions of these operations are specified and then refined towards a pointer based application. Furthermore, formal specification and verification of the cyclic data striping algorithm for parallel file systems have been presented with the help of proof assistant PVS. Our study of applying formal methods to parallel file system design opens many new directions for the future research. Formalizing the complete parallel file system is a grand challenge for the scientific community. The hard links and file system security must be formally designed and verified for building robust, reliable and error free parallel file system architectures. Several different algorithms for tree structure organization of data files must be formally verified before use in parallel file systems.