stanford-oval/wikipedia huggingface dataset:
ارلنگ
تاریخچه

نام «ارلنگ» توسط Bjarne Däcker که سرپرست آزمایشگاه و تیم طراحی ارلنگ بوده انتخاب شده. این نام از دو جهت قابل ملاحظه و جالب هست ابتدا اینکه از نام یک مهندس و ریاضی دان دانمارکی Agner Krarup Erlang گرفته شده که این فرد در زمینه مخابرات هم فرمولی دارد (Erlang formula) و از طرفی هم از مخفف Ericsson Programming Language گرفته شده.ارلنگ با هدف بهبود و توسعه برنامه‌های کاربردی تلفن طراحی شده‌است. نسخه اولیه ارلنگ در پرولگ (به انگلیسی: Prolog) اجرا شد و توسط زبان برنامه‌نویسی مورد استفاده در PLEX مبادلات زودتر اریکسون تأثیر پذیرفته بود. در سال ۱۹۸۸ ارلنگ ثابت کرده بود که برای نمونه‌سازی مبادلات تلفنی مناسب است، اما در prolog بسیار آهسته اجرا می‌شد. یک گروه از متخصصان اریکسون تخمین زده بودند که برای استفاده از محصولشان سرعت آن باید ۴۰ بار سریعتر شود بنابراین در سال 1992 شروع به بازنویسی آن با زبان C کردند و ماشین مجازی BEAM متولد شد. نحوه عملکرد ماشین مجازی BEAM ترکیبی از کدهای NATIVE و تفسیر مستقیم برای ایجاد تعادل بین حجم کدها و افزایش عملکرد محیط اجرا است. با توجه به گفته‌های آرمسترانگ، این زبان زمانی از یک محصول آزمایشگاهی به یک محصول واقعی تبدیل شد که در طراحی نسل جدید AXE به AXE-N در سال ۱۹۹۵ استفاده شد با این موفقیت در نتیجه Erlang برای سویچ های شبکه از نوع ATM (Asynchronous Transfer Mode) هم انتحاب شد.
در سال ۱۹۹۸ اریکسون از سوئیچ AXD301 اطلاع داد، که شامل بیش از یک میلیون خط از ارلنگ می‌شد و از در دسترس بودن بالای ۹ گزارش داد. مدت کوتاهی پس از آن، سیستم رادیو ارلنگ استفاده از ارلنگ برای محصول جدید در مصارف خانگی را ممنوع کرد، این اتفاق با استناد به اولویت 
زبان‌های غیررسمی روی داد. این ممنوعیت باعث شد آرمسترانگ و دیگران شرکت اریکسون را ترک کنند. اجرای متن بازکردن این زبان در انتهای همین سال روی داد. سرانجام با برداشتن این ممنوعیت اریکسون دوباره آرمسترانگ را در سال ۲۰۰۴ استخدام کرد.
در سال ۲۰۰۶، پشتیبانی از چند پردازنده‌ای متقارن محلی به سیستم زمان اجرا و ماشین مجازی اضافه شد.
جهان بینی ارلنگ

دیدگاه ارلنگ از جهان، از زبان جو آرمسترانگ، یکی از سازنده گان ارلنگ که خلاصه‌ای از آن را در پایان‌نامه دکترای خود به شرح زیر آورده:
همه چیز یک فرایند است.
فرایندها به شدت منزوی هستند.
ایجاد و تخریب فرایند یک عملیات سبک‌وزن است.
عبور پیام تنها راه تعامل فرایند هاست.
فرایندها نام‌های منحصر به فردی دارند.
اگر شما نام یک فرایند را بدانید می‌توانید به آن پیام ارسال کنید.
فرایندها بدون منبع به اشتراک گذاشته می‌شوند.
دست زدن به خطا (به انگلیسی: Error handling) غیر محلی است.
فرایندها کارهایی که پشتیبانی می‌کنند را انجام می‌دهند که منجر به انجام یا شکست می‌شود.
جو آرمسترانگ در سال ۲۰۱۳ در مصاحبه با Rackspace اشاره می‌کند: «اگر جاوا یک بار نوشته شود و همه جا اجرا شود، پس ارلنگ یک بار نوشته می‌شود و همیشه اجرا می‌شود.»
استفاده

