cyanic-selkie/wikianc huggingface dataset:
استخر (شهر)
جغرافیا
پس از گذشتن از تخت جمشید و نقش رجب در کنار کوه رحمت، چند قطعه سنگ حجاری‌شده روی هم وجود دارند که حالت دروازه را دارد و به پوزه تخت طاووس مشهور است. استخر پس از این دروازه بین دو کوه رحمت و نقش رستم قرار دارد. روبه‌روی پوزه تخت طاووس تپه‌هایی در سمت چپ جاده واقع شده‌اند. این تپه‌ها در واقع خاکریز خندق اطراف شهر استخر بوده‌اند. با گذر از تپه‌ها در سمت شرق دروازه‌های سنگی و قطعات فراوانی از ستون‌های شکسته و سرستون‌ها دیده می‌شود. در کنار این دروازه حوضی با چند آب‌نما مشاهده می‌شود و قطعات سنگ حجاری شده فراوانی تا فاصله‌های زیادی در اطراف آن ریخته شده‌اند. این آثار تماماً مربوط به دوره هخامنشی و مشابه آثار تخت جمشید هستند.
تاریخ اولیه
به احتمال زیاد، آن منطقه‌ای که به استخر تبدیل شد، در اصل از سکونتگاه‌هایی بوده‌است که پایتخت هخامنشی را احاطه می‌کردند. برخی از باستان‌شناسان استخر را با توجه به موقعیت جغرافیایی و نزدیکی به تخت‌جمشید، بخش عامه‌نشین شهر پارسه دانسته‌اند. اهمیت مذهبی آن به عنوان مرکز زرتشتیان در اوایل سده چهارم پیش از میلاد در زمان سلطنت اردشیر دوم هخامنشی ((r. undefined – undefined) ۴۰۴–۳۵۸) آغاز شد. او در زمان سلطنت خود دستور ساخت مجسمه و معبد آناهیتا در نزدیکی استخر را داد. این معبد همان معبدی است که مسعودی در سده دهم از خرابه‌های آن واقع در یک فرسنگی استخر یاد کرده‌است. به گفته ایران‌شناس مری بویس، خرابه‌های این معبد احتمالاً متعلق به بنای اولیه هخامنشی بوده که توسط مقدونیان مهاجم به رهبری اسکندر مقدونی ((r. undefined – undefined) ۳۳۶–۳۲۳) ویران و غارت شد. بنیانگذاری استخر به عنوان شهری مجزا اندکی پس از افول تخت جمشید توسط اسکندر صورت گرفت. به نظر می‌رسد که مقدار زیادی از سنگ‌های تخت جمشید برای بنای استخر مصرف شده‌است.
فرترکه و شاهان پارس
هنگامی که سلوکوس یکم ((r. undefined – undefined) ۳۰۵–۲۸۰) در ۲۸۰ پیش از میلاد درگذشت، پارسیان پارس شروع به اعلام دوباره استقلال خود کردند. به نظر می‌رسد مرکز مقاومت استخر بوده‌است که با وجود تپه‌های اطرافش از تخت جمشید، پایتخت پیشین هخامنشیان، امنیت بهتری داشته‌است. علاوه بر این، جاده مهمی به نام «جاده زمستانی» از استخر می‌گذشت که از پارس با گذشتن از پاسارگاد و آباده به اصفهان منتهی می‌شد. هسته استخر به عنوان یک شهر در سمت جنوب و شرق رودخانه پلوار قرار داشت. استخر از سده سوم پیش از میلاد تا اوایل سده سوم پس از میلاد به عنوان پایتخت فرمانروایان فرترکه و شاهان پارس شکوفا شد.
ساسان، نیای خاندان ساسانی، اهل استخر و در اصل نگهبان آتشکده آناهید در شهر بوده‌است. طبق روایاتی ساسان با زنی از دودمان بازرنگی که در اوایل سده سوم به عنوان دست‌نشانده اشکانیان در استخر حکومت می‌کرد، ازدواج کرد. در سال ۲۰۵/۲۰۶، بابک پسر ساسان، گوچهر، حاکم استخر را از سلطنت خلع کرد. پس از بابک پسرانش، شاپور و اردشیر پنجم، به عنوان دو شاه آخر پارس حکومت کردند.
شاهنشاهی ساسانی
در سال ۲۲۴، اردشیر پنجم، شاهنشاهی ساسانی را بنیانگذاری کرد و اردشیر یکم ((r. undefined – undefined) ۲۲۴–۲۴۲) نام گرفت. بویس بیان می‌کند که معبدی که قرن‌ها پیش توسط مقدونی‌ها ویران شده بود، در زمان ساسانیان بازسازی شد. او می‌افزاید که به گفته مسعودی، که نوشته‌هایش بر اساس روایات هستند، این معبد «در آغاز یک «بت‌خانه» بود که متعاقباً توسط همای، نیای افسانه‌ای هخامنشیان، به آتشکده تبدیل شد.» به نظر می‌رسد که در اوایل دوره ساسانیان، یا شاید کمی پیش از آن، جنبش شمایل‌شکنی زرتشتیان باعث شده بود که تصویر آیینی آناهیتا با آتش مقدس جایگزین شود. مسعودی این آتش مقدس را «یکی از گرامی‌ترین آتش‌های زرتشتیان» معرفی می‌کرد. شناسایی این معبد در استخر با آناهیتا ادامه یافت و طبری (م. ۹۲۳) اظهار داشت که این معبد به «آتشکده آناهیتا» معروف است.
کرتیر، موبد بانفوذ زرتشتی، در زمان بهرام دوم ((r. undefined – undefined) ۲۷۴–۲۹۳) به‌عنوان نگهبان «آتش در آناهید-اردشیر و بانو آناهیتای استخر» (ādur ī anāhīd ardaxšīr ud anāhīd ī bānūg) گماشته شد. بویس خاطرنشان می‌کند که با توجه به مقام بلندپایه کرتیر، انتصاب او نشان می‌دهد که آتش مقدس در استخر بسیار مورد احترام بوده‌است.
استخر در دوران ساسانیان به اوج شکوفایی خود رسید و به عنوان پایتخت و مرکز مذهبی استان پارس ساسانی عمل می‌کرد. استخر که مرکز عمده فعالیت‌های اقتصادی بود، میزبان یک ضرابخانه مهم ساسانی بود که به اختصار با حروف اول «ST» نامیده می‌شد و سکه‌ها از دوران سلطنت بهرام گور ((r. undefined – undefined) ۴۲۰–۴۳۸) تا سقوط این دودمان و همچنین گنجینه‌های سلطنتی ساسانی (گنج شاهیگان) در آن تولید می‌شد. از این گنجینه به‌طور مکرر در دینکرد و مادیان هزار دادستان یاد شده‌است. گنج شاهیگان همچنین یکی از نسخه‌های محدود اوستا را در اختیار داشت که احتمالاً یکی از همان نسخه‌هایی است که نسخه خطی موجود امروزی اوستا از آن مشتق شده‌است.
فتح و خلافت اعراب
در جریان حمله اعراب به پارس به عنوان بخشی از حمله اعراب به ایران، مهاجمان ابتدا مقر فرماندهی خود را در بیضا ایجاد کردند. اهالی استخر در برابر اعراب سخت مقاومت کردند. اولین تلاش آن‌ها در سال ۶۴۰ به رهبری علاء بن الحضرمی با شکست کامل مواجه شد. در سال ۶۴۳، اعراب لشکرکشی جدیدی به رهبری ابوموسی اشعری و عثمان بن ابی‌العاص انجام دادند که استخر را مجبور به تسلیم کرد. اما مردم استخر به سرعت شورش کردند و والی عرب شهر را کشتند. در سال ۶۴۸/۹، عبدالله بن عامر، والی بصره، لشکرکشی دیگری انجام داد که بار دیگر استخر پس از درگیری‌های سنگین، تسلیم شد. سرکوب شورش‌های بعدی منجر به کشته شدن بسیاری از ایرانیان گشت. با این حال، مردم استخر باری دیگر شورش کردند که اعراب را بر آن داشت تا در سال ۶۴۹ لشکرکشی دیگری را علیه استخر انجام دهند. این لشکرکشی نهایی بار دیگر منجر به کشته شدن بسیاری از ساکنان آن شد. قلعه ساسانی استخر واقع در خاوری‌ترین رخ‌نمون مرودشت محل آخرین مقاومت ایرانیان در برابر حمله اعراب به پارس بود.
استخر مدت‌ها پس از سقوط ساسانیان به عنوان سنگر دین زرتشت باقی ماند. بسیاری از سکه‌های عربی-ساسانی و سکه‌های دوران امویان و عباسیان در استخر ضرب شد. استخر در اوایل دوره اسلامی «مکانی نسبتاً مهم» باقی ماند. این مکان دژ مهمی بود که در دوران اسلامی و پیش از آن اغلب به عنوان محل خزانه‌داری حاکمان عمل می‌کرد. این قلعه به نام‌های مختلف قلعه استخر یا استخر یار (دوست استخر) شناخته می‌شود. در زمان خلافت اموی، فرمانداران اغلب در قلعه اقامت داشتند؛ برای نمونه زیاد بن ابیه در طول مبارزه خود با معاویه ((r. undefined – undefined) ۶۶۱-۶۸۰ ).
بوییان و سلجوقیان
این منطقه در نیمه اول سده دهم بخشی از سرزمین آل بویه شد. در آغاز هزاره، سفرنامه‌نویسان و جغرافی‌نویسان متعددی دربارهٔ استخر نوشتند. در اواسط سده دهم، اصطخری (که خود بومی استخر بود) آن را شهری متوسط توصیف کرد. مقدسی در حدود سی سال بعد، در سال ۹۸۵، پل روی رودخانه استخر و «بوستان زیبای» آن را ستود. او همچنین خاطرنشان کرد که مسجد اصلی شهر با سرستون‌های گاو نر تزئین شده‌است. به گفته بویس و استرک و مایلز، این مسجد در اصل همان معبد ساسانی بوده که آذر آناهید-اردشیر (آتش آناهید-اردشیر) در آن قرار داشته و یزدگرد سوم ((r. undefined – undefined) ۶۳۲–۶۵۱) آخرین پادشاه ساسانی در آن تاجگذاری کرد. با این حال، به گفته متیو کانپا شواهد باستان‌شناسی نشان می‌دهد که این مسجد در سده هفتم و در زمان حکومت اعراب ساخته شده‌است، و بنابراین یک معبد تغییر یافته ساسانی نبوده‌است. مقدسی همچنین خاطرنشان کرد که احتمالاً این مسجد در ابتدا یک آتشکده بوده‌است که در آن «تکه‌هایی از حجاری تخت جمشید به کار رفته‌است».
آب و هوای سرد منطقه انباشته‌هایی از برف را در بالای قلعه استخر ایجاد می‌کرد که آب ذوب‌شده آن در یک سد جمع می‌شد. این سد توسط عضدالدوله دیلمی ((r. undefined – undefined) ۹۴۹–۹۸۳) برای ایجاد یک آب‌انبار مناسب برای پادگان قلعه ایجاد شد. به نقل از منابع معاصر، عمادالدوله ابوکالیجار ((r. undefined – undefined) ۱۰۲۴–۱۰۴۸) هنگامی که به همراه پسرش به قلعه رفت مقادیر زیادی نقره و جواهرات ارزشمند را در قلعه یافت. نشان طلای عضدالدوله به تاریخ ۹۶۹/۷۰ که او را با تاجی به سبک ساسانی نشان می‌دهد، احتمالاً در استخر ساخته شده‌است.
گفته می‌شود در سال‌های پایانی حکومت ابوکالیجار وزیری با یکی از زمین‌داران محلی استخر درگیر شد. ابوکالیجار نیز لشکری را به فرماندهی قتلمیش به استخر فرستاد که شهر را ویران و غارت کردند. استخر دیگر هرگز شکوه پیشین را بازنیافت و تبدیل به روستایی با حدود صد نفر جمعیت شد.
در سال ۱۰۷۴ در زمان سلجوقیان، شورشی به نام فضلویه بر استان فارس تسلط یافت و در قلعه استخر سنگر گرفت. نظام‌الملک، وزیر مشهور امپراتوری سلجوقی، متعاقباً قلعه را محاصره کرد. فضلویه اسیر و در قلعه زندانی شد و یک سال بعد هنگامی که قصد فرار داشت اعدام شد. در دوره‌های بعدی، قلعه اغلب «به عنوان زندان دولتی برای مقامات عالی‌رتبه و شاهزادگان» استفاده می‌شد.
پس از آن
در حدود ۱۵۹۰ میلادی، قلعه استخر بنا به گزارش‌ها هنوز وضعیت خوبی داشت و مسکونی بود. مدتی بعد یک سردار یاغی صفوی به قلعه پناه برد. سپس شاه عباس صفوی ((r. undefined – undefined) ۱۵۸۸–۱۶۲۹) قلعه را محاصره و تخریب کرد. به گفته پیترو دلاواله، جهانگرد ایتالیایی که در سال ۱۶۲۱ از استخر دیدن کرد، این شهر ویران شده بود.
کاوش‌های باستان‌شناسی در استخر از سده ۱۹ آغاز شد. در سال‌های اخیر عملیات حفاظت و مرمت آثار سنگی محوطه استخر با تمرکز بر تنها جرز سنگی بلند در محوطه آغاز شده‌است.
نگارخانه
.
ماتسودو، چیبا
ماتسودو، چیبا از شهرهای استان چیبا ژاپن است که جمعیت آن در ۴۷۷٬۶۰۳ نفر (برآورد ۱ ژانویه ۲۰۰۸) بوده‌است.
۱۰۲۸
۱۰۲۸ ممکن است به یکی از موارد زیر اشاره داشته باشد:
انتخابات ریاست‌جمهوری ایران (۱۳۵۸)
نامزدهای انتخاباتی
در این دوره انتخابات ریاست جمهوری ۱۲۴ نامزد شرکت کردند که پس از اعلام انصراف یا استعفای برخی از نامزدها در نهایت ۹۶ نامزد در روز انتخابات به رقابت با یکدیگر پرداختند. ابوالحسن بنی صدر، احمد مدنی (نفر دوم)، داریوش فروهر، صادق قطب زاده، حسن حبیبی، کاظم سامی، حسن آیت، صادق طباطبایی، صادق خلخالی، محمد مکری، صفر علی خلیلی، از جمله نامزدهای اولین دوره انتخابات ریاست جمهوری در ایران بودند.
در دوره اولین انتخابات ریاست جمهوری هنوز شورای نگهبان تشکیل نشده بود و خمینی نیز پیش از این گفته بود که در این انتخابات هیچ دخالتی نمی‌کند.
حسن حبیبی، که با نهضت آزادی رابطهٔ دیرینه داشت و از وزیران دولت موقت بازرگان بود و پس از آن به شورای انقلاب پیوسته‌بود، با حمایت نهضت آزادی اعلام نامزدی کرد.
مسعود رجوی رهبر سازمان مجاهدین خلق و مورد حمایت این سازمان بود. وی یکی از داوطلبانی است که در این انتخابات امکان رقابت نیافت. پس از پیام خمینی مبنی بر صلاحیت نداشتن کسانی که به «به قانون اساسی رأی مثبت نداده‌اند»، وی از انتخابات کناره‌گیری کرد.
جلال الدین فارسی کاندید مورد حمایت حزب جمهوری اسلامی به دلیل انتشار خبر مربوط به ایرانی‌الاصل نبودن (پدر وی از مهاجران افغان - شهر هرات - به ایران بودند) رقابت‌های انتخاباتی کناره گرفت. پس از آن در روزهای آخر انتخابات، حزب جمهوری اسلامی از حسن حبیبی نامزد نهضت آزادی حمایت نمود.
مسعود رجوی
به دنبال نام‌نویسی مسعود رجوی به عنوان کاندیدای ریاست جمهوری در ۱۵ دی ۱۳۵۸ تاریخ اولین میتینگ انتخاباتی مجاهدین خلق روز پنج‌شنبه ۲۰ دی ۵۸ در دانشگاه تهران در میان هواداران سازمان برگزار شد. در ابتدای این گردهمایی موسی خیابانی طی سخنانی گفت: «ما بر حسب مسئولیت‌ها و وظایفمان وارد این صحنه شده‌ایم و نه از روی جاه‌طلبی. اگر اهل جاه‌طلبی بودیم درها به روی ما بسته نبود. ما همیشه رنج‌ها را تحمل می‌کنیم».
عیسی فقیر
عیسی فقیر، روستایی از توابع بخش جزینک شهرستان زهک در استان سیستان و بلوچستان ایران است.
انتخابات ریاست‌جمهوری ایران (۱۳۵۸)
مسعود رجوی
در مصاحبه مطبوعاتی تعدادی از افرادی که به عنوان کادر رهبری سازمان مجاهدین شناخته شده بودند، مسعود رجوی گفت: «ما با حفظ نقطه نظرهای آرمانی و سیاسی خود در کادر قانون اساسی مصوب اعلام آمادگی کرده‌ایم.» وی سپس سرتیتر برنامه‌های انتخاباتی اش را در ۱۲ ماده عنوان کرد و به تشریح آنها پرداخت. وی گفت: «... تا آنجا که من می‌دانم این اولین بار در تاریخ معاصر است که یک سازمان انقلابی که در دوران دیکتاتوری به مبارزه مسلحانه شهری اشتغال داشته در شرایطی نظیر حالا خودش را کاندیدای ریاست جمهوری می‌کند، پس مسئله فراتر از داخل کشور ابعاد بین‌المللی هم دارد. آیا جز این است که انقلاب را باید انقلابیون اداره بکنند؟»
عیسی فقیر
جمعیت
این روستا در دهستان خمک قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۷ نفر (۴خانوار) بوده‌است.
انتخابات ریاست‌جمهوری ایران (۱۳۵۸)
مسعود رجوی
عده‌ای از نزدیکان خمینی روز شنبه ۲۹ دی ۱۳۵۸، دربارهٔ نامزدهایی که به قانون اساسی رأی نداده‌اند کسب تکلیف کردند. خمینی پاسخ داد: «بسم الله الرحمن الرحیم کسانی که به قانون اساسی جمهوری اسلامی رأی مثبت نداده‌اند، صلاحیت ندارند رئیس‌جمهور ایران شوند».
نتیجه انتخابات
در نهایت ابوالحسن بنی صدر با کسب ۱۰٬۷۰۹٬۳۳۰ رأی از مجموع ۱۴٬۱۵۲٬۸۸۷ رأی ماخوذه به عنوان نخستین رئیس‌جمهور ایران انتخاب شد.
واکنش منفی حزب جمهوری اسلامی به انتخابات
جلال الدین فارسی کاندید حزب جمهوری اسلامی به دلیل انتشار خبر مربوط به ایرانی‌الاصل نبودن از رقابت‌های انتخاباتی کناره گرفت.
بهشتی - موسوی اردبیلی-خامنه ای - باهنر و هاشمی رفسنجانی در نامه مورخ ۲۸ بهمن ۱۳۵۸ به روح الله خمینی مینویسند:
در بخش ۷: حذف حزب جمهوری اسلامی از انتخابات ریاست جمهوری با مقدمات حساب شده ای صورت گرفت و مخالفان را جری و امیدوار کرد
در بخش۱۱: دستور جنابعالی در مورد حمایت از رییس جمهور منتخب مورد سو استفاده در جهت اهداف خاصی (اهداف بنی صدر) قرار گرفت...
در بخش ۱۴: از اینکه انقلاب اسلامی به این آسانی و سادگی برخی از وساپل تضمین محتوای خود را از دست بدهد نمیتوانیم نگران و ناراحت نشویم.
در بخش ۱۶: علایم تکرار تاریخ مشروطه بچشم میخورد...متجددین علیرغم اختلافاتشان در بیرون راندن اسلام همدست شده اند....
خلاصه نتایج رای گیری
آرای هشت کاندید ریاست جمهوری در حوزهٔ شهرستان تهران:
۱۰۲۹
۱۰۲۹ ممکن است به یکی از موارد زیر اشاره داشته باشد:
عدد روس
عدد روس یک عدد بی بعد است که در دینامیک سیالات برای توصیف پروفایل غلظت برای رسوب های معلق در سیال و چگونگی حرکت آن‌ها در جریان سیال است.این کمیت از نسبت سرعت حد (w_s) ذرات رسوب به سرعت رسوب‌ها در جهت بالا که از ضرب ثابت وان کارمن(\kappa) و سرعت برشی(u_*) حاصل می‌شود، به دست می‌آید.این عدد که با نماد P نشان داده می‌شود، به افتخار دانشمند آمریکایی هانتر روس نامگذاری شده‌است و به صورت زیر تعریف می‌شود:
تیغ‌پشت حشره‌خوار دم‌دراز بزرگ
تیغ‌پشت حشره‌خوار دم‌دراز بزرگ نام یک گونه از سرده ریزراسویی‌ها است.
تالاب صالحیه
تالاب صالحیه یک تالاب فصلی در نظرآباد استان البرز ایران است. همچنین بخشی از این تالاب در استان قزوین قرار دارد وسعت تالاب صالحیه با احتساب باتلاق‌های اطراف ده هزار هکتار می‌باشد و آب این تالاب از رودخانه کردان تأمین می‌شود. این تالاب یک تالاب فصلی است و در فصل گرما به دلیل بارش کم و نیاز کشاورزان منطقه به آب، بسیار کم‌آب و خشک می‌شود. میزان بارندگی در این تالاب ۲۲۰ میلیمتر در سال است. ''
خشکی
در سال‌های اخیر در فصول گرما اکثر قسمت‌های این تالاب روبه خشکی می‌رود و زیستگاه‌های جانواران زیادی که در این منطقه هستند از بین می‌رود. از دلایل خشکی این تالاب می‌توان به برداشت بی‌رویه آب تالاب توسط کشاورزان منطقه، چرای دام، بارش کم و بی‌توجهی به تالاب دانست. این تالاب در سال ۱۳۹۷ احیا و آبگیری شد و بسیاری از گونه‌های جانوری که در پی خشکی تالاب از منطقه رفته بودند بازگشتند. در حال حاضر میانگین ژرفای این تالاب ۲ متر می‌باشد.
زیستگاه‌ها
زیستگاه‌های تالاب صالحیه بسیار متنوع می‌باشد عمده زیستگاه‌های این تالاب را پرندگان تشکیل می‌دهند. در این تالاب ۱۲۰ گونه پرنده وجود دارد. همچنین این تالاب محل مهاجرت بسیاری از گونه‌های پرندگان مهاجر می‌باشد. از انواع پرندگان موجود در این تالاب می‌توان به درنا خاکستری، غاز خاکستری، اردک سبز، تنجه، آنقوت، اگرت، حواصیل، فلامینگو، لک‌لک سیاه و پلیکان اشاره کرد. از گونه‌های پستاندار موجود در این منطقه می‌توان به خرگوش، روباه، گرگ، شغال، گراز و سنجاب اشاره کرد.
پوشش گیاهی
پوشش گیاهی منطقه از نوع گونه‌های استپی می‌باشد و شامل انواع گیاهان مرتعی، از قبیل گرامینه‌ها، درمنه‌ها و انواع گیاهان بالشتکی خاردار در اطراف و خود تالاب می‌باشد.
جغرافیا و مسیرهای دسترسی
این تالاب از شمال به فرودگاه آزادی شهرستان نظر آباد، روستای صالحیه، از شرق به روستای شیخ حسن، از جنوب به قشلاق دایلر در استان البرز و از غرب به زمینهای روستای شهرآباد در استان قزوین محدود می‌شود. برای دسترسی به این تالاب دو راه وجود دارد:
یادداشت‌ها
<references group="persian-alpha"/>
ادامو، جیمینا اوپکزا
ادامو، جیمینا اوپکزا (به لاتین: Adamów, Gmina Opoczno) در لهستان است که در Gmina Opoczno واقع شده‌است.
فینال جام در جام اروپا ۱۹۷۵
فینال جام در جام اروپا ۱۹۷۵، رقابت پایانی جام در جام اروپا در سال ۱۹۷۵ میلادی است که مابین دو تیم باشگاه فوتبال دینامو کیف و باشگاه فوتبال فرنس‌واروش برگزار شده‌است.
این مسابقه که در تاریخ ۱۴ مه ۱۹۷۵ انجام شده‌است با نتیجه ۳ بر ۰ به سود تیم باشگاه فوتبال دینامو کیف به پایان رسید.
ییستبنیتسه
ییستبنیتسه یک منطقهٔ مسکونی و شهرستان دارای شهرک سابقاً روستا در جمهوری چک است که در منطقه تابور واقع شده‌است. ییستبنیتسه ۵۷٫۹۴ کیلومتر مربع مساحت و ۲٬۰۰۹ نفر جمعیت دارد و ۵۷۸ متر بالاتر از سطح دریا واقع شده‌است.
۱۰۳۰
۱۰۳۰ ممکن است به یکی از موارد زیر اشاره داشته باشد:
جستجوی بروت-فورس
جستجوی بروت-فورس یا جستجوی غیرهوشمندانه یا جستجوی جامع (فراگیر) (به انگیسی: exhaustive search)، که همچنین در علوم کامپیوتر به نام جستجوی تولید و تِست (به انگلیسی: generate and test) شناخته شده، روشی بدیهی در عین حال بسیار کلی برای حل مسئله می‌باشد. این روش که شامل شمارش نظام مند تمام نامزدهای ممکن برای حل و چک کردن اینکه آیا هر یک از نامزدها قادر به ارضا شرط مسئله است. به عنوان مثال، یک الگوریتم Brute-force برای پیدا کردن مقسوم علیه‌های یک عدد طبیعی N، شامل شمردن تمام اعداد صحیح از ۱ تا ریشهٔ دوم از n است، و بررسی اینکه آیا n به هر یک از آن‌ها تقسیم پذیر است یا خیر.
جستجو به روش Brute-force به سادگی قابل پیاده‌سازی می‌باشد و همیشه جواب مسئله را در صورت وجود می‌یابد. با این حال، به دلیل اینکه هزینه‌های آن متناسب با تعداد نامزدهای حل مسئله است، استفاده از آن در بسیاری از مسائل عملی، که تعداد نامزدهای حل مسئله تمایل به رشد بسیار سریع با افزایش اندازه مسئله را دارد، امکانپذیر نمی‌باشد. این روش هنگامی به کار می‌رود که اندازه مسئله محدود می‌باشد یا روش‌های ابتکاری برای کاهش تعداد مجموعه نامزدهای حل مسئله وجود دارد. این روش هنگامی که سادگی پیاده‌سازی مهم‌تر از سرعت است نیز به کار می‌رود.
به عنوان مثال، در برنامه‌های حساس که در آن هر گونه خطا در الگوریتم می‌تواند عواقب بسیار جدی داشته باشد، یا در هنگام استفاده از رایانه برای اثبات یک قضیه ریاضی این روش به کار برده می‌شود. جستجو به روش Brute-force به عنوان روش «پایه» در هنگام تعیین معیار الگوریتم‌های دیگر یا metaheuristics مفید می‌باشد. در واقع، جستجو به روش Brute-force را می‌توان ساده‌ترین metaheuristic نام نهاد. با این وجود نباید این روش را با روش پسگرد اشتباه گرفت. در روش عقبگرد، مجموعه بزرگی از راه حل‌ها را می‌توان بدون شمارش حذف کرد. روش Brute-force برای پیدا کردن یک آیتم در یک جدول جستجوی خطی نامیده می‌شود.
الگوریتم پایه
به منظور استفاده از روش Brute-force در یک کلاس خاص از مسائل، باید چهار زیر برنامه first, next, valid و output پیاده‌سازی شود. هر یک از این روش‌ها، داده P از یک مسئله را به عنوان یک پارامتر در نظر گرفته و مراحل زیر را انجام می‌دهد:
(first (P: ایجاد اولین نامزد برای حل P.
(next (P, c: ایجاد نامزد بعدی برای حل P پس از نامزد فعلی c.
(valid (P, c: بررسی مقبولیت نامزد c به عنوان یک راه حل برای P.
(output (P, c: استفاده از جواب c در برنامه P.
مرحله next می‌بایست زمانی که نامزد دیگری برای حل P وجود ندارد، را تشخیص دهد. یک راه مناسب برای انجام این کار بازگرداندن «نامزد پوچ» به عنوان نامزد بعدی می‌باشد، برخی از دادهٔ Λ به صورت معمول برای که تمایز از نامزدهای واقعی استفاده می‌شود. به همین ترتیب در صورتی که هیچ نامزدی برای حل P موجود نباشد مرحله first نیز باید دادهٔ Λ برگرداند. در این صورت روش brute-force توسط الگوریتم زیر بیان می‌شود:
c \gets first(P) while c \neq Λ do if valid(P,c) then output(P, c) c \gets next(P,c)
پیاده‌سازی الگوریتم به زبان c:
void BF(char *x, int m, char *y, int n) { int i, j; /* Searching */ for (j = 0; j <= n - m; ++j) { for (i = 0; i <m && x[i] == y[i + j]; ++i); if (i>= m) OUTPUT(j); }}
انفجار ترکیبی
نقطه ضعف اصلی استفاده از روش Brute-force در بسیاری از مسائل عملی این است که تعداد نامزدهای حل مسئله بسیار زیاد است. به عنوان مثال، تعداد نامزدهای حل مسئله برای یافتن مقسوم علیه‌های عدد n, n می‌باشد. بدین ترتیب برای یافتن مقسوم علیه‌های یک عدد ۱۶ رقمی، نیاز به اجرای حداقل ۱۰ به توان ۱۵ جستجو می‌باشد که برای یک دستگاه رایانه معمولی چند روز طول خواهد کشید. اگر n یک عدد طبیعی ۶۴ بیتی ۱۹ رقمی تصادفی باشد به‌طور متوسط، جستجو حدود ۱۰ سال طول می‌کشد. این رشد سریع در تعداد نامزدها، با افزایش داده‌ها در تمام مسائل اتفاق می‌افتد. به عنوان مثال، جستجوی یک چیدمان خاص از ۱۰ حرف، ۱۰ = ۳٬۶۲۸٬۸۰۰ نامزد خواهد داشت، که یک PC ی معمولی می‌تواند در کمتر از یک ثانیه ایجاد و تست نماید. با این حال، با اضافه کردن یک حرف (که تنها ۱۰ درصد افزایش در حجم داده هاست) تعداد نامزدها را ۱۱ برابر می‌کند (تعداد نامزدها %۱۰۰۰ افزایش می‌یابد). تعداد نامزدها برای ۲۰ حرف، ۲۰ است، یعنی حدود ۲٫۴ × ۱۰۱۸. این جستجو حدود ۱۰٬۰۰۰ سال طول خواهد کشید. این پدیده ناخوشایند به نام انفجار ترکیبی معروف است.
سرعت بخشیدن به الگوریتم
از جمله راه‌های سرعت بخشیدن به الگوریتم Brute-force استفاده از راه‌های ابتکاری مخصوص برای هر مسئله به منظور کاهش فضای جستجو یا به عبارتی کاهش تعداد نامزدهای قابل قبول می‌باشد. به عنوان مثال، مسئله معروف ۸ ملکه را در نظر بگیرید، در این مسئله ۸ ملکه در صفحه شطرنج طوری باید قرار بگیرند که هیچ‌یک قادر به حمله به دیگری نباشد. از آنجا که هر یک از ملکه‌ها را می‌توان در هر یک از ۶۴ مربع قرار داد، در اصل ۲۸۱٬۴۷۴٬۹۷۶٬۷۱۰٬۶۵۶ =۶۴۸ (بیش از ۲۸۱ تریلیون) حالت امکان‌پذیر وجود دارد. با این حال، با در نظر گرفتن این موضوع که همه ملکه‌ها یکسان هستند، و این که هیچ دو ملکه‌ای را نمی‌توان در یک خانه قرار داد، نتیجه می‌گیریم که نامزدها تمام راه‌های ممکن از انتخاب مجموعه‌ای از ۸ مربع از مجموعه‌ای از ۶۴ مربع است که به معنی انتخاب ۸ از ۶۴ می‌باشد (۶۴!/۵۶!۸! نامزد حل) در حدود ۱/۶۰، ۰۰۰ برآورد قبلی. همچنین، به سادگی می‌توان تشخیص داد که هیچ آرایشی با دو ملکه در یک سطر یا ستون نمی‌تواند یک راه حل باشد؛ بنابراین، می‌توان گفت که هر یک از ملکه‌ها در یک ردیف مثلاً ملکه ۱ در ردیف ۱، ملکه ۲ در ردیف ۲، و … به گونه‌ای که هیچ‌یک در یک سطر نیز نباشند باید قرار بگیرند. در نتیجه تعداد نامزدها به ۸! تقلیل می‌یابد. همان گونه که این مثال نشان می‌دهد، کمی تجزیه و تحلیل اغلب منجر به کاهش چشمگیر در تعداد نامزدها می‌شود، و ممکن است یک مسئله غیرقابل حل را به مسئله‌ای پیش پا افتاده تبدیل کند. این مثال همچنین نشان می‌دهد که روش شمارش نامزدها (اول و بعدی) برای مجموعهٔ محدود از نامزدها ممکن است به راحتی یا حتی ساده‌تر از مجموعه اصلی باشد. در برخی موارد، تجزیه و تحلیل ممکن است نامزدها را محدود به تمامی جواب‌های مسئله نماید. به عنوان مثال، مسئله پیدا کردن تمام اعداد صحیح بین ۱ و ۱٬۰۰۰٬۰۰۰ که به‌طور مساوی بر ۴۱۷ تقسیم پذیر باشند را در نظر بگیرید. یک الگوریتم brute-force ابتداییممکن است تمام اعداد داخل محدوده را برای تقسیم پذیری امتحان کند. در حالیکه این مسئله را می‌توان به صورت بسیار مؤثرتر با شروع از ۴۱۷ و اضافه کردن ۴۱۷ به عدد قبلی تا وقتی که عدد حاصل بیش از ۱٬۰۰۰٬۰۰۰ شود. بدین ترتیب تعداد نامزدها به ۲۳۹۸ (۱۰۰۰۰۰/۴۱۷) کاهش یافته و هیچ امتحانی نیاز نیست.
جایگزین‌های روش Brute-force
روش‌های جستجوی متعددی برای یافتن راه حل هنگامی که اطلاعات محدودی از جواب مسئله در دسترس است وجود دارد. همیشه راه‌های ابتکاری خاص هر مسئله می‌تواند کار را ساده‌تر نماید. برای مثال تعیین بیشینه و کمینه در مراحل ابتدایی حل یک مسئله می‌تواند بسیار مفید باشد. در بعضی موارد همانند تجزیه جملات، روش‌هایی مثل تجزیه نمودار ممکن است درجه سختی مسئله را از حد نمایی به سختی چندجمله‌ای تقلیل دهد. در بعضی موارد دیگر، ساده‌تر کردن مسئله می‌تواند جستجو را بسیار راحت‌تر کند. برای مثال در شطرنج کامپیوتری، برای انتخاب هر حرکت، بجای اینکه تمام گزینه‌ها تا انتهای بازی در نظر گرفته شود، تعداد محدودی از بیشینه و کمینه‌ها برای تعداد مشخصی از حرکت‌ها آینده به صورت استاتیک بررسی می‌شود.
کاربرد روش Brute-force در رمزگشایی
در رمزگشایی، حمله به روش Brute-force شامل امتحان کردن تمامی کلیدهای ممکن تا وقتی که کلید صحیح پیدا شود. این روش همیشه، به وسیله کسی که نتواند از کاستی‌های سامانه رمزنگاری شده‌استفاده کند، قابل بکارگیری می‌باشد. طول کلید تعیین کنندهٔ قابل اجرا بودن روش Brute-force برای رمزگشایی می‌باشد. افزایش طول کلید می‌تواند استفاده از این روش را به صورت نمایی سختتر کند. کلیدهایی که به صورت دلبخواه بی معنا یا گمراه‌کننده انتخاب شوند، می‌توانند کاربرد این روش را به شدت دشوارتر کنند. یکی از معیارهای قوت یک رمز، طول زمان رمزگشایی با استفاده از روش Brute-force است.
منابع
^ Christof Paar, Jan Pelzl, Bart Preneel (2010). Understanding Cryptography: A Textbook for Students and Practitioners . Springer. p. 7. ISBN 3-642-04100-0.
http://www-igm.univ-mlv.fr/~lecroq/string/node3.html
http://en.wikipedia.org/wiki/Brute-force_search
هم چنین ببینید:
پیوند به بیرون
این الگوریتم به زبان جاوا
محسن حاجی‌حسنی کارگر
محسن حاجی‌حسنی کارگر (زاده ۱۵ آبان ۱۳۶۷ مشهد - کشتهٔ ۲ مهر ۱۳۹۴ منا) نفر اول جهان در مسابقات جهانی کشور مالزی در رشته تلاوت قرآن سال ۲۰۱۵ بود. حاجی‌حسنی روزهای چهارشنبه، اذان صبح را به صورت زنده در حرم علی بن موسی الرضا اجرا می‌کرد. حاجی‌حسنی در جریان حادثه منا کشته شد.
افتخارات
وی در سال ۱۳۸۱ برای اولین بار در مسابقات سازمان اوقاف و امور خیریه شرکت کرد و در مقطع سنی زیر شانزده سال رتبه اول کشوری را کسب کرد. وی در سی و هفتمین دوره مسابقات بین‌المللی قرآن کریم جمهوری اسلامی ایران که در اسفند ۱۳۹۳ در تبریز برگزار گردید، موفق شد پس از نماینده استان یزد حسن دانش مقام دوم را به دست آورد. نزدیک به سه ماه بعد، به عنوان نماینده ایران در پنجاه و هفتمین دوره مسابقات بین‌المللی قرآن کریم مالزی نیز با تلاوتی شایسته، موفق به احراز رتبه نخست شد.
کشته‌شدن
محسن حسنی کارگر در تاریخ ۲ مهر ۱۳۹۴ در فاجعه منا که به دلیل ازدحام جمعیت در یکی از مسیرهای حرکت حاجیان به سمت جمرات رخ داد، کشته شد.
حاجی‌حسنی در حرم علی بن موسی تلاوت‌هایی اجرا کرده بود که پس از درگذشت وی به پیشنهاد عباس واعظ طبسی پیکر وی در صحن جمهوری اسلامی -بهشت ثامن ۳ اتاق ۵ (بلوک ۵۲۶) - بارگاه علی بن موسی دفن شد.
مسئله تصمیم‌ناپذیر
یک مسئله تصمیم‌ناپذیر در نظریه رایانش‌پذیری و نظریه پیچیدگی محاسباتی، یک مسئله تصمیم است که اثبات شده است که «غیرممکن» است که یک الگوریتم برای آن بسازیم که همیشه به یک جواب بله/خیر صحیح برای آن برسد. به عنوان مثال برای مسئله توقف: قابل اثبات است که الگوریتمی که به صورت صحیح تعیین کند که «آیا برنامه‌های اختیاری در هنگام اجرا در نهایت منجر به توقف می شوند» وجود ندارد.
محسن حاجی‌حسنی کارگر
در رسانه
فیلم ۲۴ سپتامبر (با نام قدیمی خانم سادات) ساخته مریم ابراهیم‌وند، به شرح زندگی و کشته شدن محسن حاجی حسنی کارگر پرداخته است.
مسئله تصمیم‌ناپذیر
بطور رسمی، مسئله تصمیم زیرمجموعه‌ای از اعداد طبیعی است. مسئله غیررسمی متناظر تصمیم‌گیری در مورد این است که آیا عدد داده شده در مجموعه است یانه. مسئله تصمیم A، قابل حل یا عملاً قابل حل نامیده می‌شود، اگرA مجموعه‌ای بازگشتی باشد. یک مسئله تا حدی قابل حل، نیمه حل پذیر، قابل حل یا اثبات است، اگر A مجموعه‌ای قابل شمارش باشد. این بدان معناست که الگوریتمی وجود دارد که وقتی جواب بله است بالاخره متوقف می‌شود اما اگر جواب نه است ممکن است دنباله داشته باشد (ادامه یابد). مسائل نسبتاً قابل حل و هر مسئله دیگری که قابل حل نیست، غیرقابل حل نامیده می‌شود.
شنای پروانه (فیلم)
شنای پروانه فیلمی ایرانی به کارگردانی محمد کارت است که در سال ۱۳۹۸ منتشر شد. نوشتن فیلم‌نامهٔ آن بر عهدهٔ محمد کارت، حسین دوماری و پدرام پورامیری بوده و داستان آن دربارهٔ زنی است که تصویرش درحالی که در استخر بوده پخش شده و برادر شوهرش در جستجوی عکاس این تصویر است. جواد عزتی، طناز طباطبایی، امیر آقایی، علی شادمان، مه‌لقا باقری، مهدی حسینی‌نیا، ایمان صفا، ناهید مسلمی، نادر شهسواری، آبان عسکری و پانته‌آ بهرام از بازیگران این فیلم هستند.
مسئله تصمیم‌ناپذیر
در نظریه محاسبه
در نظریه محاسبه، مسئله خاتمه پذیر مسئله‌ای قابل حل است که می‌تواند همانند آنچه در ادامه می‌آید بیان شود:
شنای پروانه (فیلم)
شنای پروانه در بهمن ۱۳۹۸ و در بخش سودای سیمرغ و نگاه نو سی و هشتمین دوره جشنواره فیلم فجر به نمایش درآمد، و در آن‌جا نامزد دریافت ۱۴ جایزه شد که توانست شش جایزه از جمله بهترین بازیگر نقش مکمل مرد (آقایی)، بهترین بازیگر نقش مکمل زن (طباطبایی) و بهترین تدوین را کسب کند.
مسئله تصمیم‌ناپذیر
در نظریه محاسبه
«با دادن توصیف یک مسئله دلبخواهی و ورودی مشخص، تصمیم می‌گیرد که آیا اجرای برنامه متوقف شود یا برای همیشه ادامه یابد.»
آلن تورینگ در سال ۱۹۳۶ ثابت کرد که الگوریتم جامع قابل اجرا در ماشین تورینگ که مسئله خاتمه پذیر را برای همه جفت‌های ممکن ورودی برنامه حل کند لزوماً نمی‌تواند وجود داشته باشد؛ بنابراین مسئله خاتمه پذیر برای ماشین تورینگ، غیرقابل حل است.
شنای پروانه (فیلم)
خلاصه
دادگاه حکم به اعدام هاشم می‌دهد. حجت و پدرش (نادر شهسواری) برای رضایت گرفتن نزد پدر پروانه (علیرضا داوودنژاد) می‌روند. پدر پروانه می‌گوید فقط در صورتی رضایت می‌دهد که پخش کنندۀ فیلم پیدا شود. طبق گفتۀ پلیس، سیم کارتی که اولین بار فیلم را پخش کرده‌است متعلق به فردی به نام رضا زارع است که اخیراً از کمپ ترک اعتیاد فرار کرده‌است. حجت همراه مسیب (مهدی حسینی‌نیا) -دوست هاشم- به دنبال رضا می‌گردند ولی دوستان رضا می‌گویند او مرده‌است.
مسئله تصمیم‌ناپذیر
مثال‌هایی از مسائل غیرقابل حل
مقاله اصلی: فهرست مسائل غیرقابل حل
مسائل غیرقابل حل می‌توانند مربوط به عنوان‌های متفاوتی مثل دستگاه‌های انتزاعی، منطقی یا شیوه منظم سازمان یافته topology، باشد. توجه داشته باشید از آن جایی که تعداد زیادی مسئله غیرقابل حل، غیرقابل محاسبه هستند؛ بنابراین هر فهرستی حتی یکی از آن‌هایی که طول بی پایانی دارند، لزوماً کامل نیستند.
شنای پروانه (فیلم)
خلاصه
حجت مسیب را می‌رباید. مسیب اعتراف می‌کند همه چیز را به خاطر انتقام گرفتن از هاشم انجام داده چون چند سال قبل هاشم چند نفر را اجیر کرده‌است که مسیب را بربایند و به او تجاوز کنند. او همچنین می‌گوید دستگیر شدن حجت به جرم قاچاق و به دنبال آن سقط جنین و نازا شدن افسانه (مه‌لقا باقری) -همسر حجت- هم زیر سر هاشم و مسیب بوده‌است. همچنین می‌گوید حجت چند بار هم ناخواسته بار شیشه برای آنها قاچاق کرده‌است.
حجت مقداری پول از مسیب می‌گیرد تا او را آزاد کند. سه کیلو و نیم شیشه (مقداری که حکم آن اعدام است) تهیه می‌کند و آن را در خانۀ مسیب جاسازی می‌کند و پلیس مسیب را دستگیر می‌کند. در آخرین صحنۀ فیلم حجت به خانواده‌اش می‌گوید نتوانسته‌است پخش کنندۀ فیلم را پیدا کند.
مسئله تصمیم‌ناپذیر
مثال‌هایی از گزاره‌های غیرقابل حل
به خاطر این دو، معنای کلمه غیرقابل حل، واژه مستقل، گاهی به جای غیرقابل حل بودن، معنای «نه اثبات پذیر نه رد کردنی» استفاده می‌شود. به هر حال استعمال واژه «مستقل» نیز مبهم است: این واژه می‌تواند فقط معنای «غیرقابل اثبات» دهد در حالی که فضا را برای برداشت آن که یک گزاره مستقل ممکن است رد کردنی باشد، را نیز باز بگذارد.
شنای پروانه (فیلم)
توقف اکران به احترام کادر درمان
۲۲ تیر ۱۳۹۹ رسول صدرعاملی، تهیه‌کننده فیلم به دلیل افزایش قربانیان و مبتلایان به کووید ۱۹ و به احترام کادر درمان که طی مدت طولانی مشغول درمان مبتلایان هستند، خبر از توقف موقت اکران فیلم از روز چهارشنبه ۲۵ تیرماه ۱۳۹۹ داد.
مسئله تصمیم‌ناپذیر
مثال‌هایی از گزاره‌های غیرقابل حل
غیرقابل حل بودن یک گزاره در یک دستگاه استنباطی خاص در دستگاه خودش، به این سؤال اشاره می‌کند که آیا صحت مدار گزاره به خوبی تعریف شده یا آیا می‌تواند با شیوه‌های دیگری تعیین شود. عدم قطعیت فقط اشاره به این دارد که دستگاه استنباطی خاص مورد نظر صحت یا عدم صحت گزاره را ثابت نمی‌کند. هر چند وجود گزاره‌های به اصطلاح کاملاً غیرقابل حل که صحت مقدار آن‌ها یا شناخته شده نیست یا غیر مشخص است، موضوع بحث‌برانگیزی در بین مدارس مختلف فلسفه است.
فتح‌آباد، اوتار پرادش
خصوصیات
فتح‌آباد ۲۳٬۲۷۸ نفر جمعیت دارد و ۱۶۲ متر بالاتر از سطح دریا واقع شده‌است.
مسئله تصمیم‌ناپذیر
مثال‌هایی از گزاره‌های غیرقابل حل
یکی از اولین مسائلی که مشکوک به غیرقابل حل هستند در معنای دوم واژه، کلمه مسئله برای گروه‌ها است که اولین بار به وسیلهٔ Max Dehn در سال۱۹۱۱ مطرح شد، که از وجود یک گروه ارائه شده پایان پذیر می‌پرسد که برای آن‌ها الگوریتمی وجود ندارد تا تعیین کند آیا دو کلمه ارز هستند یا نه.
کار ترکیبی گودل و پاول کوهن، دو مثال دقیق از گزاره‌های غیرقابل حل (در معنای اول کلمه) ارائه می‌دهد: فرضیه سلسله که در ZFC (بدیهی سازی استاندارد تئوری مجموعه) نه اثبات و نه رد می‌شود، و اصل بدیهی انتخاب که در ZF (که همگی به جزء اصل بدیهی گزینه، اصول بدیهی ZFC هستند) نه اثبات و نه رد می‌شود. این نتایج در تئوری ناقص مورد نیاز نیستند. گودل در سال۱۹۴۰ ثابت کرد که هیچ‌یک از این گزاره‌ها در تئوری مجموعه XFC یا XF نمی‌توانند غیرقابل اثبات باشند.
در سال۱۹۶۰، کوهن اثبات کد که هیچ‌یک از گزاره‌های XF قابل اثبات نیستند و فرضیه زنجیره نمی‌تواند از تئوری مجموعه XFC اثبات شود.
در سال۱۹۷۰، ریاضیدان روس یوری ماتیاسویچ نشان داد که مسئله دهم هیلبرت که در سال۱۹۰۰ به عنوان چالشی در برابر ریا ضی دانان قرن آینده مطرح شده بود، قابل حل نبود. چالش هیلبرت به دنبال الگوریتمی بود که همه راه حل‌های معادله Diophantine را پیدا کند. معادله Diophantine مورد کلی‌ترین از نظریه آخر Fermal بود، ما به دنبال ریشه‌های عدد صحیح یک چند جئی د هر عدد متغیر با ضرایب عدد صحیح هستیم؛ بنابراین با داشتن فقط یک معادله اما با n متغیر و وجود راه حل‌های بی پایان بسیاری (که به آسانی یافت می‌شوند) در طرح پیچیده، مسئله با تمرکر فقط بر روی راه حل‌های مقادیر عدد صحیح، دشوار می‌شود.
ماتیاسوویچ با رسم معادله Diophantine، با یک مجموعه محاسبه‌ای برگشتی و با متوسل شدن به نظریه ناقص گودل، نشان که این مسئله غیرقابل حل است. در سال۱۹۳۶، آلن تورینگ ثابت کد که مسئله پایان ناپذیر – پرسیدن از این که آیا یک تورینگ به برنامه داده شد، خاتمه پیدا می‌کند یا نه – در معنای دوم کلمه غیرقابل حل است. این نتیجه بعدها به وسیلهٔ نظریه رایس عمومیت داده شد.
در سال۱۹۷۳ نشان داده شد که مسئله Whitehead در نظریه گروه، در معنای اول واژه در نظریه مجموعه استاندارد غیرقابل حل است.
در سال۱۹۷۷ پاریس و هارینتگتون ثابت کردند که اصل پاریس – هارینگتون، نسخه‌ای از نظریه رامسی در بدیهی سازی عددی فرض شده به وسیله اصول بدیهی Peano غیرقابل حل هست. اما می‌توان اثبات کرد که در دستگاه بزرگ‌تر عددی نوع دوم درست باشد.
نظریه نمودار درختی کروسکال که در علوم کامپیوتر کاربردهایی دارد نیز از اصول بدیهی Peano غیرقابل حل است اما در نظریه مجموعه قابل اثبات است. در حقیقت نظریه نمودار درختی کروسکال (یا شکل پایان پذیر آن) در یک دستگاه بسیار قوی تر که به وسیله اصول مورد قبولی که بر پایه فلسفه ریاضیات معروف به گزاره اتمی هستند، غیرقابل حل هست.
نظریه گودرتین، گزاره دربارهٔ نظریه رامسی از اعداد طبیعی است که کیربی و پاریس در Peano نشان دادند که غیرقابل حل است. گریگوری چایتین، گزاره‌هایی غیر قطعی از نظریه اطلاعات الگوریتمی فراهم کرد و نظریه ناقص بودن دیگری در آن زمینه ثابت کرد. نظریه چایتین بیان می‌کند که برای هر نظریه‌ای که بتوان علم اعداد کافی ارائه کرد، C مسلم بالاتری وجود دارد به طوری که عدد خاصی وجود نداشته باشد که در آن نظریه ثابت شده باشد که پیچیدگی کولکوگرو بزرگ‌تر از C داشته باشد. در حالی که نظریه گودل به تناقض گویی کذاب liar و نتایج چایتین به تناقض گویی Berry مربوط است. در سال۲۰۰۷ محققان کورثر و سایمون با تکیه بر کار اولیه جی.اچ. کانوی در سال۱۹۷۰، ثابت کردند که تعمیم طبیعی مسئله کولاتز، غیرقابل حل است.
تیتکانلو
تیتکانلو یکی از شهرهای استان خراسان شمالی و مرکز بخش خبوشان شهرستان فاروج می‌باشد. تیتکانلو قبل از ۸ آبان ۱۳۸۸ یکی از روستاهای فاروج محسوب می‌شد ولی از این تاریخ، طبق مصوبه دولت وقت به شهر ارتقاء پیدا کرد. شغل اغلب مردم این منطقه کشاورزی می‌باشد؛ و این شهر یکی از بزرگترین تولیدکنندگان انگور و کشمش در منطقه محسوب می‌شود و همچنین در دهه های اخیر مردم تیتکانلو با کاشت زعفران این محصول را به مجموعه تولیدات خود اضافه کردند. با وجود جمعیت ۴۰۰۰ نفری این شهر، عدم وجود جاده ارتباطی با شهرهای مجاور همچون قوچان و فاروج، موجب شده سالانه چندین نفر از اهالی شهر در حین تردد در جاده‌های مواصلاتی این شهر، دچار سانحه شده و جان خود را از دست دهند.
نامگذاری
مطلعین محلی تیتکانلو را خانواده‌ای کوچنده می‌دانند که ایشان در مسیر کوچ در مکان کلاته باغ فعلی نوزادی به دنیا می‌آورند و به سبب به دنیا آمدن نوزاد در همان‌جا ساکن می‌شوند و بدین ترتیب ایشان به تیتک‌آنیان یعنی آورندۀ نوزاد در بین روستاهای اطراف شهرت پیدا می‌کنند. تیتک در کرمانجی به معنای نوزاد می‌باشد، و قول دیگری که در وجه تسمیه آمده است و احتمال آن ضعیف‌تر می باشد، در گذشته محل فعلی روستای «تیتکانلو» پوشیده از خار بوده‌است و چون در زبان ترکی به خار «تیکان» گفته می‌شود، پس این منطقه را با خارهایش نامگذاری کردند. پسوند «لو» ممکن است به موجب حضور قوم و طایفه‌ای با این نام در این منطقه بوده باشد. زبان مردم این شهر کردی کرمانجی است.
جمعیت
بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ جمعیت این مکان ۳٬۸۳۵ نفر (۱٬۱۹۸ خانوار) بوده‌است.
تبخیرکننده دوار
تبخیرکننده دوار ابزاری آزمایشگاهی است که برای تبخیر آهسته حلال از یک نمونه به کار می‌رود. این وسیله نخستین بار توسط لیمان کریگ (Lyman C. Craig) اختراع شد و در ۱۹۵۷ توسط شرکت سوئیسی بوچی (Büchi) به صورت تجاری تولید گردید.
اساس کار این دستگاه تبخیر حلال تحت شرایط خلأ با استفاده از حمام آب گرم است. این دستگاه از چند جزء تشکیل شده‌است:
ظرف نمونه (بالن یا فلاسک) دوار که حلال (حلال+نمونه اصلی تولیدشده+ترکیبات مزاحم) در آن ریخته می‌شود.
تاریخچه
این دستگاه در ابتدا به صورت یک سیستم تبخیرکننده ساده توسط Liman.C.Craig ساخته شد.
در سال ۱۹۵۷ شرکت سوئیسی Buchi این دستگاه را به صورت تجاری وارد بازار کرد.
لازم است ذکر شود این دستگاه برای تحقیقات و آزمایشگاه تا ظرفیت 1lit را پشتیبانی می‌کند، اما در کارخانه‌ها و برای
استفاده از عملیات‌های شیمیایی تجاری بین ۲۰ تا ۵۰ لیتر می‌تواند ظرفیت داشته باشد.
تئوری
حلال‌های مایع را می‌توان بدون گرم کردن بیش از حد از ترکیبات آلی و املاح پیچیده جداسازی و حذف کرد. تبخیر دوار اغلب برای جداسازی حلال‌هایی که احتیاج به جوشیدن کم دارند استفاده می‌شوند. مانند،n-هگزان، استیل استات. با این حال می‌توان با تنظیم مناسب حلال‌ها با دمای جوش متفاوت را از هم جدا کرد. حلال‌های با نقطه جوش بالاتر مانند آب(۱۰۰ درجه) DMSO یا همان دی متیل سولفوکسید(۱۸۹)یا DMF، دی متیل فرمامید(۱۵۳)
ایمنی
خطرات احتمالی استفاده از این دستگاه عبارتند از: انفجار ناشی از ظروف شیشه ای که دارای نقص است.
انفجار به دلیل تجمع ناخالصی‌ها در طول تبخیر و بالا رفتن فشار بخار در ظرف
تماس لباس (لباس گشاد) یا گردنبند و… با دستگاه می‌تواند باعث اتفاقات جبران ناپذیری شود.
سوختگی بر اثر ترکیدگی ظرف حاوی نمونه یا بی احتیاطی در استفاده از حمام آب داغ
سیکلوپروپنیلیدن
سیکلوپروپنیلیدن (Cyclopropenylidene) نوعی ملکول آروماتیک با فرمول مولکولی C۳H۲ است که متعلق به گروهی از مولکول‌های آلی به نام کاربن‌ها است.
۱۰۳۱
۱۰۳۱ ممکن است به یکی از موارد زیر اشاره داشته باشد:
پارما، آیداهو
پارما شهری در شهرستان کانیون ایالت آیداهو است که جمعیت آن در سرشماری سال ۲۰۱۰ میلادی ۱٬۹۸۳ نفر بوده است.
هرمس ایرلاینز
هرمس ایرلاینز یک شرکت هواپیمایی با کد یاتا H3 است که در تاریخ ۲۰۱۱ میلادی تأسیس شده است. دفتر مرکزی هرمس ایرلاینز در آلیموس، یونان واقع شده‌است.
کومسومولسک، اوبلاست ایوانوف
شهر کومسومولسک، اوبلاست ایوانوف در کشور روسیه و در اوبلاست ایوانوف واقع شده‌است.
تیل (شبستر)
تیل یکی از روستاهای استان آذربایجان شرقی است که در دهستان گونی غربی بخش تسوج شهرستان شبستر واقع شده‌است. این روستا مرکز دهستان گونی غربی می‌باشد. جمعیت تیل در سال ۱۳۴۵ بالغ بر ۲٬۹۰۰ نفر بوده که از شهرهای چابهار و بوشهر آن زمان بزرگ‌تر و پرجمعیت‌تر بوده‌است. همچنین جمعیت این روستا طبق آخرین سرشماری مرکز آمار ایران در سال ۱۳۹۵، ۳۳۰۳ نفر بوده و دارای ۱۱۵۰ خانوار است.
دربارهٔ معنی نام این روستا، تیل در زبان سومری_تُرکی باستان به معنای زندگی و حیات دوباره آمده‌است.
حمدالله مستوفی در کتاب نزهة القلوب در قرن هشتم هجری قمری فراوانی نعمت این منطقه را ستوده و مینویسد ” ناحیه ارونق وانزاب در غرب تبریز حاصل نیکو دارد از جمله: انگور ، غله ، میوه درختی و تیل هم جزو آن دهات است”. تیل در لغت به معنی خال ونقطه است و در فرهنگ باستان گفته شده که هر کلمه ای در زبان اوستا با حرف “ت” آغاز شود به شهر یا روستا اطلاق می شود.
در حال حاضر تیل با جمعیت بالغ بر سه هزار نفر در زمره ی آباد ترین دهستان های منطقه گونئی غربی و مرکز دهستان گونئی غربی می باشد. قدمت تاریخی آن تا حال حاضر مشخص نگشته و چون روی خط زلزله قرار دارد تا به حال سه بار موقعیت مکانی آن عوض شده است. از دوران قبل از اسلام آثاری در خانه های ویرانه و قبرستان (گوران) (گلین قلعه) و (کافر قلعه) بجای مانده است.
مقبره سید حسین کوه کمری از نوادگان سیدالساجدین امام زین العابدین در قسمت شمال غربی تیل به طرف روستای حیدرآباد قرار دارد. این بزرگوار حدود سیصد سال پیش از منطقه قره داغ اهر ارسباران همراه خانواده و پدرشان به این منطقه مهاجرت نموده و در اینجا سکنا گزیده بودند.
مولانا محمد تیلی عارف نامدار قرن هشتم آذربایجان که در دربار هولاکوخان نیز بوده (فتوای او درباره حروفیه که شرحش در کتاب کوی سرخاب تبریز و روضات الجنان هم آمده، معروف بوده است) از مفاخیر این روستا محسوب می گردد. در حوزه فرهنگ کتابخانه حضرت ولی عصر تیل با چند هزار جلد کتاب در فضایی به مساحت 200 مترمربع توسط فرهنگ دوستان و خیرین دایر و درحال خدمت رسانی به اهالی روستا است. مهاجرت اهالی روستا که عموما به دلیل خشکسالی ها واز رونق افتادن فعالیت های کشاورزی و دامداری که اقتصاد قالب اهالی روستا بودند رخ داده است، بیشتر به شهرهای تهران و ارومیه بوده لیکن علیرغم فاصله ایجاد شده، مردم موطن خویش را فراموش نکرده و تشکل هایی را ایجاد نموده اند که مهمترین آنها حسینیه اهل البیت تیلی های مقیم مرکز و حسینیه انصارالحسین ارومیه است.این تشکل ها ضمن کمک به اتحاد اهالی منطقه مساعدت مؤثری را در عمران وآبادی روستا می نمایند.
اولین بار در سال ۱۳۵۷ خانه ی مدرن روستا توسط حاج احمد عادلی در میدان اصلی تیل بنا شد.
از چهره های سرشناس روستا می توان به رضا شاهرودی بازیکن فوتبال، خواهران عادلی در زمینه ی بسکتبال و مریم سلطانی(قهرمان پرتاب نیزه مسابقات دو و میدانی معلولین قهرمانی آسیا و اقیانوسیه 2016) اشاره کرد.
منبع:پایگاه اطلاع رسانی تیل
میرگل
میرگل، روستایی از توابع بخش جزینک شهرستان زهک در استان سیستان و بلوچستان ایران است.
جمعیت
این روستا در دهستان خمک قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۵۸ نفر (۱۶خانوار) بوده‌است.
۱۰۳۲
۱۰۳۲ ممکن است به یکی از موارد زیر اشاره داشته باشد:
پوکر مانتاش
پوکرمنتاش (به ارمنی: Փոքր Մանթաշ) یک روستا در ارمنستان است که در استان شیراک واقع شده‌است. در کیلومتری شمال گیومری، مرکز استان شیراک واقع شده است.
خصوصیات
پوکرمنتاش ۱٬۹۹۶ نفر جمعیت دارد و در ارتفاع متر بالاتر از سطح دریا قرار گرفته است.
کوناکوفو
شهر کوناکوفو در کشور روسیه و در اوبلاست ور واقع شده‌است.
ادامو، جیمینا پارادیز
ادامو، جیمینا پارادیز (به لاتین: Adamów, Gmina Paradyż) در لهستان است که در Gmina Paradyż واقع شده‌است.
تیغ‌پشت حشره‌خوار کهین
تیغ‌پشت حشره‌خوار کهین نام یک گونه از سرده ریزراسویی‌ها است.
حیدرآباد (تسوج)
حیدرآباد یکی از روستاهای استان آذربایجان شرقی است که در دهستان گونی غربی بخش تسوج شهرستان شبستر واقع شده‌است.
جمعیت
براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۵۳۷ نفر (۱۵۷ خانوار) می‌باشد.
ایستگاه بلور–یانگ
ایستگاه بلور-یانگ (Bloor–Yonge station) یک ایستگاه مترو در خط یک یانگ-یونیورسیتی و خط ۲ بلور-دانفورث در تورنتو، انتاریو، کانادا است. این ایستگاه در مرکز شهر تورنتو، زیر تقاطع خیابان یانگ و خیابان بلور، شلوغ‌ترین ایستگاه مترو در سیستم است و به‌طور متوسط روزانه بیش از ۲۰۰۰۰۰ مسافر را جابجا می‌کند. وای-فای در این ایستگاه موجود است.
پرستار بیهوشی
پرستار بیهوشی به فردی گویند که در منطقه استریل و حفاظت شده بیمارستانی انجام وظیفه می‌کند. فارغ التحصیلان این رشته دارای مقاطع کاردانی، کارشناسی و کارشناسی ارشد آموزش هوشبری هستند. بیهوشی همچنین یکی از تخصصهای پزشکی می‌باشند که محل اصلی فعالیتشان اتاق عمل و بخش‌های مراقبت ویژه بیماران است.
کارشناسی هوشبری
کارشناس هوشبری (Nurse Anesthetist Or Anesthesiology Expert) در اتاق عمل نقش پرستار بیهوشی را دارد که با متخصص بیهوشی همکاری می‌کند.
از جمله وظایف کارشناس بیهوشی، آماده‌سازی اتاق عمل و تجهیزات و داروها جهت بیهوش کردن بیمار قبل از عمل، همکاری بامتخصص بیهوشی در القاء بیهوشی، پایش بیمار حین عمل و اجرای مداخلات پزشکی مورد نیاز و انجام اقدامات لازم هنگام بازگشت از بیهوشی (ریکاوری) و همچنین تحت نظر گرفتن و ادامه اقدامات درمانی در اتاق ریکاوری (PACU) است.
روش بیهوشی در اعمال جراحی مختلف و افراد مختلف با سن و شرایط مختلف، متفاوت است. به‌طور مثال برای عمل جراحی روی ناحیه شکم لگن و اندامهای تحتانی مانند آرتروپلاستی (ترمیم مفصل زانو) یا سزارین و… اغلب از روش بی‌حسی اسپاینال (بیحسی نخاعی) که در بین بیماران به بیحسی از کمر معروف است استفاده می‌شود که کارشناس بیهوشی به آماده‌سازی وسایل برای انجام بیحسی رژیونال و مانیتورینگ قلبی تنفسی و کنترل سطح هوشیاری بیمار حین عمل می‌پردازد.
کارشناس بیهوشی در زمان ایست قلبی بیمار در اتاق عمل یا بخش‌های دیگر بجز اتاق عمل (که معمولاً در بیمارستانها با اعلام کد ۹۹ از راه پیجر مشخص می‌شود)، به متخصص بیهوشی جهت CPR کمک می‌کند، سریعاً خود را به بخش مربوطه رسانده و نقش حمایت تنفسی (باز نمودن راه هوایی و لوله گذاری داخل تراشه و تنفس مؤثر بیمار حین احیا) را در CPR به عهده دارد. ادامه تحصیل در این رشته به مقطع کارشناسی ارشد به تعداد دوره‌های محدود و در فیلد آموزش (نه بالین) مقدور است.
ییستبنیک
ییستبنیک یک منطقهٔ مسکونی در جمهوری چک است که در ناحیه نووی ییتشین واقع شده‌است. ییستبنیک ۱۵٫۸۶ کیلومتر مربع مساحت و ۱٬۵۳۸ نفر جمعیت دارد و ۲۸۸ متر بالاتر از سطح دریا واقع شده‌است.
اودمورت
اودمورت‌ها یکی از اقوام فین‌واوگری در شمال روسیه هستند.
اودمورت‌ها در روسی با نامهای چود اوتیاتسکایا (чудь отяцкая)، اوتیک و وتیاک شناخته می‌شوند و تاتارها به ایشان آر می‌گویند.
نام زبان اودمورت‌ها نیز اودمورت است و سرزمین ایشان اودمورتیه نام دارد. گروه‌های کوچکی از اودمورت‌ها در بخش‌های کیروف و سرزمین پرم روسیه و در باشقیرستان، تاتارستان و ماری اِل زندگی می‌کنند.
منابع
ویکی‌پدیای انگلیسی.
نوع داده انتزاعی
در علوم رایانه، یک نوع داده انتزاعی (به انگلیسی: Abstract Data Type، مخفف: ADT) یک مدل ریاضی برای رده خاصی از ساختارهای داده است که عملکرد مشابهی دارند؛ یا برای انواع داده یک یا چند زبان برنامه‌نویسی است که دارای معناشناسی یکسانی هستند، به کار می‌رود.
نوع داده مجرد امکانی را فراهم می‌آورد که باعث شناسایی (معرفی) اشیا از طریق بیان ساختار و رفتار آن‌ها بدون نیاز به اطلاع از نحوه پیاده‌سازی آن ساختار یا رفتار باشد
کبوتردریایی‌سانان
کبوتردریایی‌سانان (Procellariiformes) یکی از راسته‌های پرندگان است. این راسته قبلاً بینی‌لوله‌ای‌ها (Tubinares) نامیده می‌شد. کبوتردریایی‌سانان پرندگانی دریایی هستند که سوراخ‌های بینی آنها لوله‌ای‌شکل است و منقار آنها از هفت تا نُه صفحهٔ شاخی مشخص تشکیل شده‌است.
نوع داده انتزاعی
مثال‌ها
چند مثال از نوع داده انتزاعی را مطرح می‌کنیم :
کبوتردریایی‌سانان
این گونه از پرندگان بال‌های بلند و بینی لوله مانندی دارند. این پرندگان شناگر به صورت عمده از ماهی تغذیه می‌کنند و تنها هنگام تولید مثل به ساحل می‌آیند. پرواز این گونه از پرندگان به شکل بال‌بازروی‌های کوتاه و با بال زدن‌های تند و نامنظم همراه است.
نوع داده انتزاعی
تعریف و کاربردها
به طور دقیق ، یک نوع داده انتزاعی ، یک کلاس از اشیاء تعریف می‌شود که رفتار آن با مجموعه‌ای از مقادیر و عملیات‌ها مشخص می‌گردد.
کوندوپوگا
شهر کوندوپوگا در کشور روسیه و در جمهوری کارلیا واقع شده‌است.
نوع داده انتزاعی
تعریف و کاربردها
این انواع داده انتزاعی ، مشابه با ساختارهای جبری در ریاضیات می‌باشند.
کبوتردریایی‌سانان
منابع
ویکی‌پدیای انگلیسی، نسخهٔ ۳۰ اوت ۲۰۰۷.
نوع داده انتزاعی
تعریف و کاربردها
نوع داده انتزاعی ، آن رفتاری است که از جانب کاربر مشاهده می‌شود. که این رفتارها شامل تمام عملیات‌های ممکن برای کاربر ، و ویژگی‌هایی است که برای او قابل مشاهده می‌باشد.
نوع داده انتزاعی ، یک موجود تماماً تئوری می‌باشد که برای موارد زیر به کار می‌آید : باید توجه داشت که نوع داده‌های انتزاعی ، با یک نوع داده و یا یک داده ساختار پیاده‌ساری می‌شوند. که این پیاده‌سازی می‌تواند با روش‌های متعدد و یا زبان‌های برنامه‌نویسی گوناگون انجام پذیرد.
نوع داده انتزاعی می‌تواند در جایگاه‌های دیگری نیز به کار برده ‌شود. که از جمله‌ی آن‌ها می‌توان به ساختارهای جبری از جمله لتیس ، گروه یا حلقه را نام برد.
همچنین یک نوع داده انتزاعی تحت عنوان نوع داده گرافیکی انتزاعی در سال ۱۹۷۹ مطرح شد. در آن مزیت‌های نوع داده انتزاعی به کار گرفته می‌شود تا فرآیند ساختن اشیاء گرافیکی تسهیل شود و در یک روند ساختارمند انجام گیرد.
تعریف کردن یک نوع داده انتزاعی
یک نوع داده انتزاعی ، به صورت یک مدل ریاضیاتی شامل یک نوع داده تعریف می‌شود. این مدل شامل توابعی نیز می‌باشد که عملیات‌هایی روی این نوع داده انجام می‌دهند. برای تعریف کردن یک نوع داده انتزاعی ، ۲ رویکرد کلی متفاوت شامل رویکرد دستوری (Imperative) و رویکرد تابعی (Functional) وجود دارد :
پیچیدگی زمانی: نوع داده انتزاعی ، این امکان را به ما می‌دهد تا در تعریف آن پیچیدگی زمانی را بگنجانیم. این امر کاملاً ضروری است. زیرا ما نوع داده‌های انتزاعی را تعریف می‌کنیم تا به ما اجازه دهد که ماژول‌های نرم‌افزاری قابل مبادله‌ای داشته باشیم. این ماژول‌ها باید به نحوی باشند تا ما بتوانیم مستقل از نوع پیاده‌سازی ، عملکرد ثابتی را از نوع داده انتزاعی انتظار داشته باشیم. در صورتی که ما نوع داده انتزاعی را به شکل‌های مختلف پیاده‌سازی کنیم ، یک پیچیدگی زمانی برای عملیات‌های مختلف آن مورد انتظار خواهد بود. بنابراین پیچیدگی زمانی ، جزء غیرقابل حذف واسط‌ها می‌باشد و تمام عملیات‌ها باید همراه با یک پیچیدگی زمانی مشخص تعریف گردند.
شمس‌آباد، آگرا
شمس‌آباد، آگرا (به انگلیسی: Shamsabad) یک منطقهٔ مسکونی در هند است که در Agra district واقع شده‌است.
نوع داده انتزاعی
پیاده‌سازی
منظور از پیاده‌سازی یک نوع داده انتزاعی ، ایجاد یک روند یا تابعی است که تمام رفتارهای انتزاعی آن نوع داده را انجام دهد. پیاده‌سازی یک نوع داده انتزاعی با یک داده ساختار مشخص نمایش داده می‌شود. که این داده ساختار ، متناسب با ویژگی‌های نوع داده ، عمکلرد‌های مشخص‌شده در نوع داده انتزاعی را اجرا می‌کند.
شمس‌آباد، آگرا
خصوصیات
شمس‌آباد ۳۵٬۷۴۶ نفر جمعیت دارد و ۱۶۵ متر بالاتر از سطح دریا واقع شده‌است.
نوع داده انتزاعی
عملگرهای معمول در نوع داده‌ی انتزاعی
در نوع داده‌های انتزاعی تعدادی عملیات تعریف می‌شود. تعدادی از عملیات‌ها در بسیاری از این نوع داده‌ها تکرار می‌شوند. پرتکرار ترین این عملیات‌ها ، عملیات‌های زیر هستند: در رویکرد دستوری نوع داده انتزاعی ، معمولاً عملکردهای زیر گنجانده شده است:
نودا، چیبا
نودا، چیبا از شهرهای استان چیبا ژاپن است که جمعیت آن در ۱ ژانویه سال ۲۰۰۸ برابر با ۱۵۳٬۴۲۲نفر بوده‌است.
منابع
Wikipedia contributors, "List of cities in Japan," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=List_of_cities_in_Japan&oldid=299751761 (accessed July 1, ۲۰۰۹).