http://shenaxt.ir Sun, 25 Jul 2010 14:40:25 +0000 http://backend.userland.com/rss092 fa آواره من، که به آمدن باران ------------------- و عطر چمن خاک را به خاطره می‌سپارم. بیچاره تو، که به آمدن باران ------------------- و عطر لجن خویش را به خاطره می‌سپاری. دلپاره ما، که به آمدن باران ------------------- و عطر وطن خاطر به خاطره می‌سپاریم. کلام و اشک هموار است. نامت کلید یگانگی‌ست. از خاطرم مرو... http://shenaxt.ir/blog/poem/493/ آخرین دقیقهٔ آخرین جلسهٔ کلاس درستی‌سنجی رسمی نرم‌افزار؛ استاد: «همهٔ مباحثی که در این درس بررسی کردیم را می‌توان در مورد سیستم‌های در حال تغییر نیز به کار برد. در واقع خیلی مهم است که ذهن خود را به بخش‌هایی که در حال تغییر هستند، معطوف نکنید و آن چیزهایی ... http://shenaxt.ir/blog/others/486/ سردیِ نسیمی سوزناک بر سر، دلهره‌یِ بی‌دانشی و نادیدن در دل، سکوتِ ترس‌افزایِ سایه‌هایِ سخن‌چین، حسِّ حماسه‌ای حاصد، عطرِ عطشناکِ عشق. شب، شعرِ شورانگیزِ شب‌تاب را به شادی می‌نوشت که در گشوده شد. به خود گفتم: «این همان یادیست که سالیانی از این پیش، بشارت خود‌داده بر دیده نشانده بود». زردی باران و صدای ماه، شمیمِ ورود را ... http://shenaxt.ir/blog/poem/475/ سرد بود اما زمستان نبود. جایی بود در میانه‌ی خزان با آن سردی استخوان‌سوزش. حضور مرگ، آوا از کلاممان گرفته بود و ما ارواحی را می‌مانستیم که به خانه‌ی خالی خویش بازگشته‌اند. نه افسوس و نه شوق زیستن؛ حقیقتِ بی‌دلیل، تکرار ناگریز یک آرزو بود و من به تعاریف خویش ... http://shenaxt.ir/blog/others/467/ زندگی زایش هر روزه‌ی ذکریست که خاک با خود از عمقِ زمان می‌آرد و زمان مرغک نادیده‌ی پر‌آوازیست که جز از عشق و خروش نغمه‌اش یک خواب است. ◻ گفته بودم که نهایت پیداست. گفته بودم که حقیقت این جاست. من نشستم که رسم تا به ابد. من دویدم که بمانم اینجا. خواهش از ظلمتِ بی رنگِ تبسم جاری و زمان، ... http://shenaxt.ir/blog/poem/460/ باز صبح اعلامیه‌ها را روی در و دیوار می‌بیند و  با خوشحالی می‌گوید:‌ «برویم تظاهرات روز کارگر!» از بالای عینک نگاهش می‌کنم و یاد همین حرفش پیش از روز زن می‌افتم. می‌گویم:‌ «مانا جان! اینجا Maifest برگزار می‌کنند نه Maidemo. این هم  مثل همان روز زن‌شان است که رفتیم و ... http://shenaxt.ir/blog/others/444/ از اواخر دهه ۱۸۵۰ میلادی که داروین نظریهٔ تکامل (فرگشت) خود را مبنی بر ایجاد تغییر در گونه‌های جانداران در اثر تغییرات ژنتیکیِ رخ‌داده در نسل‌های گوناگون منتشر ساخت، مکتب‌ها و نگرش‌های گوناگونی در شاخه‌های مختلف علمی و فلسفی بر مبنای این نظریه شکل گرفته‌اند. یکی از این شاخه‌ها، گرایشی ... http://shenaxt.ir/articles/others-articles/397/ به دوستی نوشته بودم که: «از آخرین دیدار، پاسخ‌ها کمتر شده‌اند و پرسش‌ها بیشتر و قراری نمانده است.» پاسخ فرستاده: «در آدمی عشقی و دردی و خارخاری و تقاضايی هست كه اگر صد هزار عالم مُلک او شود كه نیاساید و آرام نیابد. اين خلق به تفصیل در هر پیشه‌ای و ... http://shenaxt.ir/blog/others/379/ در قرون وسطی افرادی به نام دین بر مردم حکومت می‌کردند. در قرون وسطی جایی برای بیان اندیشه‌های مخالف با جریان حاکم نبود. در قرون وسطی «خرد» در فلسفهً زندگی بخش بزرگی از مردم جای نداشت. می‌گویند هر ملتی قرون وسطای خود را دارد. می‌گویند هر ملتی خود باید قرون وسطایش را از سر ... http://shenaxt.ir/blog/others/372/ یکی از روش‌های معمول درستی‌سنجی در مبحث درستی‌سنجی رسمی نرم‌افزار [Formal Verification of Software] توجه به شرط‌هایی است که می‌بایست پیش، پس و هنگام اجرای تک تک اجزای برنامه و به طور کلی پیش، پس و هنگام اجرای خود برنامه نامتغیر [Invariable] باشند. بدین شکل که پس از هر مرحله ... http://shenaxt.ir/articles/others-articles/344/