ارلنگ در حال حاضر توسط شرکت‌ها از جمله سیسکو سیستمز, متا پلتفرمز, نورتل و تی-موبایل استفاده شده‌است. ارلنگ در گره پشتیبانی اریکسون، و 3G , GPRS و شبکه‌های LTE در سرار جهان مورد استفاده قرار می‌گیرد. در حقیقت بیشتر ترافیک اینترنت بصورت مستقیم یا غیر مستقیم از طریق ارلنگ مدیریت میشود, هر زمان که از تلفن ثابت یا تلفن همراه و یا اینترنت استفاده میکنیم در حقیقت در حال استفاده از ارلنگ هستیم.
مفاهیم کلیدی

در Erlang، فرایندها (processes)، پایش‌ها (monitors) و ناظران (supervisors) مفاهیم مهمی برای ساخت برنامه‌های مقاوم در برابر خطا و قابل مقیاس هستند:
فرایندها
- فرایندهای Erlang واحدهای اجرای سبک، جداگانه و همزمان هستند.
- آنها با استفاده از توابع `()spawn` ایجاد می‌شوند و از طریق پیام‌های غیرهمزمان با هم ارتباط برقرار می‌کنند.
- فرایندها می‌توانند با استفاده از توابع `register/2` و `whereis/1` تحت نام‌های ثبت شده برای آدرس‌دهی آسان‌تر ثبت شوند.
پایش‌ها
- پایش‌ها پیوندهای یک‌طرفه بین فرایندها هستند که به یک فرایند امکان می‌دهند فرایند دیگری را پایش کند.
- یک پایش با استفاده از `erlang:monitor/2` ایجاد می‌شود و فرایند پایش‌کننده پیام `'DOWN'` دریافت می‌کند اگر فرایند پایش‌شده پایان یابد.
- پایش‌ها برای فرایندهای خارجی که به وضعیت فرایند دیگری علاقه‌مند هستند اما مسئول مستقیم آن نیستند مفید هستند.
ناظران
- ناظران فرایندهای ویژه‌ای هستند که مجموعه‌ای از فرایندهای فرزند را پایش و کنترل می‌کنند، که می‌توانند کارگران (workers) یا ناظران دیگر باشند.
- ناظران یک استراتژی راه‌اندازی مجدد برای مدیریت شکست‌های فرایندهای فرزند تعریف می‌کنند، مانند one_for_one (فقط فرزند شکست‌خورده را راه‌اندازی مجدد کن)، one_for_all (همه فرزندان را راه‌اندازی مجدد کن) یا rest_for_one (فرزند شکست‌خورده و آنهایی را که پس از آن هستند را راه‌اندازی مجدد کن).
- ناظران با استفاده از یک ماژول بازخورد که توابعی مانند `init/1` را صادر می‌کند تعریف می‌شوند تا فرایندهای فرزند و استراتژی راه‌اندازی مجدد را مشخص کنند.
- درختان نظارتی (supervision trees) چیدمان سلسله‌مراتبی ناظران و کارگران هستند که یک روش ساختاریافته برای ساخت برنامه‌های مقاوم در برابر خطا فراهم می‌کنند.
به طور خلاصه، فرایندها واحدهای اجرای پایه را فراهم می‌کنند، پایش‌ها به فرایندها امکان می‌دهند یکدیگر را زیر نظر بگیرند، و ناظران سلسله‌مراتبی از فرایندها را با سیاست‌های راه‌اندازی مجدد تعریف‌شده هماهنگ می‌کنند. به طور یکپارچه، آنها ساخت برنامه‌های مقاوم Erlang خودترمیم را امکان‌پذیر می‌سازند.
انواع داده > Integers

اعداد صحیح به عنوان دنباله‌ای از اعداد اعشاری نوشته شده‌است، به عنوان مثال، ۱۲، ۱۲۳۷۵ و -۲۳٬۴۲۷ اعداد صحیح هستند. علم حساب اعداد صحیح دقیق و تنها محدود به حافظه موجود بر روی دستگاه است.
انواع داده > Atoms

