stanford-oval/wikipedia huggingface dataset:
ارشمیدس
زندگی‌نامه

ارشمیدس دانشمند و ریاضیدان یونانی در سال ۲۸۷ قبل از میلاد در شهر سیراکوز در سیسیل که آن زمان جزو مگنا گراسیا بود زاده شد و در جوانی برای آموختن دانش به اسکندریه رفت. بیشتر دوران زندگیش را در زادگاهش گذراند و با فرمانروای این شهر دوستی نزدیک داشت. زندگی ارشمیدس با آرامش کامل می‌گذشت. زمانی که جمهوری روم در خلال دومین جنگ کارتاژ در سال ۲۱۲ قبل از میلاد شهر سیراکوز را به تصرف خود درآوردند سردار رومی مارسلوس دستور داد که هیچ‌یک از سپاهیانش حق اذیت و آزار و توهین و ضرب و جرح ارشمیدس را ندارند. با این حال ارشمیدس قربانی غلبهٔ رومیان بر شهر سیراکوز شد و به دست یک سرباز مست رومی در ۲۱۲ قبل از میلاد کشته شد و این در حالی بود که در میدان بازار شهر در حال اندیشیدن به مسئله‌ای ریاضی بود. می‌گویند آخرین سخن او این بود: «دایره‌هایم را خراب نکن».
زندگی‌نامه > کشف بزرگ ارشمیدس (اورکا اورکا)

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

مقاله اصلی: پیچ ارشمیدس
اختراعی منسوب به ارشمیدس که در گذشته از آن برای آبیاری و بالا کشیدن آب‌های زیرزمینی استفاده می‌کردند. به شکل لوله‌ای مارپیچ بود که محور آن زاویه‌ای ۴۵ درجه با راستای افقی می‌ساخت. یک سر پیچ در مخزن آب قرار داشت، با چرخاندن پیچ آب از لوله بالا می‌رفت. برخی از محققان معتقدند که نوع دیگری از این پیچ برای آبیاری باغ‌های معلق بابل استفاده می‌شده‌است. او مخترع پمپ انتقال مایعات است که پیچ ارشمیدس نام دارد. می‌گویند او پس از کشف پیچ ارشمیدس تا ساعت‌ها از خوشحالی دور میدانی می‌دوید.
فعالیت در حوزه‌های دیگر

ارشمیدس در ریاضیات از ظرفیت‌های هوشی بسیار برخوردار بود. او منجنیق‌هایی برای دفاع از سرزمین خود اختراع کرد که بسیار سودمند افتادند. او توانست سطح و حجم جسم‌هایی مانند کره، استوانه و مخروط را حساب کند و روش نوینی برای اندازه‌گیری در دانش ریاضی پدیدآورد. همچنین به دست آوردن عدد پی نیز از کارهای گران‌قدر وی است. او کتاب‌هایی دربارهٔ خصوصیات و روش‌های اندازه‌گیری اشکال و حجم‌های هندسی از قبیل مخروط، منحنی حلزونی و خط مارپیچ، سهمی، سطح کره و استوانه نوشته، علاوه بر آن او قوانینی دربارهٔ سطح شیب‌دار، پیچ، اهرم و مرکز ثقل کشف کرد.
یکی از روش‌های نوین ارشمیدس در ریاضیات به دست آوردن عدد پی بود. وی برای محاسبهٔ عدد پی، یعنی نسبت محیط دایره به قطر آن روشی به دست داد و ثابت کرد که عدد محصور مابین  {\tfrac {1}{7}}3 (تقریبا ۳٫۱۴۲۹) و  {\tfrac {10}{71}}3 (تقریبا ۳٫۱۴۰۸) است. گذشته از آن روش‌های گوناگونی برای تعیین جذر تقریبی اعداد به دست داد و از مطالعه آن‌ها معلوم می‌شود که وی قبل از ریاضیدانان هندی با کسرهای متصل یا مداوم متناوب آشنایی داشته‌است. در حساب روش غیرعملی و چند عملی یونانیان را که برای نمایش اعداد از علائم متفاوت استفاده می‌کردند به کنار گذاشت و پیش خود دستگاه شمارشی اختراع کرد که به کمک آن ممکن بود هر عدد بزرگی را بنویسیم و بخوانیم.
دانش تعادل مایعات به‌وسیلهٔ ارشمیدس کشف شد و وی توانست قوانین آن را برای تعیین وضع تعادل اجسام غوطه‌ور به کار ببرد. همچنین برای اولین بار برخی از اصول مکانیک را به وضوح و دقت بیان کرد و قوانین اهرم را کشف کرد.
بزرگ‌ترین افتخار ارشمیدس این بود که نسبت بین یک کره و استوانه محیط آن را بدست آورده‌است. کره ۲/۳ حجم استوانه را داراست و همین‌طور مساحت سطح کره ۲/۳ مساحت سطح استوانه است. بنابر وصیتش یک کره و یک استوانه بر روی مزارش حک شد.
ارشمیدس و دیگر دانشمندان دوران خود

