stanford-oval/wikipedia huggingface dataset:
جیدن کاکس
فعالیت ورزشی > قهرمانی جهان ۲۰۱۸

کاکس در وزن ۹۲ کیلوگرم کشتی آزاد مسابقات قهرمانی کشتی جهان ۲۰۱۸ بوداپست حاضر بود که داتو مارساگیشویلی از گرجستان، نیکولا کبان از رومانی و علیرضا کریمی از ایران را ۵ بر ۲ شکست داد و به فینال رسید. وی در فینال نیز ایوان یانکوسکی کشتی‌گیر بلاروسی را با نتیجهٔ ۴ بر ۱ شکست داد و مدال طلا وزن ۹۲ کیلوگرم را به دست آورد.
فعالیت ورزشی > قهرمانی جهان ۲۰۱۹

کاکس در وزن ۹۲ کیلوگرم کشتی آزاد مسابقات قهرمانی کشتی جهان ۲۰۱۹ نورسلطان حاضر بود که محمد فرج از الجزایر، نورگلی نورگایپولی از قزاقستان و ایراکلی متسیتوری از گرجستان را شکست داد و به فینال رسید. وی در فینال علیرضا کریمی از ایران را شکست داد و مدال طلا وزن ۹۲ کیلوگرم را به دست آورد.
فعالیت ورزشی > قهرمانی جهان ۲۰۲۱

کاکس در وزن ۹۲ کیلوگرم کشتی آزاد قهرمانی کشتی جهان ۲۰۲۱ اسلو شرکت کرد، او در مسابقه‌های اول تا سوم داگوادورجین اورگیلوخ از مغولستان، سیمون ایاناتونی از ایتالیا و جرمی پوآیر از کانادا را شکست داد اما در نیمه نهایی به کامران قاسم‌پور از ایران باخت و به دیدار رده‌بندی رفت. وی در دیدار رده‌بندی آندری ولاسوف از لهستان را شکست داد و مدال برنز را به دست آورد.
فعالیت ورزشی > قهرمانی کشتی جهان ۲۰۲۲

کاکس در وزن ۹۲ کیلوگرم کشتی آزاد قهرمانی کشتی جهان ۲۰۲۲ بلگراد شرکت کرد، او در این مسابقات بی یوشیانگ از چین، رادوسلاو مارسینکیویچ از لهستان و عثمان نورماگمدوف از آذربایجان را شکست داد و به فینال رسید. وی در دیدار نهایی به کامران قاسم‌پور از ایران باخت و به مدال نقره رسید.
حسین صفدر

| حسین صفدر | حسین صفدر |
| --- | --- |
روستا: روستا
مختصات: : مختصات: 
کشور: ایران
استان: سیستان و بلوچستان
شهرستان: هیرمند
بخش: بخش مرکزی
دهستان: مارگان
جمعیت: ۲۱۶ نفر (سرشماری ۹۵)
حسین صفدر، روستایی از توابع بخش مرکزی شهرستان هیرمند در استان سیستان و بلوچستان ایران است.
جمعیت

این روستا در دهستان مارگان قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۲۶۹ نفر (۵۳خانوار) بوده‌است.
مارتن جتو

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 :  
اطلاعات شخصی: اطلاعات شخصی
نام کامل:  Martin Okelo Djetou
زادروز:  ۱۵ دسامبر ۱۹۷۴ ‏(۴۹ سال)
زادگاه:  آبیجان، ساحل عاج
قد:  ۶ فوت ۲ اینچ (۱٫۸۸ متر)
پست:  مدافع
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۹۲–۱۹۹۶ |  باشگاه فوتبال استراسبورگ |  ۸۴ |  (۱) |
| ۱۹۹۶–۲۰۰۱ |  باشگاه فوتبال موناکو |  ۱۱۶ |  (۳) |
| ۲۰۰۱–۲۰۰۵ |  باشگاه فوتبال پارما |  ۲۳ |  (۲) |
| ۲۰۰۲–۲۰۰۴ |  → باشگاه فوتبال فولام (قرضی) |  ۵۱ |  (۱) |
| ۲۰۰۵ |  باشگاه فوتبال نیس |  ۵ |  (۰) |
| ۲۰۰۵–۲۰۰۶ |  باشگاه فوتبال بولتون واندررز |  ۳ |  (۰) |
| ۲۰۰۶ |  Istres |  ۱۰ |  (۱) |
| ۲۰۰۷ |  SC Schiltigheim |  ۲ |  (۰) |
| مجموع |   |  ۲۹۴ |  (۸) |
تیم ملی: تیم ملی
| ۱۹۹۶–۲۰۰۰ |  تیم ملی فوتبال فرانسه |  ۶ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
مارتن جتو (فرانسوی: Martin Djetou‎؛ زادهٔ ۱۵ دسامبر ۱۹۷۴) بازیکن سابق فوتبال اهل فرانسه است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال موناکو، باشگاه فوتبال استراسبورگ، باشگاه فوتبال بولتون واندررز، باشگاه فوتبال پارما، باشگاه فوتبال نیس، باشگاه فوتبال فولام و باشگاه فوتبال نیس اشاره کرد.
وی همچنین در تیم ملی فوتبال فرانسه بازی کرده‌است.
سانیتاس