اتم‌ها در یک برنامه برای نشان دادن ارزش‌های متمایز استفاده می‌شود. آن‌ها به صورت رشته‌ای از کاراکترهای الفبایی متوالی نوشته می‌شوند، اولین کاراکتر که حروف کوچک است. اتم‌ها می‌توانند شامل هر کاراکتر باشند اگر آن‌ها در نقل قول‌های محصور و یک کنوانسیون فرار وجود داشته باشد که اجازه می‌دهد هر کاراکتر در یک اتم استفاده شود.
انواع داده > Floats

عداد ممیز شناور از IEEE 754 بیتی۶۴ استفاده می‌کند.
انواع داده > Reference

مراجع نمادهای منحصر به فرد جهانی هستند که تنها ویژگی آن‌ها این است که می‌توان آن‌ها را برای برابری مقایسه کرد.
نوع داده مرجع در زبان ارلنگ :
در ارلنگ، یک مرجع یک عبارت منحصر به فرد است که برای شناسایی یک فرآیند یا منبع خاص در سیستم زمان اجرای ارلنگ ایجاد می‌شود. این منحصر به فرد بودن باعث می‌شود که مراجع را بتوان به طور ایمن در برنامه‌نویسی همزمان استفاده کرد، جایی که چندین فرآیند ممکن است همزمان در حال اجرا باشند.
ایجاد مراجع
مراجع با فراخوانی تابع درونی make_ref/0 تولید می‌شوند. هر فراخوانی از این تابع یک مرجع جدید تولید می‌کند که متمایز از همه مراجع دیگری است که در طول اجرای برنامه ایجاد شده‌اند. این امر حیاتی است تا اطمینان حاصل شود که مراجع را می‌توان به طور قابل اعتماد برای ردیابی منابع یا فرآیندها بدون خطر برخورد استفاده کرد.
ویژگی‌های مراجع :
منحصر به فرد بودن: هر مرجع تضمین می‌شود که در سراسر سیستم ارلنگ منحصر به فرد باشد. این بدان معناست که هیچ دو مرجعی هرگز برابر نخواهند بود، که آنها را برای تمایز بین موجودیت‌های مختلف ایده‌آل می‌کند.
ثابت بودن: یک مرجع پس از ایجاد، قابل تغییر نیست. این ثابت بودن یک ویژگی مشترک در زبان‌های برنامه‌نویسی تابعی مانند ارلنگ است.
استفاده: مراجع اغلب در سناریوهای مربوط به ارتباطات آسنکرون استفاده می‌شوند، مانند زمانی که پیام‌ها بین فرآیندها ارسال می‌شوند. آنها می‌توانند به عنوان شناسه‌هایی برای پاسخ‌ها یا ردیابی وضعیت عملیات‌ها عمل کنند.
انواع داده > Binaries

دودویی دنباله‌ای از بایت است. باینری راه صرفه جویی در فضای ذخیره‌سازی داده‌های دودویی را ارائه می‌دهد.
انواع داده > Pids

pid برای شناسایی فرایند کوتاه است. pid توسط ارقام ابتدایی ارلنگ ایجاد می‌شود.
انواع داده > Ports

Ports برای برقراری ارتباط با دنیای خارج استفاده می‌شود. پورت‌ها با function-built-in open_port ایجاد می‌شوند. پیام‌ها را می‌توان به پورت‌ها ارسال و دریافت کرد، اما این پیام‌ها باید به اصطلاح «پروتکل پورت» مطابقت داشته باشند.
انواع داده > Funs

Funs تابع بسته‌است. Funs توسط عبارات فرم ایجاد می‌شود: Fun(...) -> … end
انواع داده > Tuples

Tupels ظروف برای تعداد ثابت از انواع داده ارلنگ هستند. نحو {D1 , D2, … ,Dn} یک تابع را نشان می‌دهد که استدلال آن D1, D2, … ,Dn است. استدلال می‌تواند نوع داده‌های اولیه یا انواع داده‌های ترکیب باشد. هر عنصر یک دوره زمانی می‌تواند در زمان ثابت مشاهده شود.
انواع داده > Lists