ارشمیدس دربارهٔ خود گفته‌ای دارد که با وجود گذشت قرن‌ها جاودان مانده: «نقطهٔ اتکایی به من بدهید تا زمین را از جا بلند کنم». مشابه همین گفته به صورت دیگری در متون ادبی زبان یونانی از قول ارشمیدس نقل شده‌است، اما مفهوم در هر دو صورت یکی است. ارشمیدس گوشه‌گیر و منزوی بود. در جوانی به مصر مسافرت کرد و مدتی در شهر اسکندریه به تحصیل پرداخت و در این شهر دو دوست قدیمی یافت، یکی از آن‌ها کونون است که ریاضیدان قابلی بود و ارشمیدس چه از لحاظ فکری و چه از نظر شخصیتی برای وی احترام قائل بود و دیگری اراتوستن که گرچه ریاضیدان لایقی بود، اما مردی سطحی به‌شمار می‌رفت که برای خویش احترام خارق‌العاده‌ای قائل بود.
ارشمیدس با کونون ارتباط و مکاتبه دائمی داشت و بخش مهمی از آثار خویش را در این نامه‌ها با او در میان گذاشت و بعد از مرگ وی، ارشمیدس با دوستی که از شاگردان کونون بود مکاتبه می‌کرد. در سال ۱۹۰۶ ج. ل. هایبرگ مورخ دانشمند و متخصص تاریخ ریاضیات یونانی در شهر قسطنطنیه موفق به کشف مدرک باارزشی شد. این مدرک کتابی است به نام قضایای مکانیک و روش آن‌ها که ارشمیدس برای دوست خود اراتوستن فرستاده بود. موضوع این کتاب مقایسه حجم یا سطح نامعلوم شکلی با حجم‌ها و سطوح معلوم اَشکال دیگر است که به‌وسیله آن ارشمیدس موفق به تعیین نتیجه مطلوب می‌شد.
از نکات علمی ارشمیدس روش‌های محاسبه اوست. وی دو هزار سال قبل از اسحاق نیوتن و لایب‌نیتس موفق به اختراع حساب انتگرال شد و حتی در حل یکی از مسائل خویش نکته‌ای به کار برد که می‌توان او را از پیش‌گامان فکر ایجاد حساب دیفرانسیل دانست.
بزرگ‌ترین فعالیت‌ها

تعیین عدد پی
ساخت قرقره ارشمیدس
قانون چگالی در مایعات
نمای سه‌بُعدی پیچ ارشمیدس
ساعتلوی کوه

| ساعتلوی کوه ساعلتوی کوه | ساعتلوی کوه ساعلتوی کوه |
| --- | --- |
روستا: روستا
کشور: ایران
استان: آذربایجان غربی
شهرستان: ارومیه
بخش: بخش مرکزی
دهستان: باراندوز
جمعیت (1400): ۳۷۱ نفر (سرشماری ۹۵)
ساعتلوی کوه، روستایی از توابع بخش مرکزی شهرستان ارومیه استان آذربایجان غربی ایران است.
جمعیت

