نیستم...
این چیزایی که می گی نیستم...
نمی خوام بهم بگی لایق بهتر از اینام...
نمی خوام بهم بگی که باید باهام فلان طور رفتار شه...
من این چیزارو نمی خوام...
من فقط یه منا ام...
پیام های کوتاه
طبقه بندی موضوعی
-
دوران باستان
(۷) -
اوج
(۴۲) -
هیس...!
(۳۷) -
کمی آهسته تر...
(۱۵) -
گل کوچک من
(۳۸) -
که نگارت شوم...
(۵۲) -
مرغ شیدا
(۱۰) -
در حیاط کوچک پاییز
(۲۵) -
سرای سکوت
(۱۱۶) -
رعد و برق
(۲۸)
بایگانی
- اسفند ۱۳۹۷ (۱)
- بهمن ۱۳۹۷ (۵)
- آذر ۱۳۹۷ (۱)
- تیر ۱۳۹۷ (۱)
- مرداد ۱۳۹۶ (۱)
- خرداد ۱۳۹۶ (۲)
- ارديبهشت ۱۳۹۶ (۶)
- فروردين ۱۳۹۶ (۳)
- اسفند ۱۳۹۵ (۸)
- دی ۱۳۹۵ (۱۳)
- آذر ۱۳۹۵ (۱)
- آبان ۱۳۹۵ (۳)
- مهر ۱۳۹۵ (۲۱)
- شهریور ۱۳۹۵ (۷)
- مرداد ۱۳۹۵ (۱۹)
- تیر ۱۳۹۵ (۲۱)
- خرداد ۱۳۹۵ (۱۵)
- ارديبهشت ۱۳۹۵ (۹)
- فروردين ۱۳۹۵ (۵)
- اسفند ۱۳۹۴ (۴)
- بهمن ۱۳۹۴ (۱)
- دی ۱۳۹۴ (۲)
- آذر ۱۳۹۴ (۴)
- آبان ۱۳۹۴ (۳)
- مهر ۱۳۹۴ (۲)
- شهریور ۱۳۹۴ (۴)
- مرداد ۱۳۹۴ (۲)
- تیر ۱۳۹۴ (۱)
- خرداد ۱۳۹۴ (۴)
- ارديبهشت ۱۳۹۴ (۳)
- فروردين ۱۳۹۴ (۲)
- اسفند ۱۳۹۳ (۱۲)
- بهمن ۱۳۹۳ (۴)
- دی ۱۳۹۳ (۷)
- آذر ۱۳۹۳ (۶)
- آبان ۱۳۹۳ (۵)
- مهر ۱۳۹۳ (۷)
- شهریور ۱۳۹۳ (۳۲)
- مرداد ۱۳۹۳ (۲۳)
- تیر ۱۳۹۳ (۹)
- خرداد ۱۳۹۳ (۷)
- ارديبهشت ۱۳۹۳ (۷)
- فروردين ۱۳۹۳ (۴)
- اسفند ۱۳۹۲ (۵)
- بهمن ۱۳۹۲ (۱۶)
- دی ۱۳۹۲ (۷)
- آذر ۱۳۹۲ (۱)
- آبان ۱۳۹۲ (۳)
- مهر ۱۳۹۲ (۳)
- شهریور ۱۳۹۲ (۱)
- مرداد ۱۳۹۲ (۲۲)
- تیر ۱۳۹۲ (۱۶)
پیوندها
پاسخ:
یه ایده اینه که حدس میزنیم توی بث دیگه مشکلایی که تو کریپکی خوردیمو نمی خوریم و مجبور نیستیم اینهمه حالت بندی و اینا که رویتنبرگ کرده رو بکنیم...
یه چیز دیگه هم اینه که واسه شهود گرایی مرتبه اول مدل های constant domain بث complete اند در حالیکه واسه کریپکی constant domain ها complete نیستن! بعد خب گفتیم شاید اینو بتونیم واسه بیسیک هم پیاده کنیم :دی
یه ایده اینه که حدس میزنیم توی بث دیگه مشکلایی که تو کریپکی خوردیمو نمی خوریم و مجبور نیستیم اینهمه حالت بندی و اینا که رویتنبرگ کرده رو بکنیم...
یه چیز دیگه هم اینه که واسه شهود گرایی مرتبه اول مدل های constant domain بث complete اند در حالیکه واسه کریپکی constant domain ها complete نیستن! بعد خب گفتیم شاید اینو بتونیم واسه بیسیک هم پیاده کنیم :دی
۱۲ خرداد ۹۵ ، ۲۰:۳۷
عرفان خانیکی
عرفان خانیکی
حالت بندی واسه ثابت کردن تمامیت؟
پاسخ:
اون بازیایی که مجبور شده سر سور عمومی در بیاره دیگه... همونایی که من درست نفهمیدم :)))
اون بازیایی که مجبور شده سر سور عمومی در بیاره دیگه... همونایی که من درست نفهمیدم :)))
۱۳ خرداد ۹۵ ، ۰۱:۱۴
عرفان خانیکی
عرفان خانیکی
اها! :دی
منم مقالش رو نخوندم کامل
خود دکتر اردشیر به عنوان مفاتیح الجنان از اون مقاله یاد می کنه :)))))))))))))
منم مقالش رو نخوندم کامل
خود دکتر اردشیر به عنوان مفاتیح الجنان از اون مقاله یاد می کنه :)))))))))))))
پاسخ:
:)))))
جدی ! من شاید ۱۰ بار خوندمش و بازم نفهمیدم چی می گه :)))
:)))))
جدی ! من شاید ۱۰ بار خوندمش و بازم نفهمیدم چی می گه :)))
میگم اگه که بشه یه جوی بث مدل رو واسه مرتبه اول بیسیک تعریف کرد، خانم فقط منا! چه نتیجه خاصی داره؟ چیز خاص جالبی میشه ازش در اورد؟