لیست‌ها ظروف برای تعداد متغیری از انواع داده Erlang هستند. نحو [Dh | Dt] یک لیست را نشان می‌دهد که اولین عنصر آن Dh است و عناصر باقی‌مانده آن Dt است. نحو [] یک لیست خالی را نشان می‌دهد. نحو [D1، D2، ..، Dn] کوتاه است برای [D1 | [D2 | .. | [Dn | []]]]. اولین عنصر از یک لیست در زمان ثابت قابل دسترسی است. اولین عنصر از لیست، سر لیست است. باقی‌مانده از یک لیست زمانی که سر آن حذف شده‌است، دم لیست است.
انواع داده > Maps

نقشه‌ها دارای تعداد متغیری از ارتباطات کلیدی ارزش هستند. نحو به این صورت # {Key1 => Value1، …، KeyN => ValueN} است.
انواع داده > Strings

رشته‌ها مابین نقل قول دوتایی نوشته می‌شوند. این یک نحو جالب برای نمایش دنباله‌ای از کدهای اسکی یا لیستی از کارکترها می‌باشد؛ بنابراین، به عنوان مثال، رشته "CAT" به صورت [۹۹٬۹۷٬۱۱۶] کوتاه می‌شود. این پشتیبانی جزئی برای رشته Unicode است.
انواع داده > Records

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

ارلنگ از بروزرسانی برنامه‌هایی با سطح زبان پویا پشتیبانی می‌کند. برای اجرای این، کد به عنوان یک واحد «ماژول» بارگذاری و مدیریت می‌شود؛ ماژول یک واحد تلفیقی است.
سیستم می‌تواند هم‌زمان دو نسخه از یک ماژول را در حافظه نگه دارد و فرایندها می‌توانند هم‌زمان هر یک از کدها را اجرا کنند. به نسخه‌ها با نسخه‌های جدید و قدیمی مراجعه می‌شود. فرایندها تا زمانی که یک تماس خارجی به ماژول آن ایجاد نشود به نسخه جدید تبدیل نمی‌شوند.
یک مثال از مکانیزم بارگیری کد:
%% A process whose only job is to keep a counter.
  %% First version
  -module(counter).
  -export([start/0, codeswitch/1]).

  start() -> loop(0).

  loop(Sum) ->
    receive
       {increment, Count} ->
          loop(Sum+Count);
       {counter, Pid} ->
          Pid ! {counter, Sum},
          loop(Sum);
       code_switch ->
          ?MODULE:codeswitch(Sum)
          % Force the use of 'codeswitch/1' from the latest MODULE version
    end.

  codeswitch(Sum) -> loop(Sum).
برای نسخه دوم، ما امکان اضافه کردن شمارش به صفر را اضافه می‌کنیم.
%% Second version
  -module(counter).
  -export([start/0, codeswitch/1]).

  start() -> loop(0).

  loop(Sum) ->
    receive
       {increment, Count} ->
          loop(Sum+Count);
       reset ->
          loop(0);
       {counter, Pid} ->
          Pid ! {counter, Sum},
          loop(Sum);
       code_switch ->
          ?MODULE:codeswitch(Sum)
    end.

  codeswitch(Sum) -> loop(Sum).
سوییچ مخابراتی اریکسون
Robert Virding
Bjarne Däcker
جان میچلی

| جان می‌چلی | جان می‌چلی |
| --- | --- |
زاده: ۲۹ مهٔ ۱۹۶۱ ‏(۶۳ سال)  ایالات متحده آمریکا، لانگ آیلند
ژانر: موسیقی راک
پیشه(ها): طبل‌زن
همکاری‌های مرتبط: میت لوف نورلند اکسپرس مای کمیکال رومنس رینبو برایان می مارچلو کری الیس بلو اویستر کالت
جان می‌چلی (انگلیسی: John Miceli; زاده ۲۹ مهٔ ۱۹۶۱) طبل‌زن اهل ایالات متحده آمریکا بود.
شهرستان ایسیق‌کول