این روستا در دهستان باراندوز قرار داشته و بر اساس سرشماری سال ۱۳۸۵ جمعیّت 620نفر (110خانوار)
بوده‌است.
زبان روستا به کوردی
از دو  طایفه بزرگ ایل هرکی تشکیل شده است
هرکی ماله قره رشی
هرکی مام ابراهیم
بیشتر جمعیت این روستا از عشیر هرکی ماله قره رشی هستن
فهرست زبان‌های برنامه‌نویسی

این فهرست، شامل همه زبان‌های برنامه‌نویسی مهم می‌باشد.
| 0 | 1 | 2 |
| --- | --- | --- |
| فهرست: |  |  آ ا ب پ ت ث ج چ ح خ د ذ ر ز ژ س ش ص ض ط ظ ع غ ف ق ک گ ل م ن و ه ی   |
A

سامانه‌ای–۰
ای+ (زبان برنامه‌نویسی)
آباپ
زبان برنامه‌نویسی ای‌بی‌سی
ای‌سی‌سی (زبان برنامه‌نویسی)
اکشن!
اکشن‌اسکریپت
ایدا (زبان برنامه‌نویسی)
سامانه مدل‌سازی چندبعدی تعاملی پیشرفته
زبان برنامه‌نویسی تابعی منطقی جبری
الگول ۶۰
الگول۶۸
الگول دبلیو
آلیس (زبان برنامه‌نویسی)
ای‌پی‌ال
اپل اسکریپت
اسپکت‌جی
زبان اسمبلی
AWK
صفحه‌های سرور فعال
B

بی (زبان برنامه‌نویسی)
Babbage
بش (پوسته)
بیسیک
بی‌سی (زبان برنامه‌نویسی)
بی‌سی‌پی‌ال
پوسته بین
Batch (Windows/Dos)
برتراند
بتا
بلیس (زبان برنامه‌نویسی)
Blockly
BlooP
بو (زبان برنامه‌نویسی)
بومرنگ (زبان برنامه‌نویسی)
پوسته بورن
C

سی (زبان برنامه‌نویسی)
سی--
سی پلاس‌پلاس – ISO/IEC 14882
سی شارپ – ISO/IEC 23270
C/AL
Caché ObjectScript
سی شل
Caml
Cayenne
CDuce
Cecil
Cesil
Céu
سیلان (برنامه‌نویسی)
CFEngine
CFML
Cg
Ch
Chapel
چریتی (زبان برنامه‌نویسی)
Charm
CHILL
CHIP-8
chomski
ChucK
Cilk
Citrine
CL (IBM)
Claire
Clarion
Clean
Clipper
CLIPS
CLIST
کلوژر
سی‌ال‌یو
سی‌ام‌اس-۲ (زبان برنامه‌نویسی)
کوبول – ISO/IEC 1989
CobolScript – COBOL Scripting language
Cobra
CODE
کافی‌اسکریپت
کلد فیوژن
COMAL
سی‌پی‌ال (زبان برنامه‌نویسی) (CPL)
COMIT
زبان میانی مشترک (CIL)
لیسپ معمولی (also known as CL)
COMPASS
Component Pascal
سی‌اچ‌آر (CHR)
COMTRAN
Converge
کول (زبان برنامه‌نویسی)
Coq
Coral 66
CorVision
COWSEL
سی‌پی‌ال (زبان برنامه‌نویسی)
Cryptol
Crystal
Csound
CSP
کودا
کرل (زبان برنامه‌نویسی)
کیوری
Cybil
Cyclone
سایتون
کربن
D