| 0 | 1 |
| --- | --- |
نوع: شرکت سهامی خاص
ISIN: LT0000106171 
صنعت: صنایع داروسازی
بنا نهاده: ۱۹۲۲
دفتر مرکزی: ویلنیوس، لیتوانی
تعداد کارکنان: ۱۱۰ نفر
وبگاه: http://sanitas.lt/About-Sanitas-862.html
سانیتاس (انگلیسی: Sanitas) شرکت داروسازی لیتوانیایی است، که در سال ۱۹۲۲ تأسیس شد.
آدم‌ربایی سریع‌السیر

| 0 | 1 |
| --- | --- |
کارگردان: جوناتان یاکوبوویچ
تهیه‌کننده: الیزابت آوه‌یان
نویسنده: جوناتان یاکوبوویچ
فیلمنامه‌نویس: جوناتان یاکوبوویچ
بازیگران: میا مایسترو Jean Paul Leroux روبن بلیدز
موسیقی: آنجلو میلی
فیلم‌بردار: دیوید چاکر
تدوین‌گر: Ethan Maniquis
شرکت تولید: Tres Malandros
توزیع‌کننده: میرامکس
تاریخ‌های انتشار:  ۵ اوت ۲۰۰۵ (۲۰۰۵-0۸-۰۵) (آمریکا)  ۱۲ اوت ۲۰۰۵ (۲۰۰۵-0۸-۱۲) (ونزوئلا)  
مدت زمان: ۸۶ دقیقه
کشور: ونزوئلا
زبان: اسپانیایی 
آدم‌ربایی سریع‌السیر (انگلیسی: Secuestro Express) یک فیلم در ژانر درام و جنایی به کارگردانی جوناتان یاکوبوویچ است که در سال ۲۰۰۵ منتشر شد. از بازیگران آن می‌توان به میا مایسترو و روبن بلیدز اشاره کرد.
ایستگاه راه‌آهن پکام رای

| ایستگاه راه‌آهن پکام رای   | ایستگاه راه‌آهن پکام رای   |
| --- | --- |
ایستگاه راه‌آهن پکام رایموقعیت ایستگاه راه‌آهن پکام رای در Greater London: ایستگاه راه‌آهن پکام رایموقعیت ایستگاه راه‌آهن پکام رای در Greater London
موقعیت: پکام
Local authority: منطقه سات‌ارک لندن
مدیریت: Southern
کد ایستگاه: PMR
DfT category: D
تعداد سکو: ۴
منطقه: ۲
2011–12:  3.272 million
2012–13:  3.670 million
2013–14:  4.665 million
شرکت راه‌آهن: شرکت راه‌آهن
شرکت اصلی: London, Brighton and South Coast Railway
اطلاعات تاریخی: اطلاعات تاریخی
۱ دسامبر ۱۸۶۵: Opened
اطلاعات دیگر: اطلاعات دیگر
فهرست ایستگاه‌ها:  دی‌ال‌آر  متروی لندن  نشنال ریل  ترام‌لینک 
پیوند به بیرون:  Departures  Layout  Facilities  Buses 
ایستگاه راه‌آهن پکام رای (انگلیسی: Peckham Rye railway station) یک ایستگاه راه‌آهن در شهر لندن، انگلستان است.
این ایستگاه که در ناحیه پکام قرار دارد در سال ۱۸۶۵ میلادی تأسیس شده و جزئی از خط جنوب متروی زمینی لندن و راه‌آهن انگلستان است.
برگفلد

| برگفلد   | برگفلد   |
| --- | --- |
  نشان:   نشان
کشور: آلمان
ایالت: نیدرزاکسن
ناحیه: Gifhorn
انجمن شهرداری: Brome
حکومت: حکومت
 • شهردار: Ute Düsterhöft (CDU)
مساحت: مساحت
 • کل: ۱۰٫۶ کیلومتر مربع (۴٫۱ مایل مربع)
ارتفاع: ۶۴ متر (۲۱۰ فوت)
جمعیت (۲۰۰۶-۱۲-۳۱): جمعیت (۲۰۰۶-۱۲-۳۱)
 • کل: ۹۱۹
 • تراکم: ۸۷/کیلومتر مربع (۲۲۰/مایل مربع)
منطقهٔ زمانی: CET/CEST (UTC+1/+2)
کدهای پستی: ۳۸۴۶۷
کدهای شماره‌گیری: ۰۵۳۶۸
پلاک خودرو: GF
برگفلد (به آلمانی: Bergfeld) یک شهر در آلمان است که در گیفهورن واقع شده‌است. برگفلد ۹۱۹ نفر جمعیت دارد.
کنی چزنی

