سید سجاد حیدریلدرم مرحوم
۱۲؍ اپریل ۱۹۴۳ء کی رات کو سید سجاد حیدر مرحوم نے جو ادب کی دنیا میں یلدرم کے نام سے مشہور تھے، قلب کے عارضہ سے دفعتہ وفات پائی، یہ علی گڑھ کالج کے پرانے تعلیم یافتوں میں اور اسی تعلق سے کالج کے ان چند طالب علموں میں تھے جنہوں نے مولانا شبلی مرحوم کے درس اور صحبت سے شعر و ادب کا ذوق حاصل کیا تھا، مرحوم مولانا کے درس کے اس قسم کے واقعات کو مزے لے لے کر بیان کیا کرتے تھے، ان کا اصل وطن نہٹور (یوپی) میں تھا، ۱۹۰۱ء میں بی، اے کی سند پاکر تعلیم سے فراغت پائی۔
ہماری زبان میں اس وقت ادب لطیف کا جو رواج ہے، اس کے پرانے لکھنے والوں میں سب سے پہلا نام سید حیدر مرحوم کا ہے اور چونکہ قادر مطلق کو ان سے یہ کام لینا تھا، اس لئے ان کی زندگی میں اس کا مناسب سامان بھی پیدا کردیا یعنی یہ کہ کالج کے زمانہ ہی میں ان کو ترکی پڑھنے کا خیال ہوا، علی گڑھ میں نواب محمد اسمٰعیل خان صاحب رئیس علی گڑھ کے والد بزرگوار ہجرت کرکے مکہ معظمہ چلے گئے تھے، وہیں نواب محمد اسمٰعیل خاں صاحب کی تعلیم و تربیت ہوئی، اس زمانہ میں ترکی وہاں کی سرکاری زبان تھی، اس لئے ان کو ترکی بھی پڑھائی گئی اور جب وہ ہندوستان آئے تو وہ ترکی ادب کے گویا نمائندہ ہوکر آئے، چنانچہ سرسید کے ’’تماشائے عبرت‘‘ میں وہ اسی ہیئت سے اسٹیج پر آئے ہیں اور معارف علی گڑھ میں جس کے وہ شریک ایڈیٹر تھے، وہی ترکی ادب کی اشاعت کا ذریعہ بنے۔
بہرحال سجاد حیدر مرحوم نے انہی سے ترکی زبان سیکھی اور اس کا یہ فائدہ ان کو پہنچا کہ سرکار انگریزی نے ان کو علی گڑھ...
Allama Ghulam Rasool Saeedi is a noted contemporary Islamic scholar knows for his brilliant style of writing and ……. The way he dealt with the differing ahadith by removing the objections through providing justifying explanations in his works such as “Tibyan al Quran”, Sharah Sahih Muslim” “Tibyan Al Quraan, Sharha Saheeh Muslim, Tibyan al Furqan, Ne’am Al Bari Sharha Saheeh al Bukhari” is a great display of his skills. This article deals with conflicts found in differing ahadith quoted in “ Sharah Sahih Muslim”. In his book Ghulam Rasool saeedi has claims that there is no confilict in Ahadith but it is considered as such due to limitations of human being mind in perceive his the meanings of Ahadith. In his works he presented ample proofs to remove conflicts among the differing narrations. Some examples of his contributions in this regard include the important topics such as taking the name of Allah during ablution. He has established conformity between Quran and the Sunnah by clarifying segregation between the obligatory steps of ablution according to Quraan and the sunnah of the prophet ﷺ. Further he has conformed conflicting narrations relating to valid and invalid marriage with and/or without the permission of the guardian of the woman. He also discuss approval and disapproval of marriage in the state of wearing “Ihram” and conformity in narrations dealing with establishing purity and cleanliness of leather by tanning. Conformity in narrations stating the sacredness of Makka Muazzima and Madina Munawwara through logical reasoning.
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.