stanford-oval/wikipedia huggingface dataset:
اسلک (نرم‌افزار)
تاریخچه

اسلک در اوت ۲۰۱۳ آغاز به کار کرد. در ژانویه ۲۰۱۵، اسلک اعلام کرد کسب و کار Screenhero خریداری کرده‌است.
در مارس ۲۰۱۵، اسلک اعلام کرد طی چهار روز هک شده‌است و اینکه برخی از اطلاعات کاربران در دسترس هکرها قرار گرفته‌است. اطلاعات مذکور شامل آدرس ایمیل، نام کاربری، رمز عبور رمز شده، و در برخی موارد شماره تلفن و شناسه اسکایپ بوده‌است. در واکنش به این اتفاق، اسلک احراز هویت چند فاکتوره را به سرویس خود اضافه کرد.
ویژگی‌ها

در حالی که اسلک دیگر از IRC استفاده نمی‌کند، ویژگی‌هایی شبیه IRC ارائه می‌دهد: persistent chat rooms (کانال) سازماندهی شده توسط موضوع و همچنین گروه‌های خصوصی و پیام رسانی مستقیم. همه محتواهای داخل اسلک از جمله فایل‌ها، مکالمات و افراد قابل جستجو هستند. اسلک قابلیت ادغام و یکپارچه شدن با تعداد زیادی از سرویس‌های شخص ثالث را دارد. از جمله این سرویس‌ها می‌توان به گوگل درایو، Trello، Dropbox, Box, Heroku, IBM Bluemix, Crashlytics، گیت هاب، Runscope و Zendesk اشاره کرد.
ویژگی‌ها > تیم

تیم‌های اسلک می‌توانند گروها و تیم‌ها را از طریق یک آدرس URL یا دعوتنامه‌ای که توسط اعضای مدیر تیم فرستاده می‌شوند به هم ملحق شوند. گرچه هدف اسلک در ابتدا صرفاً ارتباطات سازمانی بود، اما به آرامی به یک Community platform تبدیل شد. کارکردی که قبلاً از طریق تالارهای گفتگو یا شبکه‌های اجتماعی مثل فیسبوک یا لینکدین فراهمی می‌شد. بسیاری از این انجمن‌ها در قالب موضوعاتی طبقه‌بندی شده‌اند که ممکن است مورد علاقه قشر خاصی باشد.
ویژگی‌ها > پیام رسانی

کانال‌های عمومی قابلیت ارتباط بدون استفاده از ایمیل و پیامک‌های گروهی را دارند. کانال‌های عمومی پس از دعوتنامه اولیه برای همه قابل دسترسی هستند. کانال‌های خصوصی امکان مکالمه خصوصی را ارائه می‌دهند. قابلیت ارسال مستقیم پیام امکان ارسال مستقیم پیام به کاربران خاص را می‌دهد. پیام‌های مستقیم می‌تواند شامل حداکثر ۹ کاربر باشد.
مدل کسب و کار

اسلک خود را به عنوان یک محصول فری میوم در تبلیغات معرفی می‌کند که می‌تواند تعداد نامحدودی از کاربران را سرویس دهی کند اما طی گزارشی که توسط فردی به نام کوینسی لارسون ارائه شد کاربران هر کانال نمی‌تواند بیش از ۸۴۶۲ کاربر باشد. کاربران می‌تواند با ارتقا به نسخه‌های پولی به کانال‌ها بزرگتر و ویژگی‌های پیشرفته دسترسی داشته باشند.
سکوها

اسلک ابزارهایی برای سیستم عامل‌های موبایل iOS، اندروید و ویندوز فون، کلاینت مبتنی بر مرورگر و سیستم عاملی‌های دسکتاپ macOS، ویندوز و لینوکس فراهم می‌کند. همچنین کاربران ساعت اپل می‌توانند پیام‌های مستقیم بفرستند.
تحریم کاربران ایرانی

در ۲۹ آذر ۱۳۹۷ کاربران ایرانی گزارش دادند که اسلک اکانت آن‌ها را بدون هشدار و اعلام قبلی مسدود کرده‌است. بر اساس‌نامه‌ای که اسلک به کاربران ارسال کرده اینکار به خاطر پیروی از قوانین تحریم وزارت بازرگانی و اداره خزانه‌داری آمریکا انجام شده‌است.
اشمیتن

| شمیتن (آلمان)  | شمیتن (آلمان)  |
| --- | --- |
  نشان:   نشان
کشور: آلمان
ایالت: هسن
منطقه اداری: Darmstadt
ناحیه: Hochtaunuskreis
حکومت: حکومت
 • شهردار: Marcus Kinkel (FW)
مساحت: مساحت
 • کل: ۳۶ کیلومتر مربع (۱۴ مایل مربع)
ارتفاع: ۳۵۷–۸۷۹ متر (خطای عبارت: عملگر < دور از انتظار فوت)
جمعیت (۲۰۰۶-۱۲-۳۱): جمعیت (۲۰۰۶-۱۲-۳۱)
 • کل: ۸۸۹۱
 • تراکم: ۲۵۰/کیلومتر مربع (۶۴۰/مایل مربع)