| کنی چزنی | کنی چزنی |
| --- | --- |
کنی چزنی در حال اجرا در جکسونویل، فلوریدا، اوت ۲۰۰۸: کنی چزنی در حال اجرا در جکسونویل، فلوریدا، اوت ۲۰۰۸
اطلاعات پس‌زمینه: اطلاعات پس‌زمینه
نام تولد: کنث آرنولد چزنی
زاده: ۲۶ مارس ۱۹۶۸ ‏(۵۶ سال) پاول، تنسی، ایالات متحده آمریکا
ژانر: کانتری
ساز(ها): خوانندگی، گیتار
سال‌های فعالیت: ۱۹۹۳–اکنون
ناشر(ان): کلمبیا رکوردز، بی‌ان‌ای رکوردز
همکاری‌های مرتبط: ویلی نلسون، گریس پاتر
وبگاه: kennychesney.com
کنث آرنولد «کنی» چزنی (به انگلیسی: Kenneth Arnold "Kenny" Chesney) (زادهٔ ۲۶ مارس ۱۹۶۸) خواننده آمریکایی سبک کانتری است. تاکنون بیش از ۳۰ میلیون نسخه از آلبوم‌های او به فروش رفته است.
زندگی شخصی

کنی چزنی در ۹ مه ۲۰۰۵ با رنی زلوگر ازدواج کرد. آن‌ها در دسامبر همان سال از یکدیگر جدا شدند.
رضا اوتادی

| 0 | 1 |
| --- | --- |
تصویر رضا اوتادی: تصویر رضا اوتادی
تاریخ: جمعه ۱۲ مرداد ۱۳۹۷
مکان: گوهردشت، کرج، استان البرز
نوع: قتل با اسلحه گرم
علت: معترض سیاسی مقتول در جریان اعتراضات سراسری ۱۳۹۷ ایران
خاک‌سپاری: قطعه ۲۱۵ ردیف ۱۳۸ شماره ۴۷، بهشت زهرا، تهران
رضا اوتادی (زاده: ۱۳۷۱ مرگ: جمعه ۱۲ مرداد ۱۳۹۷) یک جوان معترض ایرانی بود که در جریان تظاهرات مرداد ۱۳۹۷ ایران در خیابان به ضرب گلوله کشته شد. وی از بازاریان اهل گوهردشت کرج بود و در زمان مرگ ۲۶ سال داشت.
خبرگزاری تسنیم نزدیک به نهادهای امنیتی، روز یک‌شنبه ۱۴ مرداد از قول حاجی‌رضا شاکرمی (دادستان وقت کرج) مدعی شده‌است که اوتادی، با شلیک تیری از سوی تجمع‌کنندگان کشته شده‌است. دادستان کرج به نام این جوان اشاره نکرده، اما اندکی بعد برخی از کاربران شبکه‌های اجتماعی از کشته شدن یک جوان به نام رضا اوتادی توسط مأموران ضد شورش در اعتراض‌های گوهردشت کرج خبر داده‌اند. از سوی دیگر برخی منابع حقوق بشری، از قول یکی از نزدیکان اوتادی مدعی شدند که وی با ضرب گلوله نیروی‌های امنیتی نظام به قتل رسیده‌است. به گفته رادیو زمانه پلیس امنیت خانواده اوتادی را تهدید کرده‌است که دربارهٔ کشته شدن او با رسانه‌ها گفتگو نکنند. از این رو تنها به خواهر وی اجازه تأیید هویت داده‌اند و چون از قول مقامات «یک شورشی» بوده پیکر را به خانواده تحویل نداده‌اند. درحالی‌که که این اولین بار نیست که مقامات امنیتی و قضایی جمهوری اسلامی کشته شدن افراد در جریان اعتراضات را به تجمع‌کنندگان و معترضان نسبت می‌دهند.
در مردادماه ۱۳۹۷، گوهردشت کرج از جمله محل‌هایی بود که تجمع‌های اعتراضی در آن رخ داده‌است. برخی از کاربران شبکه‌های اجتماعی از ایجاد ایست و بازرسی در مسیرهای منتهی به این منطقه خبر داده‌اند. پس از اعتراضات سراسری ۱۳۹۶ ایران در سال قبل، دور جدید اعتراض‌ها از محله شاهپور جدید شهر اصفهان و چند شهر دیگر روز سه‌شنبه ۹ مرداد آغاز شد. راهپیمایان به گرانی و نابه‌سامانی اقتصادی و بیکاری اعتراض داشته و شعارهایِ تندی علیه نظام مستقر در ایران و مقامات ارشد جمهوری اسلامی از جمله مقام رهبری سر داده‌اند. مقامات جمهوری اسلامی، این اعتراضات را به عوامل خارجی نسبت داده‌اند و عبدالرضا رحمانی‌فضلی، وزیر کشور گفته‌است که این تجمعات «اثرگذار» نیست.
زندگی

