stanford-oval/wikipedia huggingface dataset:
اوکارم

| اوکارم Ekerem | اوکارم Ekerem |
| --- | --- |
اوکارمموقعیت در ترکمنستان: اوکارمموقعیت در ترکمنستان
مختصات: ۳۸°۳′۴۹″ شمالی ۵۳°۵۰′۲۸″ شرقی﻿ / ﻿۳۸٫۰۶۳۶۱°شمالی ۵۳٫۸۴۱۱۱°شرقی﻿ / 38.06361; 53.84111: مختصات: ۳۸°۳′۴۹″ شمالی ۵۳°۵۰′۲۸″ شرقی﻿ / ﻿۳۸٫۰۶۳۶۱°شمالی ۵۳٫۸۴۱۱۱°شرقی﻿ / 38.06361; 53.84111
کشور:  ترکمنستان
استان: استان بلخان
منطقهٔ زمانی: +5 GMT
کد منطقه: +(993)
اوکارم (به روسی: Окарем) یک منطقهٔ مسکونی در باختر ترکمنستان است که در استان بلخان و در کرانهٔ دریای کاسپین واقع شده است.
اچ‌دی ۲۴۴۸۰

| اطلاعات رصدی  مبدأ J2000      اعتدال J2000 | اطلاعات رصدی  مبدأ J2000      اعتدال J2000 |
| --- | --- |
صورت فلکی: زرافه (صورت فلکی)
بعد: ۰۳h ۵۷m ۰۸.۲۸۸۶s
میل: +۶۱° ۰۶′ ۳۱.۹۷۸″
قدر ظاهری (ع): ۵.۰۵
مشخصات: مشخصات
نوع طیف: K4III
شاخص رنگ U−B: 1.26
شاخص رنگ B−V: 1.45
اخترسنجی: اخترسنجی
سرعت شعاعی (Rv): -۲.۴ ک.م./ث
حرکت خاص (μ):  بعد: -۳.۴ mas/yr   میل: -۱۴.۰۶ mas/yr 
اختلاف‌منظر (π): ۱.۷۶ mas
قدر مطلق (MV): ۶.۵۲
جزئیات: جزئیات
جرم: ۰.۸ M☉ 
شعاع: ۰.۹ R☉
درخشندگی: ۰.۴ L☉
درجه حرارت: ۳,۵۰۰–۵,۰۰۰ کلوین
نام‌گذاری‌های دیگر: نام‌گذاری‌های دیگر
 HR 1205, SAO 12968, BD+60° 768, HIP 18488. :  HR 1205, SAO 12968, BD+60° 768, HIP 18488. 
ارجاعات پایگاه‌های داده: ارجاعات پایگاه‌های داده
سیمباد: اطلاعات
اچ‌دی ۲۴۴۸۰ یک ستاره است که در صورت فلکی زرافه قرار دارد.
اکانتو (فینیکس)

| اکانتو، فینیکس | اکانتو، فینیکس |
| --- | --- |
دهکده شهری of فینیکس، آریزونا، آریزونا: دهکده شهری of فینیکس، آریزونا، آریزونا
اکانتو، فینیکس: اکانتو، فینیکس
Encanto Park at night: Encanto Park at night
موقعیت اکانتو، فینیکس در نقشه: موقعیت اکانتو، فینیکس در نقشه
مختصات: ۳۳°۲۸′۳۳″ شمالی ۱۱۲°۰۵′۲۱″ غربی﻿ / ﻿۳۳٫۴۷۵۸۳°شمالی ۱۱۲٫۰۸۹۱۷°غربی﻿ / 33.47583; -112.08917: مختصات: ۳۳°۲۸′۳۳″ شمالی ۱۱۲°۰۵′۲۱″ غربی﻿ / ﻿۳۳٫۴۷۵۸۳°شمالی ۱۱۲٫۰۸۹۱۷°غربی﻿ / 33.47583; -112.08917
کشور: ایالات متحده آمریکا
ایالت: آریزونا
کانتی: شهرستان مریکوپا، آریزونا
شهر: فینیکس، آریزونا
مساحت: مساحت
 • کل: ۸ مایل مربع (۲۰ کیلومتر مربع)
جمعیت (۲۰۱۰): جمعیت (۲۰۱۰)
 • کل: ۵۴۶۱۴
 • تراکم: ۶۸۰۰/مایل مربع (۲۶۰۰/کیلومتر مربع)
وبگاه: Encanto Village Planning Committee
اکانتو (به انگلیسی: Encanto) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در فینیکس، آریزونا واقع شده‌است. اکانتو ۲۰٫۷۲ کیلومتر مربع مساحت و ۵۴٬۶۱۴ نفر جمعیت دارد.
اپرای ملی اوکراین