| شهرستان ایسیق‌کول Ысык-Көл району ىسىق كۅل رايونۇ Иссык-кульский район | شهرستان ایسیق‌کول Ысык-Көл району ىسىق كۅل رايونۇ Иссык-кульский район |
| --- | --- |
شهرستان: شهرستان
ساحل دریاچه ایسیق‌کول در شهر تامچی: ساحل دریاچه ایسیق‌کول در شهر تامچی
کشور: قرقیزستان
استان: استان ایسیق‌کول
مساحت: مساحت
 • کل: ۳۶۰۳ کیلومتر مربع (۱۳۹۱ مایل مربع)
جمعیت (۲۰۰۹): جمعیت (۲۰۰۹)
 • کل: ۷۵۵۳۳
 • تراکم: ۲۱/کیلومتر مربع (۵۴/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۵ (GMT +۵)
شهرستان ایسیق‌کول (به قرقیزی: Ысык-Көл району، ىسىق كۅل رايونۇ) یک شهرستان از استان ایسیق‌کول در شمال شرقی قرقیزستان واقع شده‌است. این شهرستان که در شمال دریاچه ایسیق‌کول واقع شده است، دارای مساحت ۳۶۰۳ کیلومترمربع (۱۳۹۱ مایل مربع) می‌باشد. مرکز این شهرستان شهر چولپان‌آته است.
خصوصیات

شهرستان ایسیق‌کول بر اساس آمار سال ۲۰۰۹، مشتمل بر یک شهر و ۳۰ منطقه مسکونی است و دارای ۷۵٬۵۳۳ نفر جمعیت است.
کره تاوی

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

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

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Geraldo Francisco dos Santos
زادروز:  ۱۱ ژوئن ۱۹۶۲ ‏(۶۲ سال)
زادگاه:  سائو پائولو، برزیل
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۸۰–۱۹۸۲ |  América |  ۲۳ |  (5) |
| ۱۹۸۲–۱۹۸۳ |  León |  ۳۷ |  (۱۰) |
| ۱۹۸۳–۱۹۸۴ |  América |  ۲۷ |  (۵) |
| ۱۹۸۴–۱۹۸۵ |  Necaxa |  ۲۵ |  (۴) |
| ۱۹۸۶–۱۹۸۷ |  FAS |  ? |  (?) |
| ۱۹۸۷–۱۹۸۹ |  Monterrey |  ۲۳ |  (۳) |
| ۱۹۹۳–۱۹۹۷ |  Monterrey La Raza (indoor) |  ? |  (?) |
| مجموع |   |  135 |  (27) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
گرالدو فرانسیسکو دوس سانتوس (به پرتغالی: Geraldo Francisco dos Santos) بازیکن فوتبال اهل برزیل است که در شهر سائوپائولو و در تاریخ ۱۱ ژوئن ۱۹۶۲ به دنیا آمده‌است.
گرالدو فرانسیسکو دوس سانتوس در تیم‌های فوتبال América سابقهٔ حضور دارد.
پیتر وولن

پیتر وولن (به انگلیسی: Peter Wollen) (زادهٔ ژوئن ۱۹۳۸ در لندن) نظریه‌پرداز فیلم و نویسندهٔ سینمایی است. او به سبب نظریات سینمایی‌اش با رویکرد ساختارگرایی و نشانه‌شناسی شهرت دارد. او همچنین همسر لورا مالوی نظریه‌پرداز برجستهٔ فمینیست است و در تهیهٔ اکثر فیلم‌های لورا با او همکاری کرده‌است. او استاد فیلم در دانشگاه کلمبیا نیز می‌باشد.
نظریات

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

نشانه‌ها و معنا در سینما (۱۹۶۹-۱۹۷۲)
آواز در باران (۱۹۹۳)
پناهگاه تبهکاران (۱۹۹۷)
اندی وارهول که بود؟ (۱۹۹۸)
نمایش دیداری: فرهنگی فراسوی آشکاری (۱۹۹۹)
صد سال هنر و مد (۱۹۹۹)
ساختن زمان: بررسی زمان به عنوان مادهٔ خام فیلم و ویدئوی معاصر (۲۰۰۰)
آرمانشهر: ماشین‌ها و فرهنگ (۲۰۰۳)
پاریس/منهتن: نوشتن در باب هنر (۲۰۰۴)
سایه‌های الکترونیکی: هنر تینا کین (۲۰۰۵)
فهرست منابع

احمدی، بابک، از نشانه‌شناسی تصویری تا متن: به سوی نشانه‌شناسی ارتباط دیداری، نشر مرکز، ۱۳۷۱
وولن، پیتر، نشانه‌ها و معنا در سینما، ترجمهٔ عبدالله تربیت و بهمن طاهری، سروش، ۱۳۸۴
ویکی‌پدیای انگلیسی
بوکانبایف

| بوکانبایف Бөкөнбаев / بۅكۅنباەۋ Боконбаево | بوکانبایف Бөкөнбаев / بۅكۅنباەۋ Боконбаево |
| --- | --- |
بوکانبایف: بوکانبایف
مختصات: ۴۲°۶′۳۶″ شمالی ۷۶°۵۹′۲۴″ شرقی﻿ / ﻿۴۲٫۱۱۰۰۰°شمالی ۷۶٫۹۹۰۰۰°شرقی﻿ / 42.11000; 76.99000: مختصات: ۴۲°۶′۳۶″ شمالی ۷۶°۵۹′۲۴″ شرقی﻿ / ﻿۴۲٫۱۱۰۰۰°شمالی ۷۶٫۹۹۰۰۰°شرقی﻿ / 42.11000; 76.99000
کشور: قرقیزستان
منطقه: استان ایسیق‌کول
منطقه: شهرستان تپنگ
Kol'tsovka: ۱۹۱۲
ارتفاع: ۱۸۰۹ متر (۵۹۳۵ فوت)
جمعیت (۲۰۰۹): جمعیت (۲۰۰۹)
 • کل: ۱۰۶۴۸
منطقهٔ زمانی: UTC +5
بوکانبایف (به قرقیزی: Бөкөнбаев، بۅكۅنباەۋ)(به روسی: Боконбаево) یک روستا در قرقیزستان است که در شهرستان تونگ واقع شده‌است. بوکانبایف ۱۰٬۶۴۸ نفر جمعیت دارد و ۱٬۸۰۹ متر بالاتر از سطح دریا واقع شده‌است.
عبدالله بن علی بن عبدالله بن عباس

عبدالله بن علی بن عبدالله بن عباس (۷۶۴–۷۱۲ میلادی) یکی از اعضای خلافت عباسیان بود که نقش مهمی در ظهور قدرت عباسیان ایفا کرد. وی به عنوان فرماندار سوریه، کنترل عباسیان را بر این استان تثبیت کرد، بقایای سلسله امویان را برانداخت و شورش طرفدارانشان را سرکوب کرد. پس از مرگ برادرزاده و اولین خلیفهٔ عباسیان سفاح در ۷۵۴ میلادی، وی پیشنهاد برای رسیدن به خلافت علیه برادر سفاح یعنی منصور داد اما با شکست مواجه شد و زندانی گشت. سرانجام وی در سال ۷۶۴ میلادی کشته شد.
دانشگاه شفیلد هالم

| 0 | 1 |
| --- | --- |
نام‌های پیشین: Sheffield Polytechnic Sheffield City Polytechnic
شعار: یاد بگیر و خدمت کن
نوع: دولتی
بنیانگذاری شده: ۱۸۴۳ – تأسیس ۱۹۹۲ – university status
موقوفه مالی: £0.52 million (2015)
رئیس دانشگاه: Helena Kennedy, Baroness Kennedy of The Shaws
معاون رئیس دانشگاه: Chris Husbands
اعضای هیئت علمی: 2,114
دانشجویان: ۳۱٬۵۳۰ (۲۰۱۴/۱۵)
کارشناسی: ۲۴٬۶۴۵ (۲۰۱۴/۱۵)
تحصیلات تکمیلی: ۶٬۸۹۰ (۲۰۱۴/۱۵)
موقعیت: شفیلد، یورک‌شر جنوبی، انگلیس ۵۳°۲۲′۴۵″شمالی ۱°۲۷′۵۳″غربی﻿ / ﻿۵۳٫۳۷۹۱۰۵°شمالی ۱٫۴۶۴۷۰۶°غربی﻿ / 53.379105; -1.464706
پردیس: City Campus and Collegiate Crescent Campus
تعلق ورزشی به: انجمن دانشگاه‌های مشترک‌المنافع EUA
وبگاه: shu.ac.uk
دانشگاه شفیلد هالم  (به انگلیسی: Sheffield Hallam University (SHU)) یک دانشگاه تحقیقاتی دولتی در شهر شفیلد واقع در یورک‌شر جنوبی، در انگلیس است. این دانشگاه ۳۰هزار و نهصدو شصت دانشجو دارد که ۴ هزارو چهارصد نفر آنان را دانشجویان خارجی تشکیل می‌دهند. دانشگاه از نظر تعداد دانشجو در میان ۱۶۹ دانشگاه در انگلیس در رده ١۴ قرار دارد.
کلارنس زنر

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

زنر پست‌ها / انتصابات زیر را داشت: وی از سال ۱۹۳۲ تا ۱۹۳۴ یک محقق تحقیقاتی در دانشگاه بریستول بود. وی در دانشگاه واشینگتن در سنت لوئیس (۱۹۳۵–۱۹۳۷)، کالج شهر نیویورک (۱۹۳۷–) تدریس کرد. ۱۹۴۰)، و دانشگاه ایالتی واشینگتن (۱۹۴۰–۱۹۴۲) قبل از اینکه در جنگ جهانی دوم در Watertown Arsenal کار کند. پس از جنگ، وی در دانشگاه شیکاگو (۱۹۵۱–۱۹۴۵) در حالی که استاد فیزیک بود، تدریس می‌کرد، قبل از اینکه به عنوان مدیر علوم در وستینگهاوس پیتسبورگ منصوب شود (۱۹۵۱ تا ۱۹۶۵). در اینجا او سیستم برنامه‌نویسی هندسی خود را توسعه داد، که از آن برای حل مسائل مهندسی با استفاده از پارامترهای قابل تنظیم، تعریف شده توسط توابع ریاضی، استفاده کرد. با استفاده از این، زنر برای مبدلهای حرارتی، برای انجام تبدیل انرژی حرارتی اقیانوسها، مدل‌سازی کرده و مناسب‌ترین مناطق را برای استقرار آنها کشف کرد. بسیاری از این مدل‌ها امروزه نیز مورد استفاده قرار می‌گیرند.پس از کار در وستینگهاوس، زنر دوباره به تدریس بازگشت، و برای مدت کوتاهی پیتسبورگ را ترک کرد و به عنوان استاد دانشگاه A&M تگزاس (۱۹۶۶–۱۹۶۸) است، اما بازگشت و کار خود را در دانشگاه کارنگی ملون (۱۹۹۳–۱۹۶۸) به پایان برد.
گراهام آدامز

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  گراهام آدامز
زادروز:  ۱ مارس ۱۹۳۳
زادگاه:  ، جنوب غربی انگلستان
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| – |  پلیموث آرگیل |  ? |  (?) |
| – |  آکسفورد یونایتد |  ? |  (?) |
دوران مربیگری: دوران مربیگری
۱۹۷۱–۷۲:  کره جنوبی (دستیار)
۱۹۷۲–۷۳:  Montreal Olympique
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است.:  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است.
گراهام آدامز (انگلیسی: Graham Adams؛ زادهٔ ۱ مارس ۱۹۳۳) یک بازیکن فوتبال اهل انگلستان بود.
جودیت باتلر