رضا اوتادی فرزند محمدحسین اوتادی در زمان مرگ ۲۶ سال داشت و متأهل بود. او از بازاریان اهل گوهردشت بود که به حرفه فروشندگی لوازم چوبی مشغول بود. وی یکی از چهار پسر و پنج فرزند خانواده اوتادی بود.
مرگ

یکی از نزدیکان رضا اوتادی در گفتگویی که با تارنمای خبری ایران وایر داشته گفته‌است: «رضا ۲۵ساله و فروشنده لوازم چوبی بود. اهل اعتراض و حضور در تجمعات نبود. خانواده رضا برای سفر به شمال رفته بودند و در غیاب او برادرش برای اعتراض به وضعیت اقتصادی به معترضان پیوسته بود. وقتی برادر رضا در برگشت به خانه دیر کرد او از خانه بیرون رفته و درمیان جمعیت به دنبال برادرش می‌گردد که مأموران او را با تیر می‌زنند. از صبح روز ۱۳ مرداد که خانواده اش خبر کشته شدن رضا را شنیده‌اند به پزشک قانونی مراجعه کرده‌اند اما تا این لحظه که من با شما صحبت می‌کنم مقامات امنیتی از تحویل پیکر رضا به خانواده جلوگیری کرده‌اند.»
ایران وایر به نقل از یک منبع آگاهی که به دلیل امنیت شخصی‌اش نخواست نامش فاش شود نوشته‌است که مقامات امنیتی به خانواده رضا اوتادی گفته‌اند چون او در اعتراضات کشته شده جنازه اش را تحویل نمی‌دهیم، از سوی دیگر پلیس می‌گوید کشته شدن رضا، کار مأموران نیست و احتمالاً او با کسی خصومت شخصی داشته و به این دلیل به او شلیک شده‌است. اما نزدیکان وی این ادعا را رد کرده‌اند.
رسانه صدای آمریکا مدعی شد که تردیدهای جدی در مورد ادعای مقامات مبنی بر تیراندازی به رضا اوتادی از میان جمعیت وجود دارد. این رسانه نوشت که در پی کشته شدن این جوان ۲۶ ساله، برخی از کاربران شبکه‌های اجتماعی از کشته شدن او در پی شلیک نیروهای ضدشورش خبر دادند. برخی سایت‌های وابسته به مخالفان حکومت ایران می‌گویند مقامات بسیج تلاش کردند ابتدا او را از نیروهای خود و قربانی حمله معترضان معرفی کنند اما با مقاومت خانواده او روبرو شدند.
برخی از منابع حقوق‌بشری از قول نزدیکان رضا اوتادی گزارش دادند که او به ضرب گلوله نیروهای امنیتی به قتل رسیده‌است. معترضان و مخالفان حکومت ایران در شبکه‌های اجتماعی نیروهای حکومتی را عامل شلیک به رضا اوتادی معرفی کرده‌اند. این در حالی است که دادستان کرج می‌گوید این فرد با اسلحه ای که تجمع کنندگان در دست داشته‌اند و با شلیک از پشت سر کشته شده‌است. رضا شاکرمی دادستان وقت کرج گفته بود: «تیری از سوی تجمع کنندگان به جوانی که بین آنها بوده شلیک شده‌است.» او مدعی شده‌است که تعدادی تیر هم به سوی مأموران حاضر در محل شلیک شده‌است.
مرگ > ادعای قتل با سلاح جنگی

در تاریخ چهارشنبه ۱۷ مرداد ۱۳۹۷، محمدرضا مقیمی در مصاحبه خبرگزاری تسنیم وابسته به نهاهای امنیتی، مدعی شد که آزمایش‌های اسلحه‌شناسی در این پرونده تکمیل شده‌است و با توجه به نتایج به دست‌آمده از این آزمایش‌ها به این نتیجه رسیده‌اند که سلاح استفاده شده در قتل این شهروند، جزو سلاح‌هایی نبوده که نیروی انتظامی از آنها استفاده می‌کند. رئیس پلیس آگاهی ناجا اظهار داشت که بر اساس آنچه که وی «شواهد موجود» خواند، سلاح به کار رفته در این ماجرا جزو «سلاح‌های جنگی» بوده‌است.
مرگ > دیدار مسئولان کرج با خانواده اوتادی

خبرگزاری فارس، نزدیک به سپاه پاسداران، روز دوشنبه ۱۵ مرداد ۱۳۹۷ خبری مبنی بر دیدار مسئولان محلی شهر کرج با خانواده رضا اوتادی منتشر کرد. در این خبر ذکر شد که خانواده اوتادی تنها به دنبال مشخص شدن هویت قاتل فرزندشان هستند. فرماندار کرج و آخوند جماعت مسجد محل، از جمله دیدار کنندگان با خانواده اوتادی بود. با این حال این خبرگزاری از قول خانواده اوتادی مدعی شد که این معترض و خانواده‌اش مشکلی با نظام و انقلاب نداشته و تنها به دنبال هویت قاتل فرزندشان هستند. خبرگزاری فارس از این اعتراضات تحت عنوان «اغتشاشات» یادکرد.
مرگ > مراسم یادبود