منطقهٔ زمانی: CET/CEST (UTC+1/+2)
کدهای پستی: ۶۱۳۸۹
کدهای شماره‌گیری: ۰۶۰۸۲, ۰۶۰۸۴
پلاک خودرو: HG
وبگاه: www.schmitten.de
شمیتن (به آلمانی: Schmitten) یک منطقهٔ مسکونی در آلمان است که در هخ‌تاونوسکرایس واقع شده‌است. شمیتن ۸٬۸۹۱ نفر جمعیت دارد.
مرسدس-بنز کلاس-جی‌ال (ایکس۱۶۴)

Motor vehicle
| مرسدس-بنز کلاس-جی‌ال (ایکس۱۶۴) | مرسدس-بنز کلاس-جی‌ال (ایکس۱۶۴) |
| --- | --- |
دید کلی: دید کلی
شرکت: مرسدس-بنز
تولید: ۲۹ ژانویه ۲۰۰۶–۱۵ ژوئیه ۲۰۱۲
مونتاژ: ایالات متحده: تاسکالوسا، آلاباما
طراح: استیو متین (۲۰۰۲)
بدنه و شاسی: بدنه و شاسی
کلاس: شاسی‌بلند بزرگ
شکل بدنه: ۵ در شاسی‌بلند
طرح‌بندی: موتور جلو-تمام چرخ محرک (۴ماتیک)
خودروهای وابسته: مرسدس-بنز کلاس-ام‌ال
پیشرانه: پیشرانه
موتور: ۳٫۰ لیتری اوام۶۴۲ وی۶ توربو (دیزل) ۴٫۰ لیتری اوام۶۲۹ وی۸ توربو (دیزل) ۴٫۷—۵٫۵ لیتری ام۲۷۳ وی۸ (بنزینی)
جعبه‌دنده: ۷ سرعته ۷جی-ترونیک خودکار
ابعاد: ابعاد
فاصله بین محورها: ۳٬۰۷۵ میلیمتر (۱۲۱٫۱ اینچ)
درازا: ۵٬۰۸۸ میلیمتر (۲۰۰٫۳ اینچ) ۵٬۰۹۹ میلیمتر (۲۰۰٫۷ اینچ) (فیس‌لیفت)
پهنا: ۱٬۹۲۰ میلیمتر (۷۵٫۶ اینچ)
بلندی: ۱٬۸۴۰ میلیمتر (۷۲٫۴ اینچ)
وزن خالص: ۲٬۳۵۵–۲٬۴۷۵ کیلوگرم (۵٬۱۹۲–۵٬۴۵۶ پوند)
گاه‌شمار: گاه‌شمار
پسین: مرسدس-بنز کلاس-جی‌ال (ایکس۱۶۶)
مرسدس-بنز کلاس-جی‌ال ایکس۱۶۴ (انگلیسی: Mercedes-Benz GL-Class X164) یک خودروی شاسی‌بلند لوکس است که از سال ۲۰۰۶ تا ۲۰۱۲ توسط شرکت خودروسازی آلمانی مرسدس-بنز تولید شده‌است.
توسعه و رونمایی

کلاس-جی‌ال ایکس۱۶۴ در نمایشگاه بین‌المللی خودروی آمریکای شمالی ۲۰۰۶ رونمایی شد، و تحویل خودروها به مشتریان در اروپا در ماه سپتامبر همان سال آغاز شد. برای تولید خودروهایی که کلاس-جی‌ال ایکس۱۶۴ نیز یکی از آن‌ها بود، حدود ۶۰۰ میلیون دلار آمریکا در کارخانهٔ مرسدس در آلاباما سرمایه‌گذاری شد.
برخلاف بیشتر خودروهای شاسی‌بلند لوکس آن زمان که دارای سه ردیف صندلی بودند، کلاس-جی‌ال به‌جای بهره‌مندی از ساختار بدنه-بر-اسکلت مورد استفاده در خودروهایی نظیر لکسوس ال‌ایکس و کادیلاک اسکالید، بر پایه نسخه‌ای کشیده‌شده و پهن‌تر از پلتفرم کلاس-ام طراحی شده‌بود.
تجهیزات

تمامی مدل‌های این خودرو از صندلی‌های برقی با روکش چرم، سامانهٔ تهویه مطبوع، رینگ‌های آلومینیمی ۱۹ اینچی، تعلیق بادی ۴ماتیک تمام-چرخ محرک (قابل تنظیم تا میزان ۳۰۷ میلی‌متر)، و یک جعبه‌دنده خودکار ۷جی ترونیک برخوردار هستند. همچنین امکانات انتخابی سامانه نمایش فشار باد لاستیک، رادیوی دیجیتال دی‌ای‌بی، دوربین دنده‌عقب، و صفحه‌های نمایش سرگرمی و اطلاعات برای سرنشینان عقب نیز برای مدل‌های کلاس-جی‌ال قابل سفارش هستند. علاوه بر این، مدل‌های نسخهٔ گرند این خودرو، که از سال ۲۰۱۱ عرضه شدند، دارای سپر جلوی از نو طراحی‌شده، جلوپنجره بلندتر با سه پره، رینگ‌های چرخ آلومینیمی ۲۰ اینچی آام‌گ، چراغ‌های جلو از نوع زنون دوگانه، و فضای داخلی دو رنگ بودند.
مدل‌ها > موتورهای بنزینی