دی (زبان برنامه‌نویسی)
DASL (Datapoint's Advanced Systems Language)
دارت (زبان برنامه‌نویسی)
Darwin
دیتافلکس
دیتالاگ
DATATRIEVE
dBase
dc
DCL
Deesel (formerly G)
دلفی (زبان برنامه‌نویسی)
دینک اسمالوود
DIBOL
Dog
Draco
DRAKON
Dylan
DYNAMO
E

E
Ease
پی‌ال/۱
EASYTRIEVE PLUS
ECMAScript
Edinburgh IMP
EGL
ایفل (زبان برنامه‌نویسی)
ELAN
الیکسیر (زبان برنامه‌نویسی)
Elm
ایمکس لیسپ
Emerald
Epigram
EPL (Easy Programming Language)
ارلنگ
آرسی
اشر (زبان برنامه‌نویسی)
ESPOL
Esterel
Etoys
Euclid
Euler
Euphoria
EusLisp Robot Programming Language
CMS EXEC (EXEC)
EXEC 2
Executable UML
F

اف (زبان برنامه‌نویسی)
اف شارپ
F*
زبان برنامه‌نویسی فکتور
فالکن
فانتوم (زبان برنامه‌نویسی)
FAUST
FFP
فجولنیر (زبان برنامه‌نویسی)
اف‌ال (زبان برنامه‌نویسی)
Flavors
Flex
FlooP
FLOW-MATIC
FOCAL
FOCUS
FOIL
FORMAC
فرمولا
Forth
فورترن – ISO/IEC 1539
فورترس
ویژوال فاکس‌پرو
فاکس پرو
FP
Franz Lisp
Frege
F-Script
G

جی کد
گیم میکر
GameMonkey Script
GAMS
GAP
جی کد
گادو (موتور بازی)
Genie
GDL
GJ
GEORGE
GLSL
GNU E
چرخه حیات نرم‌افزار
گو (زبان برنامه‌نویسی)
Go!
GOAL
گودل (زبان برنامه‌نویسی)
Golo
GOM (Good Old Mad)
Google Apps Script
Gosu
GOTRAN
GPSS
سی‌اس‌سی
GRASS
گرووی (زبان برنامه‌نویسی)
H

هک (زبان برنامه‌نویسی)
HAGGIS
HAL/S
Halide (programming language)
Hamilton C shell
Harbour
Hartmann pipelines
هسکل (زبان برنامه‌نویسی)
Haxe
Hermes
High Level Assembly
HLSL
Hop
Hopscotch
Hope
Hugo
Hume
HyperTalk
•Haskal
I

IBM Basic assembly language
IBM HAScript
IBM Informix-4GL
آی‌بی‌ام آرپی‌جی
ICI
آیکون (زبان برنامه‌نویسی)
Id
IDL
Idris
آی‌ام‌پی (زبان برنامه‌نویسی)
Inform
Interlisp
آی‌او (زبان برنامه‌نویسی)
Ioke
زبان پردازش داده ها(IPL)
IPTSCRAE
ISLISP
ISPF
آی‌سوییم (زبان برنامه‌نویسی)
J

جی (زبان برنامه‌نویسی)
جی‌شارپ
ویژوال جی++
JADE
JAL
Janus (concurrent constraint programming language)
Janus (time-reversible computing programming language)
JASS
جاوا (زبان برنامه‌نویسی)
جاوااسکریپت
JCL
JEAN
Join Java
JOSS
Joule
JOVIAL
Joy
جی‌اسکریپت
جی‌اسکریپت دات‌نت
JavaFX Script
جولیا
جایتون
K

K
Kaleidoscope
Karel
Karel++
KEE
KiXtart
Klerer-May System
KIF
Kojo
کاتلین
KRC
KRL
KRL (کا یو کآ Robot Language)
KRYPTON
ksh
Kodu
L

L
لب‌ویو
Ladder
Lagoona
LANSA
Lasso
لاتک
Lava
LC-3
Leda
Legoscript
LIL
لیلی‌پاند
لیمبو (زبان برنامه‌نویسی)
Limnor
LINC
لینگو (زبان برنامه‌نویسی)
LIS
LISA
Lisaac
لیسپ – ISO/IEC 13816
Lite-C
Lithe
Little b
لوگو (زبان برنامه‌نویسی)
Logtalk
LotusScript
ال‌پی‌سی (زبان برنامه‌نویسی)
LSE
LSL
LiveCode
LiveScript
لوآ (زبان برنامه‌نویسی)
Lucid
Lustre
LYaPAS
Lynx
M

M2000
M2001
M4
M#
کد ماشین
MAD (Michigan Algorithm Decoder)
MAD/I
Magik
Magma
Make
Maude system
میپل
MAPPER (now part of BIS)
MARK-IV (now VISION:BUILDER)
Mary
مایکروسافت ماکرو اسمبلر
MATH-MATIC
متمتیکا
متلب
مکسیما (see also Macsyma)
Max (Max Msp – Graphical Programming Environment)
تری‌دی‌اس‌مکس internal language 3D Studio Max
Maya (MEL)
MDL
مرکوری (زبان برنامه‌نویسی)
Mesa
فراقلم
ام‌کیوال۴
MHEG-5 (Interactive TV programming language)
Microcode
MicroScript
MIIS
Milk (programming language)
MIMIC
Mirah
میراندا (زبان برنامه‌نویسی)
MIVA Script
ام‌ال (زبان برنامه‌نویسی)
Model 204
Modelica
مادولا (زبان برنامه‌نویسی)
Modula-2
ماجولا ۳
Mohol
MOO
Mortran
Mouse
MPD
مت‌کد
MSIL – deprecated name for زبان میانی مشترک
MSL
MUMPS
موپد
Mystic Programming Language (MPL)
N

نت‌واید اسمبلر
Napier88
Neko
Nemerle
nesC
NESL
Net.Data
NetLogo
NetRexx
NewLISP
NEWP
Newspeak
NewtonScript
NGL
Nial
Nice
Nickle (NITIN)
Nim
NPL
Not eXactly C (NXC)
Not Quite C (NQC)
NSIS
Nu
NWScript
NXT-G
O

o:XML
Oak
Oberon
OBJ2
Object Lisp
ObjectLOGO
Object REXX
آبجکت پاسکال
آبجکتیو-سی
Objective-J
Obliq
اکمل
occam
occam-π
گنو آکتیو
OmniMark
Onyx
اوپا
اوپال (زبان برنامه‌نویسی)
اوپن‌سی‌ال
OpenEdge ABL
OPL
OpenVera
اوپی‌اس۵
OptimJ
Orc
ORCA/Modula-2
Oriel
Orwell
Oxygene
Oz (زبان برنامه‌نویسی)
P

P′′
P#
ParaSail (programming language)
PARI/GP
پاسکال (زبان برنامه‌نویسی) – ISO 7185
PCASTL
PCF
PEARL
PeopleCode
پرل
PDL
Perl 6
فارو (زبان برنامه‌نویسی)
پی‌اچ‌پی
پیکو (زبان برنامه‌نویسی)
Picolisp
Pict
Pike
PIKT
PILOT
Pipelines
پیتزا (زبان برنامه‌نویسی)
PL-11
پی‌ال/۰
PL/B
پی ال/سی
پی‌ال/۱ – ISO 6160
PL/M
PL/P
پی‌ال/اس‌کیوال
PL360
PLANC
پلن‌کلکولوس
پلانر
PLEX
PLEXIL
پلاس (زبان برنامه‌نویسی)
POP-11
POP-2
پست‌اسکریپت
PortablE
Powerhouse
پاوربیلدر – 4GL GUI application generator from Sybase
ویندوز پاورشل
PPL
Processing
Processing.js
پروگراف
PROIV
پرولوگ
PROMAL
Promela
PROSE modeling language
پروتل (زبان برنامه‌نویسی)
ProvideX
Pro*C
Pure
Pure Data
پایتون (زبان برنامه‌نویسی)
Q

Q (equational programming language)
Q (programming language from Kx Systems)
Qalb
کیو بیسیک
QtScript
QuakeC
QPL
R

آر (زبان برنامه‌نویسی)
R++
دکتر اسکیم
RAPID
Rapira
Ratfiv
رتفور (زبان برنامه‌نویسی)
آرسی
ریبل
Red
Redcode
REFAL
Reia
REXX
Ring
Rlab
ROOP
آی‌بی‌ام آرپی‌جی
RPL
RSL
RTL/2
روبی (زبان برنامه‌نویسی)
RuneScript
راست (زبان برنامه‌نویسی)
S

S
S2
S3
S-Lang
S-PLUS
SA-C
SabreTalk
SAIL
SALSA
SAM76
ساس (نرم‌افزار)
SASL
Sather
Sawzall
SBL
اسکالا
اسکیم
سایلب
اسکرچ
Script.NET
Sed
Seed7
سلف (زبان برنامه‌نویسی)
SenseTalk
SequenceL
SETL
SIMPOL
SIGNAL
SiMPLE
SIMSCRIPT
سیمولا
سیمیولینک
Singularity
SISAL
SLIP
SMALL
اسمال‌تاک
مایکروسافت اسمال بیسیک
استاندارد ام‌ال
Strongtalk
اسنپ! (زبان برنامه‌نویسی)
اسنوبول(SPITBOL)
Snowball
SOL
Solidity
SPARK
Speedcode
SPIN
SP/k
SPS
SQR
Squeak
Squirrel
SR
S/SL
Stackless Python
Starlogo
Strand
Stata
Stateflow
Subtext
SuperCollider
SuperTalk
سوئیفت (زبان برنامه‌نویسی)
Swift (parallel scripting language)
SYMPL
SyncCharts
SystemVerilog
T

T
TACL
TACPOL
TADS
TAL
تی‌سی‌ال
Tea
تیکو (ویرایشگر متنی)
TELCOMP
تک (نرم‌افزار)
TEX
TIE
Timber
TMG, compiler-compiler
تام (زبان تطبیق الگو)
TOM
Toi
Topspeed
TPU
Trac
TTM
تی اس کیو ال
Transcript
TTCN
تورینگ (زبان برنامه‌نویسی)
TUTOR
TXL
تایپ‌اسکریپت
U

Ubercode
UCSD Pascal
Umple
Unicon
Uniface
UNITY
پوسته یونیکس
آنریل (موتور بازی)
V

والا (زبان برنامه‌نویسی)
Verilog
وی‌اچ‌دی‌ال
ویژوال بیسیک
ویژوال بیسیک دات‌نت
دیتافلکس
Visual DialogScript
فورترن
ویژوال فاکس‌پرو
ویژوال جی++
ویژوال جی++
Visual Objects
ویژوال پرولوگ
VSXu
vvvv
W

WATFIV, WATFOR
WebDNA
WebQL
Whiley
ویندوز پاورشل
Winbatch
Wolfram Language
Wyvern
X

X10
ایکس‌بی‌ال
XC (exploits XMOS architecture)
xHarbour
اکس‌ال (زبان برنامه‌نویسی)
Xojo
XOTcl
XPL
XPL0
اکس‌کوئری
XSB
XSharp
تبدیلات اکس‌اس‌ال – see اکس‌پت
Xtend
Xanthin
X++
Y

Yorick
YQL
Yoix
Z

Z notation
زنو (زبان برنامه‌نویسی)
ZOPL
زی شل
ZPL
| 0 | 1 | 2 |
| --- | --- | --- |
| فهرست: |  | Top   آ ا ب پ ت ث ج چ ح خ د ذ ر ز ژ س ش ص ض ط ظ ع غ ف ق ک گ ل م ن و ه ی   |
پیوندهای وابسته

زبان‌های برنامه‌نویسی محرمانه
مقایسه زبان‌های برنامه‌نویسی
فهرست‌های زبان‌های برنامه‌نویسی
Hello World in various programming languages
List of BASIC dialects
List of BASIC dialects by platform
List of markup languages
رافائل مارکز مندز

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

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

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

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

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

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

«ملکه شب» (به انگلیسی: Queen of the Night) تک‌آهنگی از ویتنی هیوستون است که در سال ۱۹۹۳ میلادی منتشر شد. این تک‌آهنگ در آلبوم محافظ شخصی: موسیقی متن اصلی قرار داشت.
وراکریپت

| 0 | 1 |
| --- | --- |
وراکریپت ۱٫۱۷ در ویندوز 10: وراکریپت ۱٫۱۷ در ویندوز 10
توسعه‌دهنده(ها): IDRIX (مستقر در پاریس، فرانسه)
انتشار اولیه: ۲۲ ژوئن ۲۰۱۳؛ ۱۱ سال پیش (۲۰۱۳-22}})
مخزن: www.veracrypt.fr/code/VeraCrypt/  
نوشته‌شده با: سی، سی++, اسمبلی
سیستم‌عامل:  ویندوز XP و بالاتر  ویندوز سرور ۲۰۰۳–۲۰۱۲  مک‌اواس ۱۰٫۷ و جدیدتر  لینوکس  فری‌بی‌اس‌دی 
پلت‌فرم: IA-32, x86-64, AArch64 and armhf
در دسترس به: 40 زبان
نوع: نرم‌افزار رمزگذاری دیسک
مجوز: دارای مجوز چندگانه به عنوان مجوز آپاچی ۲٫۰ و مجوز تروکریپت 3.0
وبگاه: www.veracrypt.fr/en/Home.html
وراکریپت  (به انگلیسی: VeraCrypt) یک ابزار آزاد متن‌باز برای رمزنگاری دیسک یا به اصطلاح رمزگذاری در حین پرواز (OTFE) است. این نرم‌افزار می‌تواند یک دیسک رمزگذاری شده مجازی ایجاد کند که درست مانند یک دیسک معمولی اما در یک فایل کار می‌کند. همچنین می‌تواند یک پارتیشن یا (در ویندوز) کل دستگاه ذخیره‌سازی را با احراز هویت پیش از راه‌اندازی رمزگذاری کند.
وراکریپت انشعابی از پروژه متوقف شده تروکریپت است. در ابتدا در ۲۲ ژوئن ۲۰۱۳ منتشر شد. بسیاری از پیشرفت‌های امنیتی پیاده‌سازی شده‌اند و نگرانی‌ها در ممیزی کد تروکریپت برطرف شده‌است. وراکریپت شامل بهینه‌سازی‌هایی برای توابع هش رمزنگاری و رمزنگاری‌های اصلی است که عملکرد را در CPUهای مدرن افزایش می‌دهد.
طرح رمزگذاری