| 0 | 1 |
| --- | --- |
Ukrainian National Opera House in Kyiv.: Ukrainian National Opera House in Kyiv.
آدرس: vul. Volodymirska, 50 کی‌یف اوکراین
مختصات: ۵۰°۲۶′۴۸″شمالی ۳۰°۳۰′۴۵″شرقی﻿ / ﻿۵۰٫۴۴۶۶۶۷°شمالی ۳۰٫۵۱۲۵°شرقی﻿ / 50.446667; 30.5125
ظرفیت: ۱۶۸۳[
ساخت‌وساز: ساخت‌وساز
تأسیس: ۱۹۰۱-۰۹-۲۹
طراح: Victor Schröter
وبگاه: وبگاه
وبگاه رسمی: وبگاه رسمی
اپرا ملی اوکراین با همت گروه اپرای کیف به‌طور رسمی در تابستان سال ۱۸۶۷ تأسیس و فعالیت خود را آغاز کرد. اپرای کیف، پس از اپرای اودسا و اپرای لووف قدیمی‌ترین و پراهمیت‌ترین اپرا در سراسر اوکراین است. اپرای کیف همچنان در خانه اپرای ملی اوکراین با نام تاراس شوچنکو در کیف به فعالیت خود ادامه می‌دهد.
اچ‌دی ۲۴۴۹۶

| اطلاعات رصدی  مبدأ J2000> 0      اعتدال J2000.0 | اطلاعات رصدی  مبدأ J2000> 0      اعتدال J2000.0 |
| --- | --- |
صورت فلکی: ثور
بعد: ۰۳h ۵۴m ۲۸.۰۳۳۲s 
میل: ‏ ۵۷.۷۹۳″ ۳۶′ ‎+۱۶° 
قدر ظاهری (ع): ۶.۸۲۲
مشخصات: مشخصات
نوع طیف: G0
شاخص رنگ B−V: 0.734
شاخص رنگ V−R: 1.2
شاخص رنگ R−I: 0.4
اخترسنجی: اخترسنجی
سرعت شعاعی (Rv): +۱۸.۵ ک.م./ث
حرکت خاص (μ):  بعد: ۲۱۷.۶۰ ± ۰.۷۸  mas/yr   میل: -۱۶۵.۲۸ ± ۰.۵۲  mas/yr 
اختلاف‌منظر (π): ۴۸.۹۵ mas
قدر مطلق (MV): ۵.۲۴۴
جزئیات: جزئیات
جرم: ۰.۹۵ M☉ 
شعاع: ۰.۹۰ R☉
درخشندگی: ۰.۷۰ L☉
گرانش سطحی (log g): ۴.۵۶ cgs
درجه حرارت: ۵۵۷۲ کلوین
سن: ۴.۰ ± ۲.۷ میلیارد سال
نام‌گذاری‌های دیگر: نام‌گذاری‌های دیگر
 BD+16°527, GC 4699, GJ 3255, HIP 18267, LTT 11292, NLTT 12133, PPM 119451, SAO 93662 :  BD+16°527, GC 4699, GJ 3255, HIP 18267, LTT 11292, NLTT 12133, PPM 119451, SAO 93662 
ارجاعات پایگاه‌های داده: ارجاعات پایگاه‌های داده
سیمباد: اطلاعات
بایگانی سیاراتفراخورشیدی: اطلاعات
ARICNS: اطلاعات
دانشنامهٔ سیاره‌هایفراخورشیدی: اطلاعات
اچ‌دی ۲۴۴۹۶ یک ستاره است که در صورت فلکی ثور قرار دارد.
ایسه سادااوکی

در این نام ژاپنی، «ایسه» نام خانوادگی است.
| ایسه سادااوکی | ایسه سادااوکی |
| --- | --- |
زادهٔ: ۱ ژانویهٔ ۱۵۵۹
درگذشت: ۲ ژوئیهٔ ۱۵۸۲
ایسه سادااوکی (انگلیسی: Ise Sadaoki; ۱ ژانویهٔ ۱۵۵۹ – ۲ ژوئیهٔ ۱۵۸۲) سامورایی و از ملازمان خاندان آکچی در دوره سنگوکو و دوره آزوچی-مومویاما در ژاپن بود. وی با دختر آکچی میتسوهیده ازدواج کرد.
ایزوتا فراشینی

| 0 | 1 |
| --- | --- |
صنعت: صنعت خودروسازی
بنا نهاده: ۱۹۰۰ میلان، ایتالیا
دفتر مرکزی: باری، ایتالیا
محصولات: خودرو
مالک: فینکانتیری
ایزوتا فراشینی (انگلیسی: Isotta Fraschini) شرکت خودروسازی ایتالیایی بود، که در سال ۱۹۰۰ تأسیس شد.
ایتن، بیلی و چیلی

منطقه مسکونی در England
| ایتن، بیلی و چیلی | ایتن، بیلی و چیلی |
| --- | --- |
 Boer War Memorial at Hurst Green:  Boer War Memorial at Hurst Green
ایتن، بیلی و چیلیShown within Ribble Valleyنمایش نقشه the Borough of Ribble Valleyایتن، بیلی و چیلیایتن، بیلی و چیلی نمایش داده شده در  لانکاشرنمایش نقشه لانکاشر: ایتن، بیلی و چیلیShown within Ribble Valleyنمایش نقشه the Borough of Ribble Valleyایتن، بیلی و چیلیایتن، بیلی و چیلی نمایش داده شده در  لانکاشرنمایش نقشه لانکاشر
جمعیت: ۱٬۳۰۷ (۲۰۱۱)
مرجع شبکه OS: SD6837 
منطقه: Ribble Valley
Shire county: لانکاشر
ناحیه: شمال غربی انگلستان
کشور: England
کشور مستقل: بریتانیا
پست شهر: CLITHEROE
کدپستی منطقه: BB7
کد تلفن: ۰۱۲۵۴
پلیس: Lancashire
آتشنشانی: Lancashire
آمبولانس: North West
 :  
مجلس انگلستان: Ribble Valley
 فهرست مکان‌‌ها بریتانیا انگلستان Lancashire ۵۳°۵۰′شمالی ۲°۲۹′غربی﻿ / ﻿۵۳٫۸۴°شمالی ۲٫۴۹°غربی﻿ / 53.84; -2.49:  فهرست مکان‌‌ها بریتانیا انگلستان Lancashire ۵۳°۵۰′شمالی ۲°۲۹′غربی﻿ / ﻿۵۳٫۸۴°شمالی ۲٫۴۹°غربی﻿ / 53.84; -2.49
ایتن (به انگلیسی: Aighton) یک روستا و محله مدنی در بریتانیا است که در Ribble Valley واقع شده‌است. ایتن ۱٬۳۰۷ نفر جمعیت دارد.
اچیکو مائدا

| اچیکو مائدا | اچیکو مائدا |
| --- | --- |
زادهٔ: ۳۱ ژانویهٔ ۱۹۵۲ اوتا-کو، توکیو
ملیت: ژاپن
| سوابق مدال> به نمایندگی از   ژاپن.والیبال زنان.بازی‌های المپیک | سوابق مدال> به نمایندگی از   ژاپن.والیبال زنان.بازی‌های المپیک | سوابق مدال> به نمایندگی از   ژاپن.والیبال زنان.بازی‌های المپیک |
| --- | --- | --- |
|  |  والیبال در بازی‌های المپیک تابستانی ۱۹۷۶  | تیمی |
اچیکو مائدا (انگلیسی: Echiko Maeda؛ زادهٔ ۳۱ ژانویهٔ ۱۹۵۲) بازیکن والیبال اهل ژاپن است.
ایتنا

| 0 | 1 |
| --- | --- |
نوع: خدمات درمانی
ISIN: US00817Y1082 
بنا نهاده: ۱۸۵۳
بنیانگذاران: الیفالت آدامز باکلی
دفتر مرکزی:  هارتفورد، کنتیکت، ایالات متحده آمریکا
مدیر عامل اجرایی: مارک برتولینی
رئیس هیئت مدیره: مارک برتولینی
درآمد:  ۴۷٫۲۹ $ میلیارد دلار (۲۰۱۳)
سود خالص:  ۱٫۹۱ $ میلیارد دلار (۲۰۱۳)
مجموع دارایی:  ۴۹٫۸۷ $ میلیارد دلار (۲۰۱۳)
تعداد کارکنان: ۴۸٫۶۰۰ نفر (۲۰۱۳)
وبگاه: www.Aetna.com
ساختمان مرکزی ایتنا، در هارتفورد، کنتیکت
ایتنا، (به انگلیسی: Aetna) شرکت خدمات درمانی آمریکایی است، که طیف وسیعی از سرویس‌ها و خدمات پزشکی، دارویی، دندان پزشکی، سلامت روانی، مراقبت‌های بهداشتی، مراقبت‌های بلند مدت و برنامه‌های از کار افتادگی، همچنین خدمات بیمه‌های اجتماعی، بیمه‌های درمانی و بیمه‌های عمر را، ارائه می‌نماید.
شرکت ایتنا در سال ۱۸۵۳ توسط الیفالت آدامز باکلی بعنوان یک شرکت بیمه راه‌اندازی شد. این شرکت در سال ۲۰۱۳ در فهرست فرچون ۵۰۰ رتبه ۶۳ از بزرگترین شرکت‌های ایالات متحده آمریکا را به خود اختصاص داد.
دفتر مرکزی این شرکت در شهر هارتفورد، کنتیکت، ایالات متحده آمریکا قرار دارد و سهام آن در بازار بورس نیویورک معامله می‌شود.
اکلاک

| اکلاک   | اکلاک   |
| --- | --- |
  نشان:   نشان
کشور: آلمان
ایالت: شلسویگ-هولشتاین
ناحیه: Steinburg
انجمن شهرداری: Wilstermarsch
حکومت: حکومت
 • شهردار: Heino Evers
مساحت: مساحت
 • کل: ۱۵٫۵۹ کیلومتر مربع (۶٫۰۲ مایل مربع)
ارتفاع: ۱ متر (۳ فوت)
جمعیت (2013-12-31): جمعیت (2013-12-31)
 • کل: ۳۰۷
 • تراکم: ۲۰/کیلومتر مربع (۵۱/مایل مربع)
منطقهٔ زمانی: CET/CEST (UTC+1/+2)
کدهای پستی: 25572
کدهای شماره‌گیری: 04823, 04825, 04858
پلاک خودرو: IZ
وبگاه: www.wilstermarsch.de
اکلاک (به آلمانی: Ecklak) یک شهر در آلمان است که در اشتاینبورگ (آلمان) واقع شده‌است.
 اکلاک  ۳۵۹ نفر جمعیت دارد.
اچ‌آر ۴۴۵۸

| اطلاعات رصدی  مبدأ J2000      اعتدال J2000 | اطلاعات رصدی  مبدأ J2000      اعتدال J2000 |
| --- | --- |
صورت فلکی: مار باریک (صورت فلکی)
بعد: ۱۱h ۳۴m ۲۹.۴۸۷۱s
میل: ‏ ۵۲.۸۲۳″ ۴۹′ ‎−۳۲°
قدر ظاهری (ع): ۵.۹۸/۱۵
مشخصات: مشخصات
نوع طیف: K0 V
شاخص رنگ U−B: 0.33
شاخص رنگ B−V: 0.80
شاخص رنگ V−R: 0.44
شاخص رنگ R−I: 0.40
اخترسنجی: اخترسنجی
سرعت شعاعی (Rv): -۲۲.۶ ک.م./ث
حرکت خاص (μ):  بعد: -۶۷۰.۹۹ mas/yr   میل: ۸۲۳.۸۹ mas/yr 
اختلاف‌منظر (π): ۱۰۴.۸۴ mas
قدر مطلق (MV): ۶.۰۹/۱۵
جزئیات: جزئیات
شعاع: ۰.۸۴/۰.۱۵ R☉
درجه حرارت: ۵۴۰۰ کلوین
نام‌گذاری‌های دیگر: نام‌گذاری‌های دیگر
 VB 4, GJ 432, HR 4458, CD -32°8179, HD 100623, LHS 308, LTT 4280, GCTP 2678.00, SAO 202583, HIP 56452. :  VB 4, GJ 432, HR 4458, CD -32°8179, HD 100623, LHS 308, LTT 4280, GCTP 2678.00, SAO 202583, HIP 56452. 
ارجاعات پایگاه‌های داده: ارجاعات پایگاه‌های داده
سیمباد: اطلاعات
ARICNS: اطلاعات
اچ‌آر ۴۴۵۸ یک ستاره است که در صورت فلکی مار باریک قرار دارد.
زخم بستر

Medical condition
| زخم بستر | زخم بستر |
| --- | --- |
زخم بستر درجه چهار در ناحیه استخوان خاجی. استخوان دنبالچه در میانه زخم دیده می‌شود.: زخم بستر درجه چهار در ناحیه استخوان خاجی. استخوان دنبالچه در میانه زخم دیده می‌شود.
تخصص: پوست‌شناسی 
طبقه‌بندی و منابع بیرونی: طبقه‌بندی و منابع بیرونی
آی‌سی‌دی-۱۰: L89
آی‌سی‌دی-۹-سی‌ام: 707.0
دادگان بیماری‌ها: 10606
ئی‌مدیسین: med/۲۷۰۹
سمپ: D003668
[ویرایش در ویکی‌داده]: [ویرایش در ویکی‌داده]
زخم بستر مرحلهٔ چهار
زَخم بَستر (به انگلیسی: Bedsore)، به آسیب بافت بدن (شامل پوست حقیقی، روپوست و ماهیچه) در اثر ایجاد فشار یا فشار همراه با خراشیدگی و سایش درازمدت بر یک یا چند نقطه از بدن، گفته می‌شود. خوابیدن طولانی‌مدت در یک وضعیت ثابت، سائیدگی در صندلی یا بستر، استفاده از لگن بیمار نامناسب یا کشیدگی با ملحفه می‌تواند به بخشی از پوست یا بافت بدن آسیب بزند.
زخم بستر به علت فشار طولانی مدت و تمرکز آن در یک یا چند نقطه بر روی پوست و بافت اطراف آن ایجاد می‌شود و معمولاً در اثر نوعی اصطکاک یا برش در پوست تشدید پیدا کرده و نمایان می‌شود. احتمال بروز زخم بستر در بیمارانی که به هر علتی از جمله عوارض سالمندی، به مدت طولانی بستری بودن و در صندلی چرخدار قرار دارند به شدت افزایش می‌یابد. زخم‌ها، ناشی از فشار و خراش است و در نقطه ای که بافت‌های نرم داخلی بدن بین استخوان و پوست به دام افتاده‌اند به‌وجود آمده و علت آن فشار استخوان‌ها بر رگ‌ها و مویرگ‌های خون رسان به بافت‌ها و پوست است. در اثر این فشار، جریان خون محدود شده و سبب آسیب رساندن به سلول‌های پوست و بافت‌های بدن و گاهی مرگ آن‌ها می‌شود. زخم بستر معمولاً در پوست اطراف نقاطی از بدن چون دنبالچه، استخوان خاجی، پاشنه‌ها و ران ظاهر می‌شود اما در پوست نقاطی مثل شانه، آرنج و زانو نیز مشاهده می‌شود.
تحقیقات نشان داده‌است که ایجاد زخم بستر در بیمارستان‌ها به علت فقر مراقبت‌های پزشکی و پرستاری است، به طوری که بسیاری از محققان معتقد هستند در صورتی که یک بیمار در بیمارستان دچار زخم بستر شود قطعاً ناشی از ضعف مراقبت پزشکی است. البته تحقیقات نشان می‌دهد که علت اصلی بروز زخم بستر در بیمارستان‌ها، عدم حساسیت یا کمبود آموزش در بخش پرستاری نیست، بلکه کمبود پرسنل و پرستاران و تجهیزات نوین پزشکی و دیگر مراقبت‌های بیمار و مسائل اداری، علت بروز زخم بستر بیمارستانی هستند. عدم شناخت صحیح و درمان زخم‌ها، ممکن است در بسیاری از موارد بر اثر سهل‌انگاری باشد.
بیماران بستری‌شده یا در حال کما و افراد فلج‌شده یا متحرک با صندلی چرخ‌دار از افراد در معرض خطر ابتلا به زخم بستر هستند.
زخم بستر، اغلب در بخش‌های استخوانی بدن ایجاد می‌شود زیرا در این قسمت‌ها فشار بیشتری بر پوست وارد می‌شود و چربی کمتری برای محافظت از این ناحیه وجود دارد.
مراحلِ پیدایش

مرحله اول. رنگِ پوست قرمز می‌شود و با فشار آوردن روی آن نقطه، رنگ آن تغییر نمی‌کند.
مرحله دوم. قسمت‌هایی از سطحِ پوست از بین می‌رود، چیزی شبیه تاول.
مرحله سوم. از بین رفتنِ تمامی بافت‌های پوست، در این مرحله، زخم، باز است.
مرحله چهارم. از بین رفتنِ تمامی بافت‌های پوست و لایه‌های زیرینِ آن حتی عضلات تا استخوان.
علایم عفونی شدن

دردناک شدن اطراف زخم، بدبو شدن زخم، عفونت زرد رنگ یا سبز رنگ ضخیم و تورم در اطراف آن از علایم و نشانه‌های عفونی شدن زخم بستر می‌باشد. تب، گیجی، افزایش ضربان قلب و ضعف جسمانی نیز از نشانه‌های پخش شدن عفونت در بدن می‌باشد.
درمان

درمان این زخم‌ها به مراقبت زیادی نیاز دارد که چندین بخش مهم دارد. در درمان این بیماران تغذیه، جلوگیری از عفونت (شستشوی زخم با سرم)، استفاده از لگن بیمار مناسب و تغییر وضعیت بیمار به صورت مداوم اهمیت زیادی دارد. امروزه از روش‌های نوینی برای درمان این زخم‌ها استفاده می‌شود که تأثیر به سزایی در پیشرفت بهبودی آن‌ها دارد که به پانسمان‌های تخصصی معروف هستند. در این روش‌ها از پانسمان‌های پیش ساخته‌ای استفاده می‌شود که دارای نقره یا کربن (برای جلوگیری از عفونت و بوی نامطبوع زخم) یا مواد معدنی (که در رشد سلولی تأثیر دارند) می‌باشند. اگر زخم بستر خیلی عمیق باشد به درمان‌های دیگری مانند جراحی برای بهبود بافت مردهٔ زخم، درمان با استفاده از ساکشن برای حذف مایعات خروجی زخم بستر و اولتراسوند که یک روش پرتو درمانی است برای بهبود بیمار دارای زخم فشاری نیاز است. سرعت بهبود زخم‌ها به عوامل مختلفی بستگی دارد. با افزایش سن بیمار، بهبود یافتن زخم‌ها کندتر می‌شود. همچنین بیماری‌هایی چون دیابت و آرتریوسکلروز و بیماری‌های کاهندهٔ جریان خون، عفونت‌ها، سو تغذیه، مصرف دخانیات و استفاده از برخی داروها مانند داروهای ضدالتهاب باعث کاهش سرعت درمان زخم بستر می‌شوند.
درمان > پانسمان

بررسی کاکرین در سال ۲۰۱۷ نشان داد هیچ‌کدام از درمان‌های فعلی، شامل داروهای موضعی و پانسمان قابل برتری دادن از یکدیگر نیستند. پانسمان‌های تعدیل‌کننده پروتئاز، پانسمان‌های فوم یا پماد کلاژناز ممکن است نسبت به گاز استریل در التیام زخم بهتر باشند. پانسمان زخم باید بر اساس زخم و وضعیت پوست اطراف زخم انتخاب شود. مطالعاتی وجود دارد که نشان می‌دهد محصولات ضد میکروبی که اپیتلیزه شدن را تحریک می‌کنند ممکن است بهبود زخم را تسریع بخشند؛ با این حال، توافق بین‌المللی در مورد انتخاب پانسمان برای زخم‌های بستر وجود ندارد. بررسی‌های کاکرین شواهد مربوط به پانسمان‌های آلژینات، پانسمان‌های فوم، و پانسمان‌های هیدروژل را برای درمان زخم بستر ارائه می‌کنند. به دلیل کمبود شواهد قوی، مزایای این پانسمان‌ها نسبت به سایر درمان‌ها نامشخص است.

مراحل پیشرفت
جی هه وون

| جی هه وون | جی هه وون |
| --- | --- |
نام هنگام تولد: جی در ژوئن ۲۰۲۴
زادهٔ: ۳۰ مارس ۱۹۹۸ ‏(۲۶ سال) سئول، کره جنوبی
دیگر نام‌ها: چی هه وون
تحصیلات: دانشگاه ملی هنر کره
پیشه(ها): بازیگر، مدل
سال‌های فعالیت: ۲۰۱۸ – اکنون
نماینده: کی‌ایست
شناخته‌شده برای: صدای جادو مشکلی نیست که خوب نباشی
جی هه وون (کره‌ای: 지혜원؛ زادهٔ ۳۰ مارس ۱۹۹۸) بازیگر و مدل اهل کره جنوبی است. او به خاطر ایفای نقش در مجموعه‌های تلویزیونی صدای جادو و مشکلی نیست که خوب نباشی شناخته می‌شود.
فیلم‌شناسی > مجموعه تلویزیونی

| سال | عنوان | نقش | منابع |
| --- | --- | --- | --- |
| ۲۰۱۹ | عدالت | جانگ یونگ می |  |
| ۲۰۲۰ | دکتر رمانتیک ۲ | سو سه یونگ |  |
| ۲۰۲۰ | مشکلی نیست که خوب نباشی | لی آه روم |  |
| ۲۰۲۳ | اتفاقی دیدمت | گو می سوک |  |
فیلم‌شناسی > مجموعه اینترنتی

| سال | عنوان | نقش | منابع |
| --- | --- | --- | --- |
| ۲۰۲۲ | صدای جادو | بک ها نا |  |
| ۲۰۲۴ | سلسله‌مراتب | یون هه را |  |
:
اوکارتس

| اوکارتس | اوکارتس |
| --- | --- |
شهر: شهر
اوکارتس: اوکارتس
مختصات: ۴۹°۱۲′۲۲″ شمالی ۱۶°۵′۱۱″ شرقی﻿ / ﻿۴۹٫۲۰۶۱۱°شمالی ۱۶٫۰۸۶۳۹°شرقی﻿ / 49.20611; 16.08639: مختصات: ۴۹°۱۲′۲۲″ شمالی ۱۶°۵′۱۱″ شرقی﻿ / ﻿۴۹٫۲۰۶۱۱°شمالی ۱۶٫۰۸۶۳۹°شرقی﻿ / 49.20611; 16.08639
کشور:  جمهوری چک
منطقه: منطقه ویسوچینا
ناحیه: منطقه تربیچ
مساحت: مساحت
 • کل: ۴٫۳۲ کیلومتر مربع (۱٫۶۷ مایل مربع)
ارتفاع: ۴۱۷ متر (۱۳۶۸ فوت)
جمعیت (2005): جمعیت (2005)
 • کل: ۱۲۳
 • تراکم: ۲۸/کیلومتر مربع (۷۴/مایل مربع)
کد پستی: 675 02
وبگاه: http://www.okarec.cz
اوکارتس (به چکی: Okarec) یک منطقهٔ مسکونی در جمهوری چک است که در منطقه تربیچ واقع شده‌است.
 اوکارتس ۴٫۳۲ کیلومتر مربع مساحت و ۱۲۳ نفر جمعیت دارد و ۴۱۷ متر بالاتر از سطح دریا واقع شده‌است.
ایزومی شوجی

در این نام ژاپنی، «ایزومی» نام خانوادگی است.
| ایزومی شوجی | ایزومی شوجی |
| --- | --- |
Izumi Sōji (和泉 崇司؟): Izumi Sōji (和泉 崇司؟)
زادهٔ: ۱ فوریهٔ ۱۹۸۸ ‏(۳۶ سال) استان هیروشیما
ملیت: ژاپن
پیشه: هنرپیشه
سال‌های فعالیت: ۲۰۱۲–اکنون
نماینده: Zero Light-Years
شناخته‌شده برای: Angel Heart
قد: ۱۸۱ سانتیمتر (۵ فوت ۱۱ اینچ)
وبگاه: zly.co.jp/izumi.html
ایزومی شوجی (انگلیسی: Sohji Izumi؛ زادهٔ ۱ فوریهٔ ۱۹۸۸) هنرپیشه اهل ژاپن است. وی از سال ۲۰۱۲ میلادی تاکنون مشغول فعالیت بوده‌است. از فیلم‌های که وی در آن نقش داشته‌است می‌توان به فیلم  قلب فرشته اشاره کرد.
جسم لطیف

نیرمانا کایا (انگلیسی: Nirmāṇakāya)، را جسم لطیف بودا دانسته‌اند.
نیرمانا کایا

جسمی است که به واسطهٔ نیروی جاودانه و متخیله و به برکت افسون ظاهر می‌شود و مراد از آن جسمی است که بودا هنگام نزول و ظهور به جهان پدیده‌ها به خود می‌گیرد.
بدیهی است که این جسم غیر مادی و آثاری از خود باقی نمی‌گذارد. تمام بوداها از این جسم لطیف بهره‌مند هستند.
کالبد تبدیل

نیرمانا کایا (Nirmāṇa-kāya)، یعنی «کالبدِ تبدیل» بودائیت گوهری دوگانه دارد:
پرَجِن یا (فرزانگی، شناخت)
کَروُنا (هم دردی، عشق و محبت)، که می‌توان آن را تا حدی شبیه اندیشهٔ مسیحی معرفت و محبت دانست.
بودا همه گونه صورت‌های وجودِ جسمانی (کایه) به خود می‌پذیرد.
تصمیم‌پذیری (منطق)

در علم منطق، یک مسئله تصمیم‌گیری درست/نادرست موقعی تصمیم‌پذیر (به انگلیسی: decidable) است که روش کارآمدی برای به‌دست‌آوردن جواب صحیح برای آن موجود باشد. سامانه‌های منطقی مثل منطق گزاره‌ای موقعی تصمیم‌پذیر هستند که عضویت در مجموعه فرمول (یا قضیه) منطقی معتبر را بتوان به صورت کارآمد تعیین نمود. یک نظریه (مجموعه جمله‌های بسته تحت پیامد منطقی) در یک سامانه ثابت موقعی تصمیم‌پذیر است که روش کارآمدی برای تعیین آنکه آیا فرمول‌های اختیاری در نظریه موجودند، موجود باشد. بسیاری از مسائل مهم، تصمیم‌ناپذیر اند، یعنی اثبات شده‌است که هیچ روش کارآمدی برای تعیین عضویت (بازگشت جواب درست بعد از بررسی همه موارد، که این موارد محدود هستند ولی احتمالاً خیلی بزرگ‌اند) برای آن‌ها بتواند موجود باشد.
تصمیم‌پذیری در منطق، ناظر بر مسئله ای است که پاسخ به آن یکی از دو حالت درست و غلط یا یکی از دو حالت بله و خیر باشد. در صورتی که جواب یک مسئلهٔ تصمیم‌گیری با یک راه مؤثر داده شود، آن مسئله تصمیم‌پذیر است. در یک راه حل مؤثر پاسخ درست به مسئله با طی گام‌های متناهی داده می‌شود. بسیاری از مسائل مهم تصمیم‌ناپذیر‌اند. هر نظریه یا سیستم منطقی تصمیم‌پذیر را می‌توان به صورت یک راه مؤثر یا یک تابع محاسبه‌کردنی توصیف کرد که بنا بر تز چرچ‐تورینگ این دو توصیف با هم معادل هستند.
سالیان طولانی ریاضی‌دانان در پی حل سوالاتی بودند که اکنون می‌دانیم حل شدنی نیستند. دانش در مورد تصمیم‌پذیری می‌تواند از چنین تلاش‌های بیهوده جلوگیری کند.
تصمیم‌پذیری یک سیستم منطقی

یک سیستم منطقی راهی است که در آن به صورت خودکار و با قواعد بازگشتی فهرستی از تمام صحیح‌های منطقی بخشی از منطق به دست می‌آید؛ به این صورت که یک دسته اصول و یک دسته قواعد استنباط با معیارهای صوری شناسایی می‌شوند و بعد از آن قضیه‌ها می‌توانند بر اساس اصول و قواعد استنباط به دست بیایند.
یک سیستم منطقی در صورتی تصمیم‌پذیر است که بتوان برای هر فرمولی به این مسئلهٔ تصمیم‌پذیری با یک راه حل مؤثر پاسخ داد، که آیا آن فرمول می‌تواند جزو قضیههای آن سیستم باشد یا خیر.
تصمیم‌پذیری یک نظریه

یک نظریه مجموعه‌ای از فرمول‌ها است. این مجموعه تحت استلزام منطقی بسته‌است. اگر راه مؤثری برای پاسخ به این مسئله که یک فرمول عضو یک نظریه هست یا نه وجود داشته باشد، آن نظریه تصمیم‌پذیر است.
تصمیم‌پذیری یک زبان

می‌توان مسائل مختلف را با زبان‌ها مدل کرد و پاسخ بله یا خبر به یک سؤال را معادل عضویت یا عدم عضویت ورودی در زبان در نظر گرفت. در نظریهٔ زبان‌ها یک زبان در صورتی تصمیم‌پذیر است که بتوان ماشین تورینگی ساخت که آن را تصمیم بگیرد؛ به این معنا که ماشین تورینگی وجود داشته باشد که به ازای یک رشتهٔ ورودی، عضویت یا عدم عضویت آن در آن زبان را تعیین کند. چنین ماشین تورینگی به ازای هر ورودی‌ای متوقف می‌شود.
برخی نظریه‌های تصمیم‌پذیر

برخی نظریه‌های تصمیم‌پذیر عبارتند از:
مجموعهٔ اعتبارات منطقی مرتبهٔ اوّل با فقط یک علامت تساوی که در سال ۱۹۱۵ توسط Leopold Löwenheim ثابت شد.
مجموعهٔ اعتبارات منطقی مرتبهٔ اوّل با یک علامت تساوی و یک تابع یگانی که که در سال ۱۹۵۹ توسط Ehrenfeucht ثابت شد.
نظریهٔ مرتبه‌اوّل اعداد طبیعی با علامت‌های جمع و تساوی که به آن محاسبات پرس‌برگر هم گفته می‌شود.
نظریهٔ مرتبه‌اوّل اعداد طبیعی با علامت‌های ضرب و تساوی که به آن محاسبات اسکولم هم گفته می‌شود.
نظریهٔ مرتبه‌اوّل جبر بولی که در سال ۱۹۴۹ توسط آلفرد تارسکی ثابت شد.
نظریهٔ مرتبه‌اوّل میدان‌های از نظر جبری بسته با توجه به یک ویژگی داده شده که در سال ۱۹۴۹ توسط تارسکی ثابت شد.
نظریهٔ مرتبه‌اوّل هندسهٔ اقلیدسی که در سال ۱۹۴۹ ثابت شد.
نظریهٔ مرتبه‌اوّل هندسهٔ هذلولوی که در سال ۱۹۵۹ ثابت شد.
برخی نظریه‌های تصمیم‌ناپذیر

عموماً برای ثابت کردن تصمیم‌ناپذیری نظریه‌ها از روش تفسیرپذیری استفاده می‌شود. اگر نظریهٔ اساساً تصمیم‌ناپذیر  Tدر نظریهٔ استوار  S تفسیرپذیر باشد، آن گاه  S نیز اساساً تصمیم‌ناپذیر است. این مفهوم به مفهوم کاهش چند-یک در نظریهٔ رایانش‌پذیری نزدیک است.
برخی نظریه‌های تصمیم‌ناپذیر عبارتند از:
نظریهٔ مرتبه‌اوّل اعداد طبیعی با عملگرهای ضرب، جمع و تساوی.
نظریهٔ مرتبه‌اوّل اعداد گویا با عملگرهای ضرب، جمع و تساوی.
نظریهٔ مرتبه‌اوّل گروه‌ها. شایان ذکر است که نه تنها نظریهٔ عمومی گروه‌ها، بلکه چند نظریهٔ خاص دیگر هم تصمیم‌ناپذیرند؛ مانند نظریهٔ گروه‌های محدود.
زبان‌های تصمیم‌پذیر و تصمیم‌ناپذیر شاخص

یک زبان به مجموعه‌ای از رشتهها گفته می‌شود. در تعریف هر کدام از زبان‌های زیر علامت  \langle \rangle در کنار یک شیء نشانگر نمایش آن شیء به صورت یک رشته‌است که می‌تواند مطابق هر قراردادی باشد.
زبان‌های تصمیم‌پذیر و تصمیم‌ناپذیر شاخص > زبان‌های تصمیم‌پذیر مربوط به ماشین‌های حالت‌متناهی و زبان‌های منظم

زبان رشته‌هایی نمایشگر یک ماشین حالت متناهی و یک رشته، که ماشین حالت متناهی رشته را قبول می‌کند یک زبان تصمیم‌پذیر است.به این معنی که می‌توان یک ماشین تورینگ تعریف کرد، به قسمی که به ازای یک رشتهٔ ورودی عضویت یا عدم عضویت آن در A_{dfa} را تصمیم بگیرد. عضویت یک رشته در A_{dfa} به معنای این است که رشتهٔ مذکور نمایشگر یک ماشین حالت متناهی است که یک رشته را قبول می‌کند.  A_{dfa}=\{\langle B,\omega \rangle \ |B\,\,is\,\,a\,\,dfa\,\,that\,\,accepts\,\,\omega \}
زبان رشته‌هایی نمایشگر یک ماشین حالت متناهی، که زبان آن ماشین (مجموعهٔ رشته‌هایی که قبول می‌کند) تهی است، یک زبان تصمیم‌پذیر است.  L_{dfa}^{\phi }=\{\langle A\rangle \ |A\,\,is\,\,a\,\,dfa\,\,and\,\,L(A)=\phi \}
زبان رشته‌هایی نمایشگر یک عبارت منظم و یک رشته، که آن عبارت منظم آن رشته را تولید می‌کند یک زبان تصمیم‌پذیر است.  A_{REX}=\{\langle R,\omega \rangle \ |R\,\,is\,\,a\,\,regex\,\,that\,\,generates\,\,\omega \}
زبان‌های تصمیم‌پذیر و تصمیم‌ناپذیر شاخص > زبان‌های تصمیم‌پذیر مربوط به زبان‌های مستقل از متن

هر زبان مستقل از متنی تصمیم‌پذیر است.
زبان رشته‌هایی نمایشگر یک گرامر مستقل از متن و یک رشته که آن گرامر آن رشته را تولید می‌کند یک زبان تصمیم‌پذیر است. A_{cfg}=\{\langle G,\omega \rangle \ |G\,\,is\,\,a\,\,cfg\,\,that\,\,generates\,\,\omega \}
زبان رشته‌هایی نمایشگر یک گرامر مستقل از متن که زبان آن گرامر (مجموعه رشته‌هایی که تولید می‌کند) تهی است یک زبان تصمیم‌پذیر است. E_{cfg}=\{\langle G\rangle \ |G\,\,is\,\,a\,\,cfg\,\,and\,\,L(G)=\phi \}
زبان‌های تصمیم‌پذیر و تصمیم‌ناپذیر شاخص > زبان‌های تصمیم‌ناپذیر

زبان رشته‌هایی نمایشگر یک ماشین تورینگ و یک رشته که آن ماشین تورینگ آن رشته را می‌پذیرد تصمیم‌ناپذیر است. A_{TM}=\{\langle M,\omega \rangle \ |M\,\,is\,\,a\,\,TM\,\,and\,\,M\,\,accepts\,\,\omega \} از مکمل این زبان نیز تصمیم‌ناپذیر است. از تصمیم‌ناپذیری این زبان برای اثبات تصمیم‌ناپذیری زبان‌های دیگر استفاده می‌شود. اثبات تصمیم ناپذیری این به طریق زیر است.
در صورتی که ماشین بالا وجود داشته باشد ماشین M را به این صورت می‌سازیم: این ماشین ماشین بالا را بر روی خود و ورودیش اجرا می‌کند، اگر پذیرفته شد نمی‌پذیرد و در غیر این صورت می‌پذیرد. وجود چنین ماشینی متناقض است زیرا در صورتی که ماشین بالا به این نتیجه برسد که M ورودی را می‌پذیرد نمی‌پذیرد.
زبان رشته‌هایی نمایشگر یک ماشین تورینگ و یک رشته که آن ماشین تورینگ به ازای آن رشته به عنوان ورودی متوقف می‌شود، تصمیم‌ناپذیر است. HALT_{TM}=\{\langle M,\omega \rangle \ |M\,\,is\,\,a\,\,TM\,\,and\,\,M\,\,halts\,\,on\,\,input\,\,\omega \}
برای اثبات این مسئله از تصمیم ناپذیری مسألهٔ قبل استفاده می‌کنیم. در صورتی که ماشین این مسئله وجود داشته باشد می‌توانیم برای هر ماشینی چک کنیم که متوقف می‌شود یا نه و در صورتی که متوقف می‌شود شبیه‌سازی‌اش کنیم و به این طریق زبان بخش قبل تصمیم گرفته شده‌است.
عموماً تصمیم ناپذیری زبان‌ها و مسائل متفاوت به این صورت اثبات می‌شود که نشان داده می‌شود در صورتی که آن‌ها تصمیم گرفته شوند مسائلی که می‌دانیم تصمیم پذیر نیستند (مثلاً مسائل بالا) تصمیم گرفته می‌شوند.
نیم‌تصمیم‌پذیری

نظریه‌ها و سیستم‌های صوری مشخصه‌ای ضعیف‌تر از تصمیم‌پذیری هم دارند که نیم‌تصمیم‌پذیری است. در صورتی که برای یک نظریه راه مؤثری وجود داشته بشد که همواره به‌طور صحیح مشخص کند که آیا یک فرمول عضو یک نظریه هست یا نه، امّا امکان این باشد که در صورت عضو نبودن فرمول در نظریه پاسخی ندهد، آن نظریه نیم‌تصمیم‌پذیر است. هر نظریه در صورتی تصمیم‌پذیر است که خودش و مکملش نیم‌تصمیم‌پذیر باشند و برعکس؛ بنابراین اگر نظریه‌ای تصمیم‌ناپذیر باشد خود یا متممش نیم تصمیم پذیر نیستند.
نیم‌تصمیم‌پذیری را می‌توان مشابه با تشخیص‌پذیری در نظریهٔ ماشین‌ها دانست. هر زبان تشخیص‌پذیر در این تشبیه مانند یک نظریهٔ نیم‌تصمیم‌پذیر است؛ برای این زبان ماشین تورینگی وجود دارد که به ازای رشته‌های عضو زبان به حالت قبول می‌رود، اما این ماشین به ازای رشته‌هایی که عضو زبان نیستند الزاماً متوقف نمی‌شود. در صورتی که یک زبان و مکمل آن تشخیص‌پذیر باشند آن زبان تصمیم‌پذیر است و برعکس؛ بنابراین به ازای هر زبان تصمیم‌ناپذیر خود آن زبان یا مکمل آن تشخیص ناپذیر است.