| مدل | سال(ها) | موتور | توان | گشتاور | ۰–۱۰۰ کیلومتر بر ساعت (۰–۶۲ مایل بر ساعت) |
| --- | --- | --- | --- | --- | --- |
| جی‌ال۴۵۰ | ۲۰۰۶–۲۰۱۲ | ام۲۷۳ ئی۴۶ ۴٫۷ لیتری وی۸ | ۳۳۵ اسب بخار (۲۵۰ کیلووات) در ۶٬۰۰۰ دور بر دقیقه | ۴۶۰ نیوتن متر (۳۳۹ پوند-فوت) در ۲٬۷۰۰–۵٬۰۰۰ دور بر دقیقه | ۷٫۲ ثانیه |
| جی‌ال۵۰۰ | ۲۰۰۶–۲۰۱۲ | ام۲۷۳ ئی۵۵ ۵٫۵ لیتری وی۸ | ۳۸۲ اسب بخار (۲۸۵ کیلووات) در ۶٬۰۰۰ دور بر دقیقه | ۵۳۰ نیوتن متر (۳۹۱ پوند-فوت) در ۲٬۸۰۰–۴٬۸۰۰ دور بر دقیقه | ۶٫۶ ثانیه |
مدل‌ها > موتورهای دیزل

| مدل | سال(ها) | موتور | توان | گشتاور | ۰–۱۰۰ کیلومتر بر ساعت (۰–۶۲ مایل بر ساعت) |
| --- | --- | --- | --- | --- | --- |
| جی‌ال۳۲۰ سی‌دی‌آی | ۲۰۰۶–۲۰۰۹ | اوام۶۴۲ دی‌ئی۳۰ ۳٫۰ لیتری وی۶ توربو | ۲۲۱ اسب بخار (۱۶۵ کیلووات) در ۳٬۸۰۰ دور بر دقیقه | ۵۱۰ نیوتن متر (۳۷۶ پوند-فوت) در ۱٬۶۰۰–۲٬۸۰۰ دور بر دقیقه | ۹٫۵ ثانیه |
| جی‌ال۳۵۰ سی‌دی‌آی | ۲۰۰۹ | اوام۶۴۲ دی‌ئی۳۰ ۳٫۰ لیتری وی۶ توربو | ۱۸۱ اسب بخار (۱۳۵ کیلووات) در ۵٬۰۰۰–۶٬۲۵۰ دور بر دقیقه | ۳۲۰ نیوتن متر (۲۳۶ پوند-فوت) در ۱٬۷۵۰–۲٬۰۰۰ دور بر دقیقه | ۹٫۵ ثانیه |
| جی‌ال۳۵۰ سی‌دی‌آی | ۲۰۱۰–۲۰۱۲ | اوام۶۴۲ ال‌اس دی‌ئی۳۰ ۳٫۰ لیتری وی۶ توربو | ۲۶۱ اسب بخار (۱۹۵ کیلووات) در ۳٬۸۰۰ دور بر دقیقه | ۶۲۰ نیوتن متر (۴۵۷ پوند-فوت) در ۱٬۶۰۰–۲٬۴۰۰ دور بر دقیقه | ۷٫۹ ثانیه |
| جی‌ال۳۵۰ سی‌دی‌آی بلوتک | ۲۰۰۹–۲۰۱۲ | اوام۶۴۲ دی‌ئی۳۰ ۳٫۰ لیتری وی۶ توربو | ۲۰۸ اسب بخار (۱۵۵ کیلووات) در ۳٬۴۰۰ دور بر دقیقه | ۵۴۰ نیوتن متر (۳۹۸ پوند-فوت) در ۱٬۶۰۰–۲٬۴۰۰ دور بر دقیقه | ۹٫۶ ثانیه |
| جی‌ال۴۲۰ سی‌دی‌آی | ۲۰۰۶–۲۰۰۹ | اوام۶۲۹ دی‌ئی۴۰ ۴٫۰ لیتری وی۸ تویین-توربو | ۳۰۲ اسب بخار (۲۲۵ کیلووات) در ۳٬۶۰۰ دور بر دقیقه | ۷۰۰ نیوتن متر (۵۱۶ پوند-فوت) در ۲٬۰۰۰–۲٬۶۰۰ دور بر دقیقه | ۷٫۶ ثانیه |
| جی‌ال۴۵۰ سی‌دی‌آی | ۲۰۰۹–۲۰۱۰ | اوام۶۲۹ دی‌ئی۴۰ ۴٫۰ لیتری وی۸ تویین-توربو | ۳۰۲ اسب بخار (۲۲۵ کیلووات) در ۳٬۶۰۰ دور بر دقیقه | ۷۰۰ نیوتن متر (۵۱۶ پوند-فوت) در ۲٬۰۰۰–۲٬۶۰۰ دور بر دقیقه | ۷٫۶ ثانیه |
تغییرات در مدل‌های سال

جی‌ال۳۲۰ سی‌دی‌آی پیش از فیس‌لیفت
جی‌ال۳۵۰ سی‌دی‌آی پس از فیس‌لیفت
تغییرات در مدل‌های سال > ۲۰۰۹