سه روز پس از کشته شدن رضا اوتادی، مراسم یادبودی از سوی خانواده او برگزار شد. این مراسم سه شنبه ۱۶ مرداد ۱۳۹۷ برگزار شد.
واکنش‌ها

رضا پهلوی، فعال سیاسی و ولیعهد پیشین ایران، در تاریخ ۲۵ مرداد ۱۳۹۷ طی یادداشتی نسبت به مرگ رضا اوتادی واکنش نشان داد. پهلوی در گوشه‌ای از این یادداشت که در روزنامه وال‌استریت ژورنال انعکاس یافت، اظهار کرد: «اطلاعات زیادی دربارهٔ رضا اوتادی در دسترس نیست. می‌دانیم که مغازه‌دار بود و نامزد کرده بود. در صفحه توئیترش که فقط یک بار در آن توئیت کرد در روز اول خرداد نوشت: «تغییر رژیم ایران؛ برای آزادی، زندگی بهتر، آرامش، امنیت اقتصادی و روانی، خنده‌های بدون استرس.» در این تنها توئیتِ غم‌انگیز ولی مصمم، رضا اوتادی خواست اساسی یک ملت را ثبت کرد. او شاید این را می‌دانست و نیازی ندید که بیشتر از این بگوید.»
آدم‌ربایی دانش‌آموزان دختر چیبوک

| 0 | 1 |
| --- | --- |
بخشی از شورش بوکو حرام: بخشی از شورش بوکو حرام
والدینی که دخترانشان ربوده شده بودند: والدینی که دخترانشان ربوده شده بودند
تاریخ: ۱۴ آوریل ۲۰۱۴ (۲۰۱۴-04-۱۴)
مکان: چیبوک در ایالت بورنو، نیجریه
مختصات: ۱۰°۵۱′۵۷″شمالی ۱۲°۵۰′۴۹″شرقی﻿ / ﻿۱۰٫۸۶۵۸۳۳°شمالی ۱۲٫۸۴۶۹۴۴°شرقی﻿ / 10.865833; 12.846944
نتیجه: ۲۷۶ دانش‌آموز دختر روبده شده توسط بوکوحرام
گم‌شده‌ها: 113
مظنون(ها): بوکو حرام
در شب ۱۴–۱۵ آوریل ۲۰۱۴ تعداد ۲۷۶ تن از دختران دانش‌آموز یک مدرسه راهنمایی دولتی در شهرک چیبوک در ایالت بورنو نیجریه ربوده شدند. مسئولیت این آدم‌ربایی را سازمان افراطی تروریستی سلفی بوکو حرام مستقر در شمال نیجریه در بر عهده گرفت. ۵۷ تن از این دختران اقدام به فرار کردند.
مارتین رینولدز

مارتین رینولدز (انگلیسی: Martin Reynolds؛ زادهٔ ۲۲ فوریه ۱۹۴۹) ورزشکار دو و میدانی اهل بریتانیا است.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال برنز شده‌است.
رونیال

| رونیال | رونیال |
| --- | --- |
روستا: روستا
رونیال: رونیال
کشور:  پاکستان
ایالت: خیبر پختونخوا
بخش: سوات، پاکستان
منطقهٔ زمانی: یوتی‌سی +۵ (ساعت رسمی پاکستان)
رونیال (به انگلیسی: Ronyal) یک روستا در پاکستان است که در خیبر پختونخوا واقع شده‌است.
برنامه‌نویسی استقرایی

برنامه‌نویسی استقرایی (IP) (به انگلیسی: Inductive programming) یک قسمت ویژه از برنامه‌نویسی اتوماتیک است، تحقیقات نوین در رابطه با هوش مصنوعی و برنامه‌نویسی، که یادگیری از نوع اعلامی (منطقی یا تابعی) و اغلب برنامه‌های بازگشتی از مشخصات ناقص، مانند ورودی/خروجی (input/output) مثال‌ها با محدودیت‌ها را نشان می‌دهد.
بسته به زبان برنامه‌نویسی مورد استفاده، چندین نوع برنامه‌نویسی استقرایی وجود دارد، برنامه‌نویسی تابعی استقرایی، که می‌توان از زبان‌های برنامه‌نویسی تابعی مانند Lisp و Haskell نام برد، برنامه‌نویسی منطقی استقرایی، که از زبان‌های برنامه‌نویسی منطقی مانند Prolog و دیگر نمایش‌های منطقی مانند منطق توصیفی. ولی از دیگر پارادایم‌های زبان‌ها (ی برنامه‌نویسی) مانند برنامه‌نویسی محدودیتی یا برنامه‌نویسی احتمالی نیز استفاده شده‌است.
تعریف