| جودیت باتلر | جودیت باتلر |
| --- | --- |
باتلر، سخنرانی در دانشگاه هامبورگ، آوریل ۲۰۰۷: باتلر، سخنرانی در دانشگاه هامبورگ، آوریل ۲۰۰۷
زادهٔ: ۲۴ فوریهٔ ۱۹۵۶ ‏(۶۸ سال) کلیولند، اوهایو،  ایالات متحده آمریکا
حیطه: فلسفه قاره‌ای، نظریه فراهنجار، جنسیت، فلسفه سیاسی، علم اخلاق، فلسفه یهودی
مکتب: مکتب انتقادی، فمینیسم موج سوم، پست‌مدرنیسم، پساساختارگرایی
 تأثیرگرفته از هگل، کارل مارکس، فریدریش نیچه، کیرکگارد، سیمون دوبووار، فوکو، آدورنو، فروید، جان لانگشاو آستین، لوس ایریگاره، امانوئل لویناس، دریدا، لوئی آلتوسر، ژاک لاکان :  تأثیرگرفته از هگل، کارل مارکس، فریدریش نیچه، کیرکگارد، سیمون دوبووار، فوکو، آدورنو، فروید، جان لانگشاو آستین، لوس ایریگاره، امانوئل لویناس، دریدا، لوئی آلتوسر، ژاک لاکان 
 :  