وراکریپت از AES، Serpent، توفیش، Camellia و Kuznyechik به عنوان رمز استفاده می‌کند. نسخه ۱٫۱۹ استفاده از رمز ماگما را در پاسخ به ممیزی امنیتی متوقف کرد. برای امنیت بیشتر، ده ترکیب مختلف از الگوریتم‌های آبشاری موجود است:
AES–توفیش
AES–توفیش–Serpent
کاملیا-کوزنیچیک
کاملیا-Serpent
Kuznyechik–AES
Kuznyechik–Serpent–Camellia
Kuznyechik – توفیش
Serpent – AES
Serpent–توفیش–AES
توفیش–Serpent
توابع هش رمزنگاری موجود برای استفاده در وراکریپت عبارتند از RIPEMD-160، SHA-256، SHA-512، Streebog و Whirlpool.
حالت عملیات رمز بلوکی وراکریپت XTS است. این کلید هدر و کلید هدر ثانویه (حالت XTS) را با استفاده از PBKDF2 با نمک ۵۱۲ بیتی تولید می‌کند. به‌طور پیش‌فرض، بسته به تابع هش اصلی مورد استفاده، بین ۲۰۰۰۰۰ تا ۶۵۵۳۳۱ تکرار انجام می‌شوند. کاربر می‌تواند آن را سفارشی کند تا از ۲۰۴۸ شروع شود.