برنامه‌نویسی استقرایی شامل تمام رویکردهایی که مربوط به یادگیری برنامه‌ها یا الگوریتم‌ها از مشخصات ناقص است. ورودی‌های احتمالی در یک سیستم IP (inductive programming) مجموعه ای از ورودی‌های انتقال دهنده و خروجی‌های مربوط یا یک تابع ارزیابی خروجی است. توصیف رفتار مطلوب برنامه مورد نظر، ردیابی یا توالی عمل که فرایند محاسبه خروجی‌های خاص را توصیف می‌کنند، محدودیت برای برنامه در مورد کارایی زمان یا پیچیدگی ان ایجاد می‌شود، انواع مختلف دانش‌های پس زمینه مانند انواع داده‌های استاندارد، توابع از پیش تعریف شده مورد استفاده قرار می‌گیرد، طرح‌های برنامه یا قالب‌هایی که جریان داده برنامه مورد نظر را توصیف می‌کنند ابتکاری برای جستجوی راه حل یا سایر سوگیری‌ها.
خروجی یک سیستم IP یک برنامه در برخی از زبان‌های برنامه‌نویسی دلخواه شامل شرطی‌ها و ساختارهای کنترل حلقه یا بازگشتی، یا هرنوع دیگری از زبان بازنمایی تورینگ_کامل است.
در بسیاری از اپلیکیشن‌ها برنامه خروجی باید با توجه به مثال‌ها و مشخصات جزئی درست باشدو این امر منجر به در نظر گرفتن برنامه‌نویسی استقرایی به عنوان یک قسمت خاص در داخل برنامه‌نویسی اتوماتیک یا تحلیل برنامه می‌شود ، در موارد دیگر برنامه‌نویسی استقرایی به عنوان یک حوزه عمومی تر دیده می‌شود که در آن هر برنامه‌نویسی … یا … می‌تواند مورد استفاده قرار گیرد. حتی ممکن است در نمونه‌ها درجه ای از خطا داشته باشد. به‌طور کلی یادگیری ماشین، خاص تر از استخراج ساختار یا هوش مصنوعی نمادین است. یک ویژگی متمایز تعداد مثال‌ها یا مشخصات جزئی مورد نیاز است. به‌طور معمول، تکنیک‌های برنامه‌نویسی استقرایی می‌توانند تنها از چند مثال یاد بگیرند. تنوع برنامه‌نویسی استقرایی معمولاً از اپلیکیشن‌ها و زبان‌هایی که مورد استفاده قرار می‌گیرند می آید: به غیر از برنامه‌نویسی منطقی و برنامه‌نویسی تابعی، دیگر پارادایم‌های برنامه‌نویسی و زبان‌های بازنمایی در برنامه‌نویسی استقرایی مورد استفاده یا پیشنهاد قرار گرفته‌اند از جمله: برنامه‌نویسی منطقی_تابعی، برنامه‌نویسی محدود، برنامه‌نویسی احتمالی، برنامه‌نویسی منطقی قیاسی، منطق موجهات، زبان عمل، زبان‌های عامل و بسیاری دیگر از زبان‌های دستوری.
تاریخچه

تحقیقات در مورد تحلیل استقرای برنامه‌های تابعی بازگشتی از اوایل دهه ۱۹۷۰ آغاز شد و بر روی پایه‌های نظری مستحکم با سمینار THESIS system سامرز و کار بایرمن آورده شد. این رویکردها به دو فاز تقسیم شدند: اول این که نمونه‌های ورودی_خروجی با استفاده از مجموعه کوچکی از عملگرهای پایه به برنامه‌های غیر بازگشتی تبدیل می‌شوند. دوم، قانونمندی‌ها در ردیابی‌ها جستجو می‌شود و برای جمع آوری آنها در یک برنامه بازگشتی مورد استفاده قرار می‌گیرد.نتایج اصلی تا اواخر دهه ۱۹۸۰ توسط اسمیت مورد بررسی قرار می‌گیرد. به دلیل پیشرفت محدود با توجه به برنامه‌هایی که می‌توانستند تحلیل شوند فعالیت‌های تحقیقاتی در دهه آینده به‌طور قابل توجهی کاهش یافت.
ظهور برنامه‌نویسی منطقی دوره جدیدی را به ارمغان آورد اما در همان ابتدای دهه ۱۹۸۰ نیز جهت‌گیری‌های جدیدی دارد. خصوصاً به دلیل سیستم MIS شاپیرو که در نهایت زمینه جدید برنامه‌نویسی منطقی استقرایی را ایجاد کرد. آثار اولیه پلاتکین و نظریه «حداقل تعمیم عمومی نسبی» او تأثیر بسیار فراوانی در برنامه‌نویسی منطقی استقرایی داشت. بیشتر کار ILP به کلاس گسترده‌تری از مشکلات می‌پردازد، چرا که تمرکز نه تنها بر روی برنامه‌های منطقی_بازگشتی بلکه بر یادگیری ماشینی فرضیه‌های نمادین از نمایش‌های منطقی نیز هست. با این حال برخی نتایج تشویق کننده در یادگیری برنامه‌های بازگشتی Prolog مانند quicksort از نمونه‌های همراه با دانش پس زمینه به عنوان مثال با GOLEM وجود دارد. اما دوباره پس از موفقیت اولیه جامعه، از پیشرفت در مورد القای برنامه‌های بازگشتی با ILP ناامید شد که باعث تمرکز کمتر و کمتر بر روی برنامه‌های بازگشتی و تکیه بیشتر و بیشتر به سمت تنظیمات یادگیری ماشین با اپلیکیشن‌ها در داده کاوی رابطه ای و دانش پس زمینه ای شد.
حوزه‌های کاربرد