جودیت باتلر (انگلیسی: Judith Butler) (زادهٔ ۲۴ فوریه ۱۹۵۶) فیلسوف پساساختارگرا و منتقد فمنیست آمریکایی است و در زمینه‌های فمینیسم، نظریه فراهنجار، فلسفهٔ سیاسی و علم اخلاق صاحب‌نظر است. وی دارای کرسی استادی در رشتهٔ ادبیات در دانشگاه کلمبیای شهر نیویورک است.
او مدرک دکترای خود را در سال ۱۹۸۴ از دانشگاه ییل دریافت کرد. پایان‌نامهٔ وی با عنوان مباحث شهوت، بازتاب اندیشه‌های هگل در قرن بیستم فرانسه بود.
نخستین اثر وی آشفتگی جنسیتی نام دارد که در سال ۱۹۹۰ به چاپ رسید و بیش از ۱۰۰٬۰۰۰ نسخه از آن در کشورهای دیگر و به زبان‌های مختلف به چاپ رسید. یکی از مهم‌ترین نظریات باتلر در خصوص جنسیت طرح مبحثی‌ست با عنوان پرفورمتیویتهٔ جنسیت. باتلر معتقد است که جنسیت یک «اجراء» (performance) کردن است، آن چیزی که فرد در شرایطی خاص به نمایش می‌گذارد، نه قاعده‌ای جهانشمول از «آنچه تو هستی». در همین راستا، باتلر نظریهٔ ایفای جنسیت را مطرح کرده و در قالب این نظریه عنوان می‌کند که درست همانگونه که می‌آموزیم زبان را بسته به موقعیت به کار ببریم، می‌آموزیم که به گونه‌ای ایفای نقش کنیم که گویی زن یا مرد هستیم.
زندگی

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