تغییرات زیر در مدل‌هایی که پس از ژوئن ۲۰۰۹ تولید شدند اعمال شد:
تغییرات در طراحی بیرونی شامل: طراحی مجدد جلوپنجره، چراغ‌های مه‌شکن، سپرها، آینه‌های جانبی و چراغ‌های جلو و عقب ال‌ئی‌دی.
تغییرات در طراحی داخلی شامل: طراحی مجدد صندلی‌ها و غربیلک فرمان.
اضافه‌شدن رنگ‌های خاکستری تنوریت و نقره‌ای پالادیوم به رنگ‌های قابل انتخاب برای بدنه.
تمامی مدل‌های دیزل به تزریق‌کنندهٔ اوره در سیستم اگزوز (بلوتک) مجهز شدند تا الزامات ۵۰ ایالتی آلایندگی را برآورده کنند.
معرفی مدل‌های جی‌ال۳۵۰ سی‌دی‌آی بلوتک، جی‌ال۳۲۰ سی‌دی‌آی بازنشانی‌شده با نام جی‌ال۳۵۰ سی‌دی‌آی، و جی‌ال۴۲۰ سی‌دی‌آی بازنشانی‌شده با نام جی‌ال۴۵۰ سی‌دی‌آی.
تغییرات در مدل‌های سال > ۲۰۱۰

موتور مدل جی‌ال۳۵۰ سی‌دی‌آی بروزرسانی شد و تولید مدل جی‌ال۴۵۰ سی‌دی‌آی پایان یافت.
تغییرات در مدل‌های سال > ۲۰۱۱

نسخهٔ گرند برای مدل‌های جی‌ال۴۵۰ و جی‌ال۳۵۰ سی‌دی‌آی بلوتک معرفی شد.
آمار فروش

جدول زیر دربردارندهٔ آمار فروش خودروی کلاس-جی‌ال ایکس۱۶۴ است:
نکته: آمار فروش سال ۲۰۱۲ شامل فروش نسل بعدی نیز می‌شود.
| سال | فروش در اروپا | فروش در آمریکا |
| --- | --- | --- |
| ۲۰۰۶ | ۳٬۰۰۷ | ۱۸٬۷۷۶ |
| ۲۰۰۷ | ۸٬۰۲۷ | ۲۶٬۳۹۶ |
| ۲۰۰۸ | ۴٬۲۲۷ | ۲۳٬۳۲۸ |
| ۲۰۰۹ | ۲٬۸۷۱ | ۱۵٬۰۱۲ |
| ۲۰۱۰ | ۲٬۲۴۹ | ۱۹٬۹۴۳ |
| ۲۰۱۱ | ۲٬۵۰۸ | ۲۵٬۱۳۹ |
| ۲۰۱۲ | ۱٬۵۷۳ | ۲۶٬۰۴۲ |
| مجموع: | ۲۴٬۴۶۲ | ۱۵۴٬۶۳۶ |
جایزه‌ها

«شاسی‌بلند سال» در سال ۲۰۰۷ از سوی مجلهٔ موتور ترند
جایزهٔ «۱۰ شاسی‌بلند و وانت برتر» سال ۲۰۰۸ از سوی مجلهٔ کار اند درایور
«جایزهٔ انتخاب موتوریست» در ردهٔ خودروهای شاسی‌بلند در سال ۲۰۱۱ از سوی سازمان اتوپاسیفیک
نیکوس ورتیس

| نیکوس ورتیس | نیکوس ورتیس |
| --- | --- |
«نیکوس ورتیس» در سال ۲۰۰۷: «نیکوس ورتیس» در سال ۲۰۰۷
اطلاعات پس‌زمینه: اطلاعات پس‌زمینه
نام تولد: نیکولائوس ورتیس
زاده: ۲۱ اوت ۱۹۷۶ ‏(۴۸ سال)
ژانر: لایکا و پاپ
سال‌های فعالیت: ۲۰۰۳ -
وبگاه: وبگاه رسمی
نیکوس ورتیس (به یونانی: Νίκος Βέρτης) (زاده: ۲۱ آگوست ۱۹۷۶) خواننده یونانی است. او تاکنون ۵ آلبوم استودیویی  به همراه ترانه های تک آهنگ و دو آلبوم ویژه منتشر کرده‌است.
اوایل زندگی

ورتیس   در شهر خورینخم هلند در خانواده ای اهل کاوالا به دنیا آمده‌است.
او در سن ۶ سالگی به همراه خانواده خود به سالونیک نقل مکان کرد. او خوانندگی را در کلوب کوچکی در شهر سالونیک شروع کرد. ورتیس در تابستان سال ۲۰۰۲ در کلوب معروف «رُدُن» به خوانندگی پرداخت و تا تابستان سال ۲۰۰۳ در آنجا به فعالیت خود ادامه داد.
گارث فودن

| گارث فودن | گارث فودن |
| --- | --- |
زادهٔ: ۱۴ ژانویهٔ ۱۹۵۳
گارث فودن (انگلیسی: Garth Fowden؛ زادهٔ ۱۴ ژانویهٔ ۱۹۵۳) مورخ، و استاد دانشگاه در دانشگاه کمبریج از سال ۲۰۱۳ تا ۲۰۲۰ بود.
وی همچنین برندهٔ جوایزی همچون عضو آکادمی بریتانیا شده‌است.
آثار

کتاب  امپراتوری به مشترک المنافع: پیامدهای توحید در اواخر باستان
هروآباد