اولین کارگاه‌های آموزشی رویکرد هاو اپلیکیشن‌های برنامه‌نویسی‌استقرایی که همراه با ICML 2005 برگزار شد اپلیکیشن‌های کاربردی را شناسایی کرد که «فراگیری برنامه‌ها یا قوانین بازگشتی فراخوانده می‌شود، ابتدا در حوزه مهندسی نرم‌افزار که در ان یادگیری ساختاری، دستیاران نرم‌افزار و عوامل نرم‌افزار می‌توانند به راحتی برنامه نویسان از کارهای پیش پا افتاده، پشتیبانی برنامه‌نویسی برای کاربران نهایی، یا پشتیبانی از برنامه نویسان تازه‌کار و سیستم‌های آموزش برنامه‌نویسی کمک کنند. حوزه‌های بیشتر کاربرد عبارت اند: از یادگیری قوانین کنترل بازگشتی برای برنامه ریزی هوش مصنوعی، یادگیری مفاهیم بازگشتی در وب کاوی یا برای دگرگونی قالب‌های داده.
آرام آرام (فیلم ۲۰۰۳)

| آرام آرام | آرام آرام |
| --- | --- |
کارگردان: میلان لوتهیرا
بازیگران: رانی موکرجی اجی دیوگن سونالی بندره
موسیقی: ساجد وجید
تاریخ‌های انتشار:  ۱ اوت ۲۰۰۳ (۲۰۰۳-08-۰۱)  
مدت زمان: ۱۳۵ دقیقه
کشور: هند
زبان: هندی 
آرام آرام یا آهسته آهسته (به هندی: Chori Chori) فیلمی محصول سال ۲۰۰۳ و به کارگردانی میلان لوتهیرا است. در این فیلم بازیگرانی همچون رانی موکرجی، اجی دیوگن، سونالی بندره، کامینی کاشال، تیکو تالسانیا ایفای نقش کرده‌اند.
خلاصه داستان

مردی به نام رانبیر مالهوترا(اجی دیوگن) با نامزدش پوجا دچار اختلاف می‌شود هم‌زمان دختری به نام خوشی(رانی موکرجی) به خانه خالی و در حال ساخت رانبیر می‌رود و در حالی که رانبیر حضور ندارد خود را دوست و نامزد رانبیر معرفی می‌کند رانبیر پس از بازگشت و با دیدن ماجرا و اینکه خوشی ساکن خانه او شده‌است ناراحت می‌شود اما با خوشی توافق می‌کند تا در ازای دریافت هفته‌ای ۲۰۰۰ روپیه و زندگی در این محل به این نمایش ادامه دهد تا حسادت نامزد سابقش پوجا را برانگیزد.
این تظاهر به دوستی آرام آرام منجر می‌شود تا خوشی و رانبیر عاشق هم شوند و در پایان ازدواج می‌کنند.
اجی دیوگن
رونیا آرونسون

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Ronja Othilia Gunilla Aronsson
زادروز:  ۲۰ دسامبر ۱۹۹۷ ‏(۲۶ سال)
زادگاه:  پیته‌آ
قد:  162cm
پست:  مدافع
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  باشگاه فوتبال لینشوپینگ
شمارهٔ پیراهن:  ۱۹
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۱۱–۲۰۱۹ |  Piteå IF |  ۹۹ |  (۲) |
| ۲۰۲۰– |  باشگاه فوتبال لینشوپینگ |  ۳۱ |  (۱) |
تیم ملی: تیم ملی
| ۲۰۱۲–۲۰۱۳ |  Sweden U17 |  ۱۰ |  (۰) |
| ۲۰۱۴–۲۰۱۵ |  Sweden U19 |  ۱۱ |  (۰) |
| ۲۰۱۶ |  Sweden U20 |  ۳ |  (۰) |
| ۲۰۱۹– |  Sweden U23 |  ۲ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۲۴ فوریه ۲۰۲۰ (UTC). :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۲۴ فوریه ۲۰۲۰ (UTC). 
رونیا آرونسون (انگلیسی: Ronja Aronsson؛ زادهٔ ۲۰ دسامبر ۱۹۹۷) بازیکن فوتبال اهل سوئد است.
وی همچنین در تیم‌های ملی فوتبال Sweden women's national under-17 football team, Sweden women's national under-19 football team, Sweden women's national under-20 football team، و Sweden women's national under-23 football team بازی کرده‌است.
کوشکک (بلخ)