۲۰۰۷: Who Sings the Nation-State?: Language, Politics, Belonging (with Gayatri Spivak)
۲۰۰۵: Giving An Account of Oneself
۲۰۰۴: Undoing Gender
۲۰۰۴: Precarious Life: The Powers of Mourning and Violence
۲۰۰۳: Women and Social Transformation (به همراه Elisabeth Beck-Gernsheim و Lidia Puigvert)
۲۰۰۰: Contingency, Hegemony, Universality|Contingency, Hegemony, Universality: Contemporary Dialogues on the Left (به همراه ارنستو لاکلائو و اسلاوی ژیژک)
۲۰۰۰: Antigone's Claim: Kinship Between Life and Death
۱۹۹۷: The Psychic Life of Power: Theories in Subjection
۱۹۹۷: Excitable Speech: A Politics of the Performative
۱۹۹۳: Bodies That Matter: On the Discursive Limits of "Sex"
۱۹۹۰: Gender Trouble: Feminism and the Subversion of Identity (آشفتگی جنسیتی)
۱۹۸۷: Subjects of Desire: Hegelian Reflections in Twentieth-Century France (مباحث شهوت: بازتاب اندیشه‌های هگل در قرن بیستم فرانسه ۱۹۸۷)
در زبانِ فارسی

باتلر، جودیت. زیست روانی قدرت: نظریه‌هایی دربارهٔ انقیاد، ترجمه پرویز شریفی درآمدی و لیلا طورانی، تهران: انتشارات گام نو، چاپ اول، ۱۴۰۰