هِرُوْآباد نام یک شهر و مرکز شهرستان خلخال و همچنین یک رود در شهرستان خلخال در استان اردبیل ایران است. چشمه‌های آب گرم خلخال در ۲۲ کیلومتری شمال غرب هروآباد واقع است. همچنین در جنوب غربی هروآباد نیز در دهکده گرمخانه چندین چشمه آب گرم وجود دارد که دمای آنها ۳۰ تا ۵۰ درجه سانتیگراد است.
رودی به نام گیلوان نیز از کوه وناو، در ۴۲ کیلومتری جنوب شرقی هروآباد سرچشمه می‌گیرد.
کیوری

کیوری (به انگلیسی: Curry) یک زبان تجربی و تابع محور بر پایه زبان Haskell است. این زبان تلفیقی است از خصوصیت‌های برنامه‌نویسی منطقی و تابع محور.
curry یک مجموعه بزرگ و نسبتاً کامل از Haskell است که از ایجاد انواع متفاوت کلاس پشتیبانی نمی‌کند، گرچه بعضی از پیاده سازی‌های مرتبط این امکان را به عنوان ویژگیی افزونه بر این زبان فراهم می‌کنند، مانند Munster Curry Compiler.
مفاهیم پایه ی برنامه‌نویسی منطقی تابع محور

مفاهیم پایه برنامه‌نویسی منظقیِ تابع محور
یک برنامه تابع محور ،مجموعه‌ای از توابع است که به کمک قوانین تعریف شده‌اند. محتویات تابع می‌تواند شامل جایگزینی مقادیر به کمک علامت تساوی باشد. برای مثال تابع double را که به صورت زیر تعریف شده‌است می بینید. double x = x+x عبارت double 1 می‌تواند با 1+1 جایگزین شود.این روش به صورت زنجیروار قابل تعمیم است به‌طوری‌که می‌توان 1+1+1 را به صورت 1+2 =3 نوشت .به عبارتی دیگر 'double (1+2)' → '(1+2)'+(1+2) → 3+'(1+2)' → '3+3' → 6 حالتی دیگر با جایگزینی راست به چپ نتیجه می‌شود 'double (1+2)' → (1+2)+'(1+2)' → '(1+2)'+3 → '3+3' → 6 همان طور که مشاهده می‌شود نتیجه دو عبارت با هم برابر است، بنابرین ترتیب و زمان جایگزینی تفاوتی ایجاد نمی‌کند.همین ویژگی توسعه و اصلاح این نوع برنامه‌ها را راحت‌تر می‌کند.
برنامه‌های منظقی تابع محور ، همیشه این ویژگی را ندارند.
Haskell به عنوان یه زبان تابع محور این خاصیت را داراست،در Curry می‌توان انواع داده‌های جبری ایجاد کرد. برای مثال نوع بولین می‌تواند به صورت زیر تعریف شود که یا دارای مقدار صحیح است یا غلط. data Bool = True | False توابع روی مقادیر بولین می‌توانند براساس بررسی تطابق با الگوها تعریف شوند. یعنی می‌توان براساس مقادیر مختلف نوع بولین (صحیح یا غلط) معادله‌های ممکن را نوشت : not True = False not False = True همانطور که می بینید قانون جایگزینی تساوی‌ها با هم هنوز برقرار است: not '(not False)' → 'not True' → False ساختارهای پیچیده تر داده را می‌توان با تعریف قوانین بازگشتی روی انواع داده ایجاد کرد.
برای مثال یک لیست از داده (هر نوع داده دلخواه) ، یا لیستی خالی است ، یا لیستی است که یک المان مانند e:1 را به همراه لیست دیگری در ادامه شامل می‌شود(تعریف به صورت بازگشتی) :
data List a = [] | a : List a
نوع List معمولاً به صورت [a] و لیست‌های محدود به صورت [e1,e2,...,en] نمایش داده می‌شوند.می توانیم عملگرها را به صورت بازگشتی روی انواع داده تعریف کنیم.برایمثال عملیات ++ روی لیست‌های چند ریختی می‌تواند به صورت زیر تعریف شود:
(++) :: [a] -> [a] -> [a]
[] ++ ys = ys 
(x:xs) ++ ys = x : xs++ys
بر این اساس می‌توان یک تابع با مشخص کردن روابط منطقی ایجاد کرد.مشابه زبان‌های منظقی ، زبان‌های منطقی تابع محور نیز می‌توانند برای مثال تساوی xs++[e] = [1,2،3] را با جایگزینی xs با لیست [1,2] حل کنند. در Curry این عملیات می‌تواند به صورت زیر تعریف شود:
last l | xs++[e] =:= l = e where xs,e free
علامت =:= بررسی تساوی به صورت شرطی را معنی می‌دهد.برای مثال یه تساوی شرطی به صورت l | c = r زمانی انجام می‌شود که c برقرار باشد. برعکس زبان‌های تابع محور عادی ، در این زبان می‌توان با حدس مقادیر مجهول نتیجه شرط را تعیین کرد.از روش نازک‌سازی (به انگلیسی : Narrowing) برای حل این نوع مسائل استفاده می‌شود که در ادامه توضیح داده می‌شود.
نازک‌سازی

همانطور که در بخش قبل اشاره شد در این روش مقادیر ممکن برای یک متغیر در برنامه امتحان می‌شود. این روش از برنامه‌نویسی منطقی منتج شده‌است.
نازک‌سازی بسیار مفید است زیرا یک تابع را می‌تواند به یک رابطه تبدیل کند : یعنی مقادیر آن می‌تواند در هر دو جهت مورد بررسی قرار بگیرد. مثال‌های قبلی این موضوع را نشان می دهند.
نازک‌سازی در واقع گراف برنامه را کوچک و بهینه می‌کند.در دهه 90 Antoy et al نشان داد که یک استراتژی نازک‌سازی خاص به نام نازک‌سازی مورد نیاز(به انگلیسی : needed narrowing) حالت بهینه را برای رسیدن به فرم نرمال فراهم می‌کند.
منطقه‌های پاریس

| بخش‌های پاریس | بخش‌های پاریس |
| --- | --- |
کشور: France
بخش: ایل-دو-فرانس
دپارتمان‌های فرانسه: پاریس
کانتون‌های فرانسه: ۲۰
کمون: ۱
Préfecture: پاریس
مساحت¹: مساحت¹
 • کل: ۱۰۵ کیلومتر مربع (۴۱ مایل مربع)
جمعیت (۲۰۰۹): جمعیت (۲۰۰۹)
 • کل: ۲۲۳۴۱۰۵
 • تراکم: ۲۱۰۰۰/کیلومتر مربع (۵۵۰۰۰/مایل مربع)
¹ French Land Register data, which exclude lakes, ponds, and glaciers larger than 1 km² as well as the estuaries of rivers.: ¹ French Land Register data, which exclude lakes, ponds, and glaciers larger than 1 km² as well as the estuaries of rivers.
شهر پاریس دارای بیست منطقه (به فرانسوی: arrondissements) است که شامل ۱۰۵ کیلومتر مربع مساحت و ۲٬۲۳۴٬۱۰۵ نفر جمعیت است.
نقشه منطقه‌های پاریس
کریسانتی آوجرو

| کریسانتی آوجرو | کریسانتی آوجرو |
| --- | --- |
زادهٔ: ۱۹۵۴ (۶۹–۷۰ سال) یونان
ملیت: بریتانیایی
محل تحصیل: دانشگاه آتن
کارفرما: مدرسه اقتصاد لندن
کریسانتی آوجرو (به انگلیسی: Chrisanthi Avgerou) (به یونانی: Χρυσάνθη Αυγέρου؛ متولد ۱۹۵۴) دانشمند انگلیسی متولد یونان در زمینه مطالعه اجتماعی سیستم‌های اطلاعاتی، با تمرکز بر فناوری اطلاعات در کشورهای در حال توسعه است. او در حال حاضر استاد سیستم‌های اطلاعاتی در مدرسه اقتصاد لندن است.
آوجرو عضو جامعه رایانه بریتانیا و جامعه سیستم‌های اطلاعاتی (AIS)، سردبیر مجله جامعه اطلاعات(The Information Society) و مجله تحقیقات سیستم‌های اطلاعاتی(Information Systems Research Journal) است و به عنوان رئیس کمیته فنی نهم فدراسیون بین‌المللی پردازش اطلاعات با موضوع بررسی رابطه بین رایانه و جامعه فعالیت می‌کند.
او دارای مدرک کارشناسی ریاضی از دانشگاه آتن، کارشناسی ارشد علوم کامپیوتر از دانشگاه لوبرو و دکترای سیستم‌های اطلاعاتی از مدرسه اقتصاد لندن است.
کاپلونوس-کولونگا

| کاپلونوس-کولونگا | کاپلونوس-کولونگا |
| --- | --- |
روستا: روستا
کشور:  لهستان
استان: استان لوبلین
شهرستان: شهرستان وووداوا
گمینا: گمینا ورکی
کاپلونوس-کولونگا (به لهستانی:  Kaplonosy-Kolonia) یک روستا در لهستان است که در گمینا ورکی واقع شده‌است.
کریسانتیوس

| کریسانتیوس ساردی | کریسانتیوس ساردی |
| --- | --- |
زادهٔ: ۱ ژانویهٔ ۰۳۱۰
درگذشت: ۱ ژانویهٔ ۰۳۹۰
ملیت: روم باستان
کریسانتیوس ساردی (زبان یونانی: Χρυσάνθιος؛ ۱ ژانویهٔ ۰۳۱۰ – ۱ ژانویهٔ ۰۳۹۰) فیلسوف اهل روم باستان بود که در مدرسه یامبلیخوس تحصیل کرد.
او یکی از شاگردان مورد علاقه آدزیوس بود و بیشتر خود را وقف جنبه عرفانی نوافلاطونی کرد. امپراتور روم ژولیان به توصیه آدزیوس نزد او رفت و از او دعوت کرد تا به دربار بیاید و در احیای هلنیسم کمک کند. اما کریسانتیوس با استناد به قدرت فال‌های بدی که آمده بود، امتناع کرد؛ احتمالاً متوجه شده بود که احیاء بعید است به ثمر بنشیند.
به‌همین دلیل او از اصلاحات مذهبی شدید در مقام کاهن اعظم لیدیه خودداری کرد. در نتیجه اعتدال او، تا زمان مرگ به‌عنوان کاهن اعظم باقی ماند و پاگانیست‌ها و مسیحیان او را مورد احترام قرار دادند. همسرش میت یکی از خویشاوندان یوناپیوس زندگی‌نامه‌نویس بود. یوناپیوس در سنین پیری به او توجه داشت و تا زمان مرگ به او ارادت داشت.
الربوه غران