| کوشکک | کوشکک |
| --- | --- |
کوشککLocation in Afghanistan: کوشککLocation in Afghanistan
مختصات: ۳۶°۴۱′۵۵″ شمالی ۶۶°۵۴′۱۴″ شرقی﻿ / ﻿۳۶٫۶۹۸۶۱°شمالی ۶۶٫۹۰۳۸۹°شرقی﻿ / 36.69861; 66.90389: مختصات: ۳۶°۴۱′۵۵″ شمالی ۶۶°۵۴′۱۴″ شرقی﻿ / ﻿۳۶٫۶۹۸۶۱°شمالی ۶۶٫۹۰۳۸۹°شرقی﻿ / 36.69861; 66.90389
کشور:  افغانستان
ولایت: ولایت بلخ
منطقهٔ زمانی: + ۴٫۳۰
کوشکک (به لاتین: Kushkak) یک منطقهٔ مسکونی در افغانستان است که در ولایت بلخ واقع شده‌است.
حیدری تبریزی

حاج حیدر ملقب به حیدری تبریزی (زادهٔ ۹۷۱ هجری) از شاعران سدهٔ دهم هجری و اهل محلهٔ سرخاب تبریز بود و هنوز هم «کوچهٔ تکیهٔ حیدر» در این محله به نام او خوانده می‌شود. او از شاگردان لسانی شیرازی و شریف تبریزی بود و بین او و وحشی بافقی اختلافاتی وجود داشت و بعضاً علیه هم هجو می‌گفتند.
حرفهٔ اولیهٔ حیدری تبریزی، سراجی در بازار تبریز بود و بعدها تاجر بزرگی شد و بارها به هند سفر کرد و مورد توجه اکبرشاه واقع شد. او سرانجام در سال ۱۰۰۰ یا ۱۰۰۲ هجری (۲۹ یا ۳۱ سالگی) درگذشت.
آثار

جنگ‌نامهٔ/فتح‌نامهٔ گجرات (به تقلید از بوستان سعدی)
دیوان اشعار (مشتمل بر ۱۶ هزار بیت)
سیر و سلوک
لسان‌الغیب (در تضمین اشعار لسانی شیرازی و در رد سهواللسان شریف تبریزی)
ساماتوا

ساماتوا (به سانسکریت: समत्व، همچنین با نام (samatvam یا samata) مفهوم هندویی آرامش است. ریشه آن سما (सम) به معنای برابر یا زوج است. Sāmya به معنای رعایت یکسان نسبت نوع انسان.
شرح

شناخت خویشتن خویش تعادل را پیامد دارد و کرامت، عشق، شادی و دانش واقعی است.
اونیکس (سامانه رهگیری)

اونیکس سامانه گردآوری اطلاعات است که بدست سرویس اطلاعات فدرال (سوئیس) اجرا می‌شود. هزینه پیشبرد این سامانه به صورت همگانی اعلام نشده است اما در سال ۲۰۰۰ معاون شورای ملی (سوئیس) مقدار آن را حدود ۱۰۰ میلیون فرانک سوئیس بیان کرد. در مارس سال ۲۰۰۵ دو روزنامه‌نگار هزینه این سامانه را (که مقدار واقعی آن در بسیاری از هزینه‌های ساخت و ساز پنهان شده) ۴۰۰ میلیون فرانک برآورد کردند. سامانه اونیکس در سال ۲۰۰۰ با نام ساتوس-۳ (SATOS-3) راه‌اندازی و در اواخر سال ۲۰۰۵ تکمیل شد. ساتوس-۱ و ساتوس-۲ در سال ۱۹۹۲ و برای رهگیری دورنگار راه‌اندازی شدند.
پایگاه رهگیری سامانه اونیکس در شهر لوک
هدف

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

سایت‌های فعال این سامانه عبارتند از:
زیمروالد (کانتون برن) ۴۶°۵۳′۱۲٫۴۶″ شمالی ۷°۲۸′۴۱٫۴۱″ شرقی﻿ / ﻿۴۶٫۸۸۶۷۹۴۴°شمالی ۷٫۴۷۸۱۶۹۴°شرقی﻿ / 46.8867944; 7.4781694
هایمنشواند (بخشی از شهر بوخهولتربرگ، کانتون برن) ۴۶°۴۹′۵۲٫۸۱″ شمالی ۷°۴۲′۵۷٫۹۹″ شرقی﻿ / ﻿۴۶٫۸۳۱۳۳۶۱°شمالی ۷٫۷۱۶۱۰۸۳°شرقی﻿ / 46.8313361; 7.7161083: ۳ آنتن
لوک (کانتون وله)۴۶°۱۹′۰۵″ شمالی ۷°۳۸′۴۳″ شرقی﻿ / ﻿۴۶٫۳۱۸۰۶°شمالی ۷٫۶۴۵۲۸°شرقی﻿ / 46.31806; 7.64528: ۴ آنتن
زیمروالد
هایمنشواند
لوک
موقعیت پایگاه‌های رهگیری اونیکس