| الربوه غران | الربوه غران |
| --- | --- |
روستا: روستا
الربوه غرانLocation in Saudi Arabia: الربوه غرانLocation in Saudi Arabia
مختصات: ۲۱°۵۹′ شمالی ۳۹°۲۵′ شرقی﻿ / ﻿۲۱٫۹۸۳°شمالی ۳۹٫۴۱۷°شرقی﻿ / 21.983; 39.417: مختصات: ۲۱°۵۹′ شمالی ۳۹°۲۵′ شرقی﻿ / ﻿۲۱٫۹۸۳°شمالی ۳۹٫۴۱۷°شرقی﻿ / 21.983; 39.417
کشور:  عربستان سعودی
استان: استان مکه
منطقهٔ زمانی: یوتی‌سی +۳ (زمان شرق آفریقا)
 • تابستانی (DST): یوتی‌سی +۳ (زمان شرق آفریقا)
الربوه غران یک منطقهٔ مسکونی در عربستان سعودی است که در استان مکه واقع شده‌است.
گاومخل‌ایوانی

| گاومخل‌ایوانی | گاومخل‌ایوانی |
| --- | --- |
روستا: روستا
مختصات: ۳۴°۱۵′۳۲″ شمالی ۴۵°۴۹′۱۵″ شرقی﻿ / ﻿۳۴٫۲۵۸۸۹°شمالی ۴۵٫۸۲۰۸۳°شرقی﻿ / 34.25889; 45.82083: مختصات: ۳۴°۱۵′۳۲″ شمالی ۴۵°۴۹′۱۵″ شرقی﻿ / ﻿۳۴٫۲۵۸۸۹°شمالی ۴۵٫۸۲۰۸۳°شرقی﻿ / 34.25889; 45.82083
کشور: ایران
استان: کرمانشاه
شهرستان: گیلانغرب
بخش: بخش مرکزی
دهستان: حومه
جمعیت: ۱۳۸ نفر (سرشماری ۹۵)
گاومخل‌ایوانی، روستایی از توابع بخش مرکزی شهرستان گیلانغرب در استان کرمانشاه ایران است.
جمعیت

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

کریم طاهرزاده بهزاد (زادهٔ ۱۲۶۷، تبریز - درگذشتهٔ ۱۳۴۲، تهران) مهندس و معمار ایرانی و از فعالان جنبش مشروطه‌خواهی در تبریز بود.
کریم طاهرزاده بهزاد در سال ۱۲۶۷ خورشیدی در تبریز متولد شد. در سن ۱۹ سالگی به مشروطه‌خواهان پیوست و سپس وارد فرقه اجتماعیون عامیون (سوسیال دموکرات) و عضو فداییان تبریز شد. او عهده‌دار سرپرستی مدافعان سنگر محله چرنداب تبریز بود و پس از تسلیم کلیه محلات شهر به گروه محله امیرخیز به رهبری ستارخان پیوست.
پس از کشته شدن شمار زیادی از مشروطه‌خواهان او به ناچار ایران را ترک کرد و به استانبول رفت و در رشته معماری تحصیل کرد. سپس تحصیلات خود را در همین رشته در آکادمی معماری برلین ادامه داد. او در سال ۱۳۰۵ به ایران بازگشت و به فعالیت در رشته معماری پرداخت. کتاب سرآمدان هنر (۱۳۰۲) که پژوهشی دربارهٔ هنر و معماری ایران است حاصل کار او و چند تن از روشنفکران مهاجر در برلین است.
کریم طاهرزاده بهزاد در مردادماه ۱۳۴۲ در تهران در سن ۷۵ سالگی درگذشت و در امامزاده قاسم به خاک سپرده شد. او برادر نقاش معروف، حسین طاهرزاده بهزاد بود.
آثار معماری

آرامگاه فردوسی (بین سال‌های ۱۳۱۳–۱۳۰۷)
بیمارستان‌های قدیمی امام رضا (بین سال‌های ۱۳۱۳–۱۳۰۸)
ساختمان اداری بیمارستان شاهرضا در مشهد (بین سال‌های ۱۳۱۳–۱۳۰۸)
دبیرستان شاهرضا در مشهد (۱۳۱۰)
تئاتر شیر و خورشید در مشهد (بین سال‌های ۱۳۱۳–۱۳۰۸)
دانشگاه جنگ در تهران (۱۳۱۴)
هنرستان راه‌آهن در تهران (بین سال‌های ۱۳۲۰–۱۳۱۹)
ساختمان امور اداری راه‌آهن در تهران (بین سال‌های ۱۳۲۵–۱۳۱۹)
ساختمان اداره پاسبانی راه‌آهن (۱۳۱۹)
ایستگاه راه‌آهن سمنان (۱۳۱۷)
ساختمان اداری کارخانه چیت‌سازی در بهشهر (بین سال‌های ۱۳۱۷–۱۳۱۴)
طاهرزاده بهزاد و فردریک تالبرگ، با یونیفرم رسمی راه آهن ایران، در نمایشگاه و جشن بنانهاد راه آهن
سازه هخامنشی میدان شاه پیشین (شهدا فعلی) مشهد
کتاب‌ها

سرآمدان هنر، برلین، ۱۳۹۰.
سرگذشت لوله‌کشی تهران، تهران، ۱۳۴۱.
قیام آذربایجان در انقلاب مشروطیت ایران، تهران، ۱۳۳۴.
نهضت هنری زمان رضاشاه پهلوی (۲ جلد)، منتشرنشده.
رادکان (تاکستان)

| راکان (تاکستان) رکان | راکان (تاکستان) رکان |
| --- | --- |
روستا: روستا
مختصات: ۳۵°۵۹′۲۲٫۹″ شمالی ۴۹°۳۴′۵۲٫۰″ شرقی﻿ / ﻿۳۵٫۹۸۹۶۹۴°شمالی ۴۹٫۵۸۱۱۱۱°شرقی﻿ / 35.989694; 49.581111: مختصات: ۳۵°۵۹′۲۲٫۹″ شمالی ۴۹°۳۴′۵۲٫۰″ شرقی﻿ / ﻿۳۵٫۹۸۹۶۹۴°شمالی ۴۹٫۵۸۱۱۱۱°شرقی﻿ / 35.989694; 49.581111
کشور: ایران
استان: قزوین
شهرستان: تاکستان
بخش: بخش خرمدشت
دهستان: رامندشمالی
جمعیت: ۲۳۰۶ نفر (سرشماری ۹۵)
پیش‌شمارهٔ تلفن: ۰۲۸۳۵۷۲
راکان (تاکستان)، روستایی از توابع بخش خرمدشت شهرستان تاکستان در استان قزوین ایران است.
جمعیت

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

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

| 0 | 1 |
| --- | --- |
نوع: آکتسینگزلشافت
نماد سهام شرکت: FWB: HDD
ISIN: DE0007314007 
صنعت: مهندسی، تولید
بنا نهاده: ۱۸۵۰
دفتر مرکزی: هایدلبرگ، آلمان
افراد کلیدی: Rainer Hundsdörfer (مدیر عامل اجرایی and chairman of the executive board), Siegfried Jaschinski (رئیس هیئت مدیره کمیته نظارت)
محصولات: چاپ فشاریes, platesetters, چاپ نرم‌افزار
درآمد: €2.5 بیلیون (۲۰۱۶/۲۰۱۷)
تعداد کارکنان: 11,511 (۳۱ آوریل 2017)
وبگاه: www.heidelberg.com
هایدلبرگر دروکماشینن آ گ (به آلمانی: Heidelberger Druckmaschinen AG)(معروف به هایدلبرگ؛ Heidelberg) در شهر هایدلبرگ، آلمان مستقر گشته و کارخانه‌های آن در شش کشور جهان قرار دارند. با در اختیار داشتن بیش از ۴۷ درصد از سهم بازار جهانی ماشین آلات صنعت چاپ افست، شرکت هایدلبرگ تنها ارائه‌کننده راهکارهای یکپارچه و متمرکز در صنعت رسانه چاپ جهان است.
تاریخچه

در سال ۱۸۵۰ اندریاس هام یک کارخانه ریخته‌گری و تولید ماشین آلات را در فرانکنتال آلمان پایه‌گذاری کرد.
کارخانه‌ای که در واقع هسته مرکزی آنچه را امروز به نام کمپانی هایدلبرگ می‌شناسیم پایه‌ریزی کرد. در سال ۱۸۹۶ شهر هایدلبرگ، دفاتر مرکزی کارخانه هام با نام کمپانی ماشین آلات سریع الف. هام هایدلبرگ را در خود جای داد. کارخانه‌ای که با تولید اولین ماشین چاپ خود، شهرت و اعتباری بین‌المللی را برای این شرکت به ارمغان آورد، ماشین چاپ ملخی هایدلبرگ که در سال ۱۹۱۴ پا به عرصه وجود گذاشت.
اولین شعبه کمپانی هایدلبرگ در سال ۱۹۲۶ در ژاپن تأسیس گشت. کمپانی، مقر واقع در شهر هایدلبرگ خود را توسعه و گسترش داده و در سال ۱۹۵۷ کارخانه ویسلوخ- والدورف را افتتاح نمود که تا امروز بزرگترین و پیشرفته‌ترین کارخانه تولید وری چاپ Ĥ ماشین آلات چاپ در جهان محسوب می‌گردد. کمپانی هایدلبرگ در سال ۱۹۶۲ پا به حیطه فن افست گذاشت و با تولید نخستین ماشین چاپ دو ورقی چهار رنگ از خانواده اسپیدمستر در سال ۱۹۷۴ جهشی عظیم را در زمینه کیفیت، دقت و سرعت ماشین آلات چاپ افست ایجاد نمود. در سال ۱۹۷۵ اولین ماشین چهار ونیم ورقی دو رنگ پشت و روزن کمپانی به بازار عرضه گردید. در سال ۱۹۸۵ کارخانه جدید ریخته‌گری کمپانی واقع در آمشتتن آلمان کار خود را شروع نمود. در سال ۱۹۹۲ کمپانی هایدلبرگ سنگ بنای کارخانه براندنبورگ را پی گذاشت.
تولیدات

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

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