cyanic-selkie/wikianc huggingface dataset:
حساب لامبدا
کلیات
۵
عبارات لامبدا β معادل هستند. از آنجا که اضافه کردن m به عدد n می‌توان با اضافه کردن 1 m بار، تعریف معادل آن است: PLUS: = λm. λn.m SUCC n
به‌طور مشابه، ضرب می‌تواند به صورت زیر تعریف شود
MULT: = λm. λn. λf.m (n f)
MULT: = λm. λn.m (PLUS n) 0
از آنجا که ضرب m و n همانند تکرار تابع add n تابع m است و سپس آن را به صفر اعمال می‌کند. انحراف در عبارات church نسبتاً پیچیده‌است.
POW: = λb. λe.e b
عملکرد پیشینی تعریف شده توسط PRED n = n-1 برای یک عدد صحیح مثبت n و PRED 0 = ۰ به مراتب سخت‌تر است. فرمول
PRED: = λn. λf. λx.n (λg. λh.h (g f)) (λu.x) (λu.u)
می‌توان با نشان دادن الگویی که اگر T نامیده می‌شود (λg. λh.h (gf)), T (n) (λu.x) = (λh.h (f (n-1) (x))) برای n> 0. دو تعریف دیگر از PRED در زیر آمده‌است، یکی با استفاده از شرط و دیگری با استفاده از جفت. با عملکرد پیشین، تفریق ساده است. تعریف کردن
SUB: = λm. λn.n PRED m،
SUB m n بازده m - n زمانی که m> n و ۰ در غیر این صورت.
منطق و پیش فرض‌ها
به‌طور مشترک، دو تعریف زیر (به نام کلیسای booleans) برای مقادیر بولین TRUE و FALSE استفاده می‌شود:
TRUE: = λx. λy.x
FALSE: = λx. λy.y
(توجه داشته باشید که FALSE برابر با عدد صفر کلیسا است که در بالا تعریف شده‌است)
سپس با استفاده از این دو λ-term، می‌توانیم برخی از اپراتورهای منطقی را تعریف کنیم (این فقط فرمول‌های ممکن است؛ عبارات دیگر به همان اندازه صحیح هستند):
AND := λp. λq.p q p
OR := λp. λq.p p q
NOT := λp.p FALSE TRUE
IFTHENELSE := λp. λa. λb.p a b
اکنون می‌توانیم برخی از توابع منطقی را محاسبه کنیم، مثلاً:
TRUE FALSE
≡ (λp. λq.p q p) TRUE FALSE →β TRUE FALSE TRUE
≡ (λx. λy.x) FALSE TRUE →β FALSE
و ما می‌بینیم که عدد درست عدد برابر با FALSE است.
یک پیش‌فرض یک تابع است که مقدار boolean را بازمی‌گرداند. اساسی‌ترین اساسی ISZERO است، که اگر علامت آن عدد کلیسای عدد ۰ باشد، عدد را درست می‌کند، و علامت FALSE اگر علامت دیگری باشد، عدد کلیسای دیگری است:
ISZERO: = λn.n (λx.FALSE) درست است.
پیش فرض زیر تست می‌کند که آیا آرگومان اول کمتر از نسبت یا برابر با دوم است:
LEQ: = λm. λn.ISZERO (SUB m n)،
و از آنجا که m = n، اگر LEQ m n و LEQ n m باشد، ساختن پیش‌فرض برای برابری عددی ساده است.
در دسترس بودن پیش فرض‌ها و تعریف بالا از TRUE و FALSE، آن را مناسب برای بیان عبارات "if-then-else" در محاسبات لامبدا ایجاد کنید. برای مثال، تابع پیشینی را می‌توان به صورت زیر تعریف کرد:
PRED: = λn.n (λg. λk.ISZERO (g 1) k (PLUS (g k) 1)) (λv 0) 0
جفت
یک جفت (2-tuple) را می‌توان از نظر TRUE و FALSE تعریف کرد، با استفاده از کلیسای رمزگذاری برای جفت‌ها. به عنوان مثال، PAIR جفت (x, y) را محاسبه می‌کند، FIRST اولین عنصر جفت را باز می‌کند و SECOND دوم را بازمی‌گرداند.
PAIR := λx. λy. λf.f x y
FIRST := λp.p TRUE
NIL := λx.TRUE
یک لیست مرتبط را می‌توان به عنوان NIL برای لیست خالی یا PAIR یک عنصر و یک لیست کوچکتر تعریف کرد. آزمون NULL پیش‌فرض برای مقدار NIL. (به جای آن، با NIL: = FALSE، ساختار l (λh. λt. λz.deal_with_head_h_and_tail_t) (deal_with_nil) نیاز به یک آزمون NULL صریح را از بین می‌برد).
به عنوان مثال استفاده از جفت، تابع shift و increment کهm,n))به(n,n+1) می‌توان تعریف کرد به عنوان
Φ: = λx.PAIR (SECOND x) (SUCC (SECOND x))
که به ما اجازه می‌دهد تا شاید نسخه شفاف تابع سلف:
PRED: = λn.FIRST (n Φ (PAIR 0)).
ر کوردها و نقاط ثابت
Recursion تعریف یک تابع با استفاده از تابع خود است. محاسبات لامبدا نمی‌تواند این را به‌طور مستقیم به عنوان برخی از نشانه‌های دیگر بیان کند: تمام توابع در محاسبات لامبدا ناشناس هستند، بنابراین ما نمی‌توانیم به یک مقدار که هنوز تعریف شده‌است، در داخل عبارت لامبدا تعریف کنیم که همان مقدار است. با این وجود، می‌توان از طریق برگزاری یک عبارت لامبدا برای بازگشت خود به عنوان ارزش استدلال خود، به عنوان مثال در (λx.xx) E. دریافت کرد.
تابع فاکتوریل F (n) را به صورت بازگشتی به وسیلهٔ تعریف می‌کنیم
F(n) = 1, if n = 0; else n × F(n − ۱)
در بیان لامبدا که برای نشان دادن این تابع است، پارامتر (به‌طور پیش‌فرض اول) فرض می‌شود که خودش را به عنوان مقدار خود دریافت می‌کند، به‌طوری‌که فراخوانی آن - استفاده از آن به یک استدلال - به مقدار بازگشتی تبدیل می‌شود؛ بنابراین برای رسیدن به بازگشت، استدلال در نظر گرفته شده به عنوان خود ارجاع (به نام r اینجا) همیشه باید در داخل بدن تابع در یک نقطه تماس منتقل شود:
G := λr. λn.(1, if n = 0; else n × (r r (n−۱)))
with r r x = F x = G r x to hold, so r = G and
F := G G = (λx.x x) G
خود نرم‌افزار در اینجا تکرار می‌کند، بیانگر لامبدا تابع را به فراخوانی بعدی به عنوان یک مقدار استدلال انتقال می‌دهد، و آن را در دسترس برای ارجاع و فراخوانی در آنجا قرار می‌دهد.
این را حل می‌کند اما نیاز به نوشتن هر تماس مجدد را به عنوان خود برنامه کاربردی دارد. ما می‌خواهیم یک راه حل عمومی بدون نیاز به نوشتن مجدد داشته باشیم:
G := λr. λn.(1, if n = 0; else n × (r (n−۱)))
with r x = F x = G r x to hold, so r = G r =: FIX G and
F := FIX G where FIX g := (r where r = g r) = g (FIX g)
so that FIX G = G (FIX G) = (λn.(1, if n = 0; else n × ((FIX G) (n−۱))))
با توجه به یک اصطلاح لامبدا با اولین آرگومان که نشانگر فراخوانی بازگشتی است (به عنوان مثال G در اینجا)، ترکیبی FIX نقطه ثابت یک بیان لامبدا خود تکراری را نشان می‌دهد که نشانگر تابع بازگشتی (در اینجا، F) است. این تابع به هیچ وجه نباید صریحاً به خود منتقل شود، زیرا خود تکرار به صورت پیشفرض تنظیم می‌شود، زمانی که آن ایجاد می‌شود، هر بار که آن را فراخوانی می‌شود؛ بنابراین بیان اصلی لامبدا (FIX G) در داخل خود، در نقطه تماس، دستیابی به خود ارجاع ایجاد می‌شود.
در حقیقت، بسیاری از تعاریف ممکن برای این اپراتور FIX، ساده‌ترین آن‌ها وجود دارد:
Y: = λg. (λx.g (xx)) (λx.g (xx))
در محاسبات لامبدا، Yg یک نقطه ثابت از g است، به عنوان گسترش به:
حالا، برای فراخوانی بازگشتی ما به تابع فاکتوریل، ما به سادگی می‌توانیم (Y G) n, where n تعدادی است که فاکتوریل را محاسبه می‌کنیم. به عنوان مثال، با توجه به n = ۴، این می‌دهد:
(Y G) 4
G (Y G) 4
(λr. λn.(1, if n = 0; else n × (r (n−1)))) (Y G) ۴
۴ × (G (Y G) (4−۱))
۴ × ((λn.(1, if n = 0; else n × ((Y G) (n−۱)))) (۴−۱))
۴ × (۳ × (G (Y G) (3−۱)))
۴ × (۳ × ((λn.(1, if n = 0; else n × ((Y G) (n−۱)))) (۳−۱)))
۴ × (۳ × (1, if ۲ = 0; else ۲ × ((Y G) (2−۱))))
۴ × (۳ × (۲ × (G (Y G) (2−۱))))
۴ × (۳ × (۲ × ((λn.(1, if n = 0; else n × ((Y G) (n−۱)))) (۲−۱))))
۴ × (۳ × (۲ × (1, if ۱ = 0; else ۱ × ((Y G) (1−۱)))))
۴ × (۳ × (۲ × (۱ × (G (Y G) (1−۱)))))
۴ × (۳ × (۲ × (۱ × ((λn.(1, if n = 0; else n × ((Y G) (n−۱)))) (۱−۱)))))
۴ × (۳ × (۲ × (۱ × (1, if ۰ = 0; else ۰ × ((Y G) (0−۱))))))
۴ × (۳ × (۲ × (۱ × (۱))))
۲۴
هر تابع تعریف بازگشتی را می‌توان به عنوان یک نقطه ثابت از برخی از تابع تعریف شده مناسب تعریف شده در تماس فراخوان با یک استدلال اضافی دیده می‌شود و بنابراین، با استفاده از Y، هر تابع تعریف بازگشتی را می‌توان به عنوان بیان لامبدا بیان کرد. به‌طور خاص، اکنون می‌توانیم تفکیک، ضرب و محاسبه مقادیر عدد طبیعی را به صورت مجزا تعریف کنیم.
شرایط استاندارد
اصطلاحات خاصی نام‌های رایج دارند:
I: = λx.x
K: = λx. λy.x
S: = λx. λy. λz.x z (y z)
B: = λx. λy. λz.x (y z)
C: = λx. λy. λz.x z y
W: = λx. λy.x y y
U: = λx. λy.y (x x y)
ω: = λx.x x
Ω: = ω ω
محاسبات لامبدا تایپ شده
یک محاسبات لامبدا تایپ شده یک فرمالیسم تایپی است که از نماد لامبدا ({\ displaystyle \ lambda} \ lambda) برای انتساب تابع ناشناس استفاده می‌کند. در این زمینه، انواع معمولاً اشیاء طبیعت نحوی هستند که به شرایط لامبدا اختصاص دارند؛ نوع دقیق یک نوع بستگی به محاسبات دارد (نگاه کنید به انواع زیر). از دیدگاه خاص، محاسبات لامبدا تایپ شده را می‌توان به عنوان اصلاحاتی از محاسبات لامبدا غیرتصویر مشاهده کرد، اما از دیدگاه دیگر، آن‌ها همچنین می‌توانند تئوری بنیادی تر و محاسبات لامبدا با استفاده از یک مورد خاص با تنها یک نوع در نظر گرفته شوند.
زبان‌های تایپ شده لامبدا زبان‌های برنامه‌نویسی پایه هستند و پایه زبان‌های برنامه‌نویسی کارکردی مانند ML و Haskell و غیرمستقیم زبان‌های برنامه‌نویسی ضروری را تایپ می‌کنند. Calibles lambda تایپ شده نقش مهمی در طراحی سیستم‌های نوع زبان‌های برنامه‌نویسی بازی می‌کند. در اینجا typability معمولاً ویژگی‌های مطلوب برنامه را ضبط می‌کند، برای مثال برنامه باعث نقض دسترسی به حافظه نمی‌شود.
توابع قابل محاسبه و محاسبات لامبدا
یک تابع F: N → N از اعداد طبیعی یک تابع قابل محاسبه است اگر و فقط اگر یک عبارت lambda f وجود دارد به‌طوری‌که برای هر جفت x, y در N, F (x) = y اگر و فقط اگر fx = β y، جایی که x و y عددهای church مربوط به x و y هستند و به ترتیب β = β معادل بودن با کاهش بتا است. این یکی از روش‌های بسیاری برای تعریف محاسبات است. دیدگاه کلیسون تورینگ را برای بحث در مورد رویکردهای دیگر و همسانیشان ببینید.
عدم قطعیت برابر بودن
هیچ الگوریتمی وجود ندارد که به عنوان ورودی دو علامت لامبدا و خروجی TRUE یا FALSE را در نظر بگیرد که آیا دو عبارت برابر هستند یا نه. این مسئله از لحاظ تاریخی اولین مشکل بود که قابل اثبات نیست. همان‌طور که برای اثبات غیرقابل انکار بودن معمول است، اثبات نشان می‌دهد که هیچ تابع قابل محاسبه نمی‌تواند همسان‌سازی را تعیین کند. سپس پایان‌نامه کلیسا به نشان می‌دهد که هیچ الگوریتمی نمی‌تواند این کار را انجام دهد.
اثبات کلیسا برای اولین بار مشکل را برای تعیین اینکه آیا یک لامبدا داده شده به شکل نرمال است، کاهش می‌دهد. یک فرم عادی بیان معادل است که نمی‌تواند تحت قوانینی که توسط فرم اعمال می‌شود کاهش یابد. سپس فرض می‌کند که این پیش‌فرض قابل محاسبه است و بنابراین می‌تواند در محاسبات لامبدا بیان شود. بر اساس کار قبلی Kleene و ساخت شماره Gödel برای عبارات لامبدا، او یک عبارت لامبدا را ایجاد می‌کند که دقیقاً به اثبات اولین قضیه ناقص گودل می‌رسد. اگر e به شماره Gödel خود اعمال شود، یک تضاد حاصل می‌شود.
محاسبات لامبدا و زبان‌های برنامه‌نویسی
همان‌طور که توسط مقاله پیتر لندن در سال ۱۹۶۵ ذکر شده‌است A Correspondence between ALGOL 60 and Lambda-notation کلیسا، زبان برنامه‌نویسی رویه‌های متوالی را می‌توان از طریق محاسبات لامبدا، که مکانیسم اولیه برای انتزاع رویه و برنامه (زیر برنامه) کاربرد را فراهم می‌کند.
توابع ناشناس
به عنوان مثال، در Lisp تابع 'مربع' می‌تواند به صورت بیان lambda به صورت زیر بیان شود:
(لامبدا (x) (* x x))
مثال فوق یک عبارت است که به یک تابع کلاس اول ارزیابی می‌شود. نماد lambda تابع ناشناس ایجاد می‌کند، با توجه به لیستی از نام‌های پارامتر، (x) - فقط یک آرگومان در این مورد و یک عبارت است که به عنوان بدن تابع (* x x) ارزیابی می‌شود. توابع ناشناس گاهی اوقات عبارات لامبدا نامیده می‌شود.
به عنوان مثال، پاسکال و بسیاری از زبان‌های ضروری دیگر، از طریق مکانیزم اشاره گرهای عملکرد، مدت زمان پشتیبانی از زیر برنامه‌ها را به عنوان استدلال برای دیگر برنامه‌های زیر پشتیبانی می‌کنند. با این حال، دستورالعمل‌های تابع شرایط کافی برای توابع به عنوان نوع داده‌های کلاس اول نیستند، زیرا یک تابع نوع داده کلاس اول است اگر و تنها اگر نمونه‌های جدیدی از تابع در زمان اجرا ایجاد شود؛ و این ایجاد زمان اجرای توابع در Smalltalk، جاوا اسکریپت، و اخیراً در Scala, Eiffel ("عوامل")، C # ("نمایندگان") و C ++ 11 در میان دیگر پشتیبانی می‌شود.
استراتژی کاهش
برای جزئیات بیشتر در مورد این موضوع، به استراتژی ارزیابی مراجعه کنید.
این که آیا یک اصطلاح عادی است یا خیر، و چه مقدار کار باید انجام شود در عادی‌سازی آن، در صورت وجود، به شدت به استراتژی کاهش استفاده بستگی دارد. تمایز بین استراتژی‌های کاهش شامل تمایز در زبان‌های برنامه‌نویسی کاربردی بین ارزیابی مشتاق و ارزیابی تنبل است.
کاهش بتا کامل
هر گونه بازدهی می‌تواند در هر زمان کاهش یابد. این بدان معنی است که اساساً فقدان استراتژی کاهش خاص، با توجه به کاهش پذیری، «تمام شرط‌ها خاموش است».
سفارش کاربردی
راست‌ترین، بازخورد بیرونی همیشه اولین بار کاهش می‌یابد. به‌طور مستقیم این به این معنی است که استدلال‌های تابع همیشه قبل از تابع خود کاهش می‌یابد. دستور Applicatory همیشه تلاش می‌کند تا توابع را به فرم‌های معمول اعمال کند، حتی اگر این امکان‌پذیر نباشد.
اکثر زبان‌های برنامه‌نویسی (از جمله Lisp, ML و زبان‌های ضروری مانند C و Java) به عنوان «سخت» توصیف می‌شوند، به این معنی که توابع اعمال شده به استدلال‌های غیرعادی غیرطبیعی هستند. این کار اساساً با استفاده از نظم اعمال انجام می‌شود، با کاهش ارزش تماس بگیرید (نگاه کنید به زیر)، اما معمولاً «ارزیابی مشتاق» نامیده می‌شود.
سفارش عادی
اولیای چپ و راست، خارج از محدوده همیشه اول کاهش می‌یابد. به عبارت دیگر، هر گاه استدلال‌ها قبل از اینکه استدلال‌ها کاهش یابد، به انتزاعی تعویض می‌شوند.
تماس با نام
به عنوان منظور عادی، اما در انتساب‌ها هیچ کاهشی انجام نمی‌شود. به عنوان مثال، λx (λx.x) x طبق این استراتژی در فرم عادی است، هرچند که حاوی redex (λx.x) x می‌باشد.
با ارزش تماس بگیرید
فقط بازخوانی‌های خارج از محدوده کاهش می‌یابد: یک مقدار بازده کاهش می‌یابد تنها زمانی که سمت راست آن به یک مقدار کاهش می‌یابد (انتزاعی متغیر یا لامبدا).
با نیاز تماس بگیرید
به عنوان مثال عادی، اما عملکرد برنامه‌های کاربردی که اصطلاحات را تکرار می‌کنند، به جای آن آرگومان نامیده می‌شود، که پس از آن فقط «هنگامی که لازم است» کاهش می‌یابد. در زمینه‌های عملی «ارزیابی تنبل» نامیده می‌شود. در پیاده‌سازی این «نام» به صورت یک اشاره گر به دست می‌آید، با استفاده از redex توسط Thunk نشان داده می‌شود.
منظور کاربردی یک استراتژی عادی نیست. مثال نمونه معمولی به شرح زیر است: تعریف Ω = ωω که در آن ω = λx.xx. این کل عبارت شامل تنها یک redex است یعنی کل عبارت؛ کاهش آن دوباره Ω است. از آنجا که این تنها کاهش موجود است، Ω دارای فرم عادی نیست (تحت هر استراتژی ارزیابی). با استفاده از نظم اعمال، بیان KIΩ = (λx. λy.x) (λx.x) Ω توسط اولین کاهش از Ω به شکل عادی کاهش می‌یابد (از آنجایی که آن مجذور راست‌ترین است)، اما از آنجا که Ω دارای فرم عادی نیست، نظم اعمال ناکافی است برای پیدا کردن یک فرم عادی برای KIΩ.
در مقابل، نظم طبیعی به اصطلاح نامیده می‌شود، زیرا اگر همیشه وجود داشته باشد، همیشه یک کاهش نرمال پیدا می‌کند. در مثال بالا، KIΩ طبق معمول به I، یک فرم عادی کاهش می‌یابد. یک نقص این است که بازنگری در استدلال ممکن است کپی شود و نتیجه محاسبات تکراری (به عنوان مثال (λx.xx) ((λx.x) y) به ((λx.x) y) ((λx.x) y) با استفاده از این استراتژی؛ در حال حاضر دو بازخوانی وجود دارد، بنابراین ارزیابی کامل نیاز به دو مرحله دارد، اما اگر این استدلال ابتدا کاهش یافته باشد، در حال حاضر هیچ‌کدام وجود ندارد).
معامله مثبت استفاده از دستور applicative این است که اگر همه استدلال‌ها مورد استفاده قرار گیرد، محاسبات غیرضروری را ایجاد نمی‌کند، زیرا هرگز استدلال‌هایی را که حاوی redexes است جایگزین نمی‌کند و بنابراین هرگز نیازی به کپی کردن آن‌ها نیست (که کار را کپی می‌کند). در مثال فوق، در برنامه کاربردی (λx.xx) ((λx.x) y) ابتدا به (λx.xx) y و سپس به حالت عادی yy کاهش می‌یابد، و به جای آن سه مرحله را می‌گیرد.
یک یادداشت در مورد پیچیدگی
در حالی که ایده کاهش بتا به اندازه کافی ساده به نظر می‌رسد، این یک گام اتمی نیست، در حالی که هنگام تخمینی پیچیدگی محاسباتی باید هزینه‌ای بی‌اهمیت داشته باشد. برای دقیق بودن، باید مکان‌یابی هر رخداد متغیر محدود V را در عبارت E پیدا کرد، یعنی یک هزینه زمانی، یا باید مسیری را از این مکان‌ها به نحوی پیگیری کرد، یعنی یک هزینه فضایی است. جستجوی ساده‌ای برای مکان‌های V در E برابر O (n) در طول n از E. این منجر به مطالعه سیستم‌هایی که از جایگزینی صریح استفاده می‌کنند. رشته‌های مدیر سینو، راهی برای ردیابی مکان‌های آزاد متغیر در عبارات ارائه می‌دهد.
همزمان‌سازی و هم‌زمان سازی
اموال church-rosser از محاسبات لامبدا به معنی آن است که ارزیابی (کاهش بتا) می‌تواند در هر جهت، حتی به صورت موازی انجام شود. این به این معنی است که استراتژی‌های ارزیابی غیرمتمرکز متفاوت هستند. با این حال، محاسبات لامبدا هیچ ساختاری صریح برای موازی ارائه نمی‌دهد. می‌توانید سازه‌هایی مانند Futures را به محاسبات لامبدا اضافه کنید. دیگر محاسبات فرایند برای توصیف ارتباطات و همگام‌سازی توسعه داده شده‌است.
معناشناسی
این واقعیت که شرایط محاسبات لامبدا در شرایط دیگر محاسبات لامبدا و حتی در خود عمل می‌کند، منجر به سوالاتی در مورد معناشناسی محاسبات لامبدا شد. آیا معنای منطقی به شرایط محاسبات لامبدا اختصاص دارد؟ معناشناسی طبیعی یافتن مجموعه‌ای D است که به صورت فضای تابع D → D عمل می‌کند. با این وجود، هیچگونه غیرقطعی مانند D ممکن است با محدودیت‌های قدرتمندی وجود داشته باشد؛ زیرا مجموعه‌ای از همه توابع از D به D دارای قدرت بیشتری نسبت به D است، مگر اینکه D یک مجموعه تک تک باشد.
در دهه ۱۹۷۰، دانا اسکات نشان داد که اگر تنها توابع پیوسته در نظر گرفته شوند، یک مجموعه یا دامنه D با ملک مورد نیاز یافت می‌شود، بنابراین یک مدل برای محاسبات لامبدا ارائه می‌شود.
منابع
1. Turing, A. M. (دسامبر ۱۹۳۷). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. JSTOR 2268280. doi:10.2307/2268280.
3. Jump up^ Moortgat, Michael (1988). Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. Foris Publications.
کت هولبرت
کتی هولبرت (زادهٔ ۱۹۵۰) یک شرط‌بند حرفه ای بازنشسته آمریکایی است. وی یکی از اولین قماربازان حرفه‌ای زن در جهان است.
زندگی
هولبرت در سال ۱۹۵۰ در یک خانواده شش فرزندی از پدری راننده و مادری پرستار زاده شد. او در ۱۵ سالگی مدرسه را رها کرد و خود را از دانشگاه گذراند. وی ابتدا در هنگام تحقیق در مورد صنعت به عنوان دستیار رهبر اقلیت مجلس سنای ایالت نیویورک، علاقه‌مند به قمار شد و یک دوره آموزشی بلک جک را گذراند و در سال ۱۹۷۷، در ۲۵ سالگی، به لاس وگاس نقل مکان کرد. او کلاسهای پوکر را برای زنان تدریس می‌کرد.
در یک زمان هولبرت افراد بالای هفتاد سال را استخدام کرد تا برای او دستگاه اسلات بازی کنند.
در سال ۲۰۱۶، وی به عنوان یکی از ۱۰۰ زن بی‌بی‌سی شناخته شد.
زندگی شخصی
هولبرت در سال ۱۹۹۰ به اختلال دو قطبی مبتلا شد. وی دو بار ازدواج کرده‌است که هر دو ازدواج به طلاق انجامید. از زمان مبارزه با سرطان، او به عنوان یک قمارباز بازنشسته شد و به عنوان یک مشاور کازینو آنلاین کار می‌کند.
موسیقی مقامی آذربایجانی
موسیقی مقامی یا موسیقی مقام (ترکی آذربایجانی: Muğam; مقام) نوعی از موسیقی عامیانه و فولکلور در موسیقی آذربایجانی است. موسیقی مقامی آذربایجانی به موازات موسیقی موسیقی دستگاهی ایرانی، موسیقی مقامی عربی و ترکی است. امّا بیشتر از همه از حیث مایه‌ها، گوشه‌ها و شعبات با موسیقی مقامی عراقی و به عقیدهٔ ژان دورینگ نزدیک‌ترین سنت به موسیقی دستگاهی ایرانی است؛ مثلاً دستگاه شور در هر دو سنت مقامی مهم است و در هر دو به شکل مشابه گسترش می‌یابد.
یونسکو در سال ۲۰۰۸ موسیقی مقامی آذربایجانی را در میراث معنوی فرهنگی بشر ثبت کرد.
همچنین فضاپیمای کاوشگر ویجر ۱ نیز قطعه‌ای از موسیقی مقام به زبان ترکی آذربایجانی را برای پخش در فضا انتخاب کرده‌است.
مقام‌ها
در سال‌های اخیر، موسیقی مقامی آذربایجانی، خود را در سنت‌های شفاهی-سازی نشان داده‌است. این سنت در قالب هفت مقام اصلی دسته‌بندی شده‌است. این هفت مقام عبارتند از :راست، سه‌گاه، شور (این سه بسیار رایج‌ترند)، شوشتر، بیات شیراز، چهارگاه، همایون و سه مقام جنبی سارنج، شهناز و نوع دیگری از چهارگاه. هر مقام با گامی سازمان‌یافته و با معنا و احساسات زنده همراه است، که در قالب مایه اجرا می‌شوند.
مقام‌های ضربی ۹ عدد هستند. حیرتی، ارسباری، سماعِ شمس، منصوریه، مانی، اوشاری، حیدری، شکستهٔ قره‌باغ، شکستهٔ قسمه.
یادداشت‌ها
<references group="*"/>
سیاست نژادی آلمان نازی
سیاست نژادی آلمان نازی مجموعه ای از سیاست‌ها و قوانینی بود که در آلمان نازی (۴۵–۱۹۳۳) بر اساس یک دکترین نژاد پرستانه خاص مبتنی بر برتری نژاد آریایی، که مدعی بود پایه‌های علمی دارد، اجرا شد. این اهداف با توسل به یکسری برنامه‌های اصلاحی به واسطه عقیم سازی اجباری و اصلاح نژادی افرادی که به عنوان انسان‌های فرومایه قلمداد می‌شدند شروع شد و با هولوکاست به اوج خود رسید.
این سیاست نازی‌ها ساکنان قدیمی آلمانی که اصالت آلمانی نداشتند را مورد هدف قرار می‌داد. قومیت‌هایی چون یهودیان «در این خط مشی به عنوان قومی سمنتیک که ریشه‌های شامی داشتند تصور می‌شدند.» کولی‌ها، «که با عناوینی چون هند-اروپایی و ساکنان شبه‌قاره هند نیز تعریف می‌شدند» به همراه اکثریت اسلاوها «از جمله لهستانی‌ها صرب‌ها و روس‌ها» و اکثریت اقوام غیر اروپایی که به عنوان اقوام غیرآریایی و فرومایه شناخته می‌شدند را شامل می‌شد.
پایه سیاست‌ها و بنیان‌گذاری برتری نژاد آریایی
نژاد برتر آریایی متصور توسط نازی‌ها انسان‌ها را از «آریایی پاک» تا «غیرآریایی‌ها» (که دون‌انسان به تصویر کشیده می‌شدند) رتبه‌بندی می‌کرد. در بالای این رتبه‌بندی، آلمانی‌ها و آریایی‌های پاک‌نژاد و دیگر مردمان ژرمن از جمله مردمان هلندی، اسکاندیناوی، و انگلیسی قرار داشتند. مردمان لاتین رتبه ای کمی پایین‌تر داشتند، اما مورد تحمل نازی‌ها قرار می‌گرفتند؛ باور بر این بود که ایتالیایی‌ها و فرانسوی‌ها حد پذیرفتنی از خون آلمانی در رگ داشتند.
این ایده که آلمانی‌ها همان نژاد برتر آریایی (به آلمانی Herrenvolk) هستند توسط دستگاه تبلیغاتی نازی‌ها به صورت گسترده تبلیغ می‌شد و توسط افراد بلدپایه رژیم نازی تکرار می‌گشت. برای نمونه، اریش کخ فرماندار نظامی اوکراین تحت اشغال آلمان نازی گفته بود:
نازی‌ها اسلاوها را از جمله دون‌انسان‌های غیرآریایی می دانستند که مستحق به برده گرفته شدن و نابودی توسط آلمانی‌ها بودند. ملیت‌های اسلاوی، از جمله اوکراینی‌ها، چک‌ها، اسلوواک‌ها، بلغارستانی‌ها، و کرووات‌ها، که با آلمانی‌های نازی همکاری می‌کردند هیچ‌گاه از نظر نژادی برای بالا رفتن تا رده آلمانی‌ها به اندازه کافی «پاک» شناخته نمی‌شدند، اما در نهایت «بهتر از دیگر اسلاوها» دانسته می‌شدند. این دیدگاه مبتنی بر نگره‌های شبه‌علمی بود که این ملیت‌ها را دارای میزان مطلوبی از خون آلمانی معرفی می‌کردند. در کشورهایی که این مردمان می‌زیستند، آلمانی‌ها گروه‌های کوچکی از مردمان غیراسلاوی که نسب آلمانی داشتند را پیدا می‌کردند؛ سپس این افراد تحت روندی قرار می‌گرفتند تا مشخص شود به اندازه کافی «ارزش نژادی» دارند یا خیر. در صورت اثبات، ایشان دوباره آلمانی می‌شدند و به زور از خانواده‌هایشان گرفته می‌شدند تا به آلمان فرستاده شده و در آنجا بزرگ شوند. طرح سری جامع برای شرق به دنبال اخراج، به برده گرفتن، و پاکسازی بیشتر مردمان اسلاوی بود. سیاست نازی‌ها در برابر ایشان در طی جنگ جهانی دوم اما تغییر عملگرایانه‌ای کرد و به ایشان اجازه داده شد تا برای جبران کمبود نیروی انسانی ارتش آلمان به ارتش وارد شوند.
دستگاه تبلیغات نازی مردمان شرق اروپا را با چهره‌هایی شبیه به مردمان آسیایی به تصویر می‌کشید، تا ایشان را نتیجه درهم‌آمیختن نژادهای اسلاوی بومی با مغول‌ها و آسیایی‌ها و نیز دون‌انسان‌هایی کنترل‌شده توسط یهودیان با کمک بلشویسم معرفی کند.
در پایین هرم نژادی نازی‌ها، غیرآریاییان شامل یهودیان، مردم بومی لهستان، صرب‌ها و دیگر اسلاوها، مردم کولی، و همچنین سیاه‌پوستان قرار داشتند. نازی‌ها در آغاز تلاش برای پاکسازی آلمان از یهودیان و کولی‌ها توسط اخراج اجباری (و بعدها نابودی) داشتند، و سیاه‌پوستان از دیگر مردم جدا می‌شدند و در نهایت توسط عقیم‌سازی اجباری نابود می‌شدند.
واسیلیس توروسیدیس
واسیلیوس «واسیلیس» توروسیدیس (؛ زادهٔ June 10, 1985) بازیکن فوتبال اهل یونان است.
وی برای تیم ملی فوتبال یونان ۹۶ بازی انجام داده و ۱۰ گل به ثمر رسانده‌است. پست تخصصی این بازیکن نیز، دفاع است.
قرط
قرط روستای کوچکی از توابع بخش کیش شهرستان بندر لنگه استان هرمزگان واقع در جنوب ایران است. از شمال دهلیز، از جنوب سیم، از مغرب لاز، و از سمت مشرق به الباغ محدود می‌گردد.
جمعیت
جمعیت آن در حدود ۳۰ نفر می‌باشد. مردم این روستا از نژاد عرب و اهل سنت از شاخه حنبلی هستند. ساکنان این روستا به زبان عربی تکلم می‌کنند. اهالی روستا از طریق صید، ماهیگیری و کشاورزی امرار معاش می‌کنند.
مورچه لنگتون
مورچهٔ لنگتون گونه‌ای خاص از ترمایت (نوعی ماشین محاسبهٔ تورینگ دو بعدی) است که در سال ۱۹۸۶ توسط کریس لنگتون ابداع شده‌است، همچنین می‌توان مورچهٔ لنگتون را اتوماتون سلولی با همسایگی فون نویمان دانست. این ماشین همانند بسیاری از دیگر نمونه‌های اتوماتای سلولی مصداقی از یک سیستم پیچیده با قواعد ساده است که بر حسب قواعد می‌تواند رفتاری پیچیده، تصادفی یا ساده داشته باشد. در سال ۲۰۰۰ با اثبات امکان شبیه‌سازی هر مدار دیجیتال دلخواه با مورچهٔ لنگتون، ماشین محاسبهٔ تورینگ بودن این ماشین اثبات شد. افراد مختلفی ایدهٔ مورچهٔ لنگتون را در جهات مختلف گسترش داده‌اند، برای مثال ترمایت‌ها با الگو گرفتن از مورچهٔ لنگتون ابداع شده‌اند که خود گونه‌ای از ماشین محاسبهٔ تورینگ هستند.
ساختار
مورچهٔ لنگتون از یک صفحهٔ شطرنجی دو بعدی نامتنهاهی تشکیل شده‌است که یک مورچه بر روی آن در چهار جهت اصلی حرکت می‌کند. مورچه بر یکی از این خانه‌های صفحه قرار دارد. در هر نوبت، مورچه با توجه به رنگ خانه‌ای که بر روی آن قرار دارد رنگ آن خانه را به رنگ دیگری تغییر می‌دهد و جهت حرکتش را تغییر می‌دهد و یک خانه حرکت می‌کند.
در نمونهٔ اولیه هر خانه می‌تواند یکی از دو رنگ سفید یا سیاه را داشته باشد. مورچه در صورتی که بر خانهٔ سفید قرار داشته باشد ۹۰ درجه به راست می‌چرخد، رنگ خانه را تغییر می‌دهد و به خانهٔ بعدی می‌رود. در صورتی که مورچه بر روی خانهٔ سیاه قرار داشته باشد ۹۰ درجه به چپ می‌چرخد، رنگ خانه را تغییر می‌دهد و به خانهٔ بعدی می‌رود.
می‌توان با گسترش مجموعهٔ رنگ‌ها، یا تغییر دادن قاعدهٔ حرکت مورچه نمونه‌های متعددی از مورچهٔ لنگتون را به دست آورد که هرکدام رفتاری متفاوت با دیگری دارند. در واقع می‌توان صفحهٔ دو بعدی را مشابه نوار حافظهٔ ماشین تورینگ، محل مورچه را سر ماشین تورینگ و قاعدهٔ حرکت مورچه را قاعدهٔ حرکت سر ماشین تورینگ در نظر گرفت. همچنین می‌توان مورچهٔ لنگتون را یک ماشین سلولی در نظر گرفت که در آن، صفحهٔ شطرنجی صفحهٔ ماشین است و به ازای n رنگ در مورچهٔ لنگتون در ماشین سلولی ۵n رنگ وجود دارد. هر خانهٔ خالی در صفحهٔ مورچهٔ یکی از n رنگ را دارد و برای خانهٔ مورچه دار، یکی از 4n رنگ دیگر را انتخاب می‌کنیم که نشان‌دهندهٔ رنگ خانه در مورچهٔ لنگتون، حضور مورچه در آن و جهت‌گیری مورچه است. قوانین تغییر ماشین هم همسایگی فون نویمان هر خانه را در نظر می‌گیرد و آن خانه و همسایگی آن را مشابه قوانین مورچهٔ لنگتون تغییر می‌دهد.
رفتار
در صورتی که مورچه در نمونهٔ اولیه بر صفحه‌ای سفید حرکت خود را شروع کند، ابتدا طرح‌هایی ساده و عموماً متقارن تولید می‌کند، سپس در صفحه الگوهایی پیچیده تصویر می‌کند و در نهایت شروع به ساختن بزرگراه می‌کند که تکرار مداوم ۱۰۴ حرکت مورچه است و در صفحه ساختاری مشابه نوار به وجود می‌آورد.
اثبات می‌شود که در صورتی که شرایط اولیهٔ صفحهٔ مورچهٔ لنگتون متناهی باشد، رفتار مورچه در نهایت به ساخت بزرگراه منتهی می‌شود.
مورچهٔ لنگتون مثالی از یک سیستم پیچیده‌است که قوانینی بسیار ساده دارد و کریس لنگتون به منظور نشان دادن همین مفهوم (امکان بروز رفتار ظهوریافتهٔ پیچیده، حتی در ساده‌ترین ساختارها) ماشین لنگتون را ابداع کرد. انواع مختلف مورچهٔ لنگتون رفتارهای مختلفی از خود نشان می‌دهند که پیچیده، ساده یا تصادفی است. تفاوت این ماشین‌ها در قواعد حرکت مورچه و شرایط اولیهٔ صفحه است.
تصمیم ناپذیری
مورچهٔ لنگتون یک ماشین محاسبه تورینگ است، این مسئله به آن معنی است که رفتار هر ماشین تورینگی را به ازای ورودی مشخص می‌توان با یک ماشین لنگتون شبیه‌سازی کرد. همان‌طور که پیش‌تر ذکر شد، در صورتی که شرایط اولیهٔ صفحهٔ مورچهٔ لنگتون متناهی باشد، رفتار مورچه در نهایت به ساخت بزرگراه منتهی می‌شود. پس رفتار نهایی هر مورچهٔ لنگتون با صفحهٔ اولیهٔ قابل پیش‌بینی است که عبارت است از تکرار کردن یک پترن ۱۰۴ حرکتی مداوم که به اسم بزرگراه شناخته می‌شود. از طرفی اما می‌دانیم که مسئلهٔ رفتار نهایی ماشین تورینگ یا مسئله توقف تصمیم‌ناپذیر است. تصمیم‌ناپذیری این مسئله به آن معنی است که نمی‌توان ماشینی داشت که به ازای هر ماشین تورینگ و هر ورودی w تعیین کند ماشین تورینگ داده‌شده بر روی ورودی w توقف خواهد کرد یا نه.
با توجه به آنچه که گفته شد، ممکن است به نظر برسد که می‌توان مسئله توقف را به مسألهٔ رفتار نهایی مورچهٔ لنگتون کاهش داد و این مسئله تصمیم پذیر است؛ اما این تصور غلط است، چرا که هر ماشین تورینگی به مورچهٔ لنگتونی با شرایط اولیهٔ متناهی کاهش داده نمی‌شود و مسألهٔ تعیین رفتار نهایی مورچهٔ لنگتون در شرایط کلی مسئله‌ای تصمیم ناپذیر است.
انواع مختلف
می‌توان انواع مختلفی از مورچهٔ لنگتون را با تغییر دادن شرایط اولیهٔ صفحه و تعداد رنگ‌ها به وجود آورد. منطق پشت حرکت مورچه را می‌توان با رشته‌ای از R و L نمایش داد که مشخص می‌کند به ازای هر رنگ مورچه به کدام سمت حرکت می‌کند. با این شیوه مورچهٔ لنگتون اولیه را می‌توان با RL نمایش داد. برخی از این مورچه‌ها در گذر زمان ساختاری متقارن می‌سازند، برای مثال مورچه‌هایی که در قاعدهٔ خود LL یا RR داشته باشند ساختارهای متقارنی را به وجود خواهند آورد. تصاویر زیر چند نمونه از رفتار این‌گونه مورچه‌هاست. گونهٔ دیگری از مورچهٔ لنگتون با قرار دادن چندین مورچه بر روی صفحه ساخته می‌شود. این مورچه‌ها می‌توانند از قواعد یکسان یا متفاوتی پیروی کنند که در صورتی که قواعد حرکت مورچه‌ها با یکدیگر متفاوت باشد باید از شرایطی که دو مورچه بر یک خانه قرار دارند با تعیین سرنوشت رنگ خانه رفع ابهام کرد.
با افزایش تعداد رنگ‌ها می‌توان نمونه‌هایی مشابه تصویر مقابل به دست آورد: همچنین به جای صفحه، می‌توان فضایی n بعدی در نظر گرفت که خانه‌های همسایه در آن خانه‌هایی هستند که تنها یک درایهٔ آن‌ها به خانهٔ اولیه متفاوت است. در فضای سه بعدی نیز مورچه‌ها برای شرایط اولیهٔ متنهای در نهایت شروع به ساختن بزرگراه‌های با دوره تناوب ۱۰۴ قدم می‌کنند.
جنگ شلسویگ ۶۳۹۶
سیارک ۶۳۹۶ شش هزار و سیصد و نود و ششمین سیارک کشف شده‌است که در ۱۵ ژانویه ۱۹۹۱ کشف شد.
ورشو ۴۴
ورشو ۴۴ (Warsaw 44) فیلمی درام و جنگی است که در سال ۲۰۱۴ منتشر شد.
تپه گیان ۲
تپه گیان ۲ مربوط به عصر مس - عصر آهن - سده‌های میانه و متاخر دوران‌های تاریخی پس از اسلام است و در شهرستان نهاوند، بخش گیان، در فاصله هشتصد متری از شهر گیان واقع شده است. متأسفانه به دلیل بی اطلاعی از اهمیت باستانی، بومیان خاک های اضافه ناشی از هموار کردن زمین های کشاورزی اطراف را بر روی تپه ریخته اند لذا باعث تداخل در تشخیص قسمت هایی از لایه های باستان شناسی توسط کارشناسان مربوطه شده است. این اثر در تاریخ با شمارهٔ ثبت ۲۳۷۴۲ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است. با گذشت زمان و با توجه به عدم مسقف بودن، در حال فرسایش می‌باشد و اگر تدبیری جهت حفاظت آن صورت نگیرد تا چند سال آینده اثری از آن نخواهد ماند.
سالار عشقی
سلیمان تیزابی معروف به سالارعشقی (زاده ۱۳۰۷ در تهران - ) کارگردان، نویسنده، تهیه‌کننده و مدیر فیلم‌برداری سینمای ایران بود.
آرش سیگارچی
آرش سیگارچی روزنامه‌نگار و وبلاگ نویس ایرانی است.
فعالیت‌ها
سیگارچی حرفه روزنامه‌نگاری را در نوجوانی با نوشتن در نشریات ورزشی محلی آغاز کرد. وی هنگام تحصیل در دانشگاه تهران برای روزنامه‌های اصلاح طلب گزارش تهیه می‌کرد. در سال ۲۰۰۰ میلادی به شهر زادگاهش در شمال ایران بازگشت و در نشریه گیلان امروز به عنوان سردبیر مشغول به کار شد. در همین زمان او وبلاگ خود را با نام پنجره التهاب راه‌اندازی کرد که شامل اخبار، تفسیر و شعر می‌شد. سیگارچی با پرداختن به مسائل نقض حقوق بشر در ایران در وبلاگش در میان جامعه برخط ایران نقش برجسته‌ای یافت. از دیگر اقدامات وی می‌توان به برگزاری کلاس‌های عملی و تئوری آموزش روزنامه‌نگاری اشاره کرد.
هم‌اکنون
وی در حال حاضر به عنوان گویندهٔ اخبار و خبرنگار تلویزیون فارسی صدای آمریکا مشغول به کار است.
جوایز
در ماه مه ۲۰۱۲ وبلاگ وی توسط گروه داوران مسابقهٔ بهترین وبلاگ‌های دویچه‌وله، به عنوان وبلاگ برتر انتخاب شد. این برای نخستین‌بار بود که وبلاگی پارسی‌زبان برای این عنوان برگزیده می‌شد. سیگارچی در وبلاگش به مسائل سیاسی و اقتصادی ایران می‌پردازد. جایزه در ژوئن ۲۰۱۲ در بُن به سیگارچی اهدا شد.
ابراهیم عرفات امزوار
ابراهیم عرفات امزوار (Brahim Arafat Mezouar؛ زادهٔ December 18, 1973) بازیکن فوتبال اهل الجزایر بود.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال القبائل، باشگاه فوتبال شباب بلوزداد، و باشگاه فوتبال مولودیه وهران و باشگاه فرهنگی ورزشی دبی اشاره کرد.
وی همچنین در تیم ملی فوتبال الجزایر بازی کرده‌است.
ناتان آگوستینلی
ناتان جورج آگوستینلی (Nathan George Agostinelli) (زادهٔ ۱۷ اوت ۱۹۳۰)، سیاستمدار بازنشستهٔ آمریکایی، افسر ارتش، و فعال مدنی است که شهردار منچستر، ایالت کنتیکت (۱۹۶۶–۱۹۷۱) و ممیز ایالت کنتیکت (۱۹۷۱–۱۹۷۵) بوده‌است. رابرت همپتون استیل، نامزد فرمانداری از سوی حزب جمهوری‌خواه، آگوستینلی را در فهرست نامزدهای معاونت فرماندار کنتیکت قرار داد، اما آنها در انتخابات فرمانداری کنتیکت در سال ۱۹۷۴، از نامزد دموکرات، الا گراسو و معاونش، رابرت کنت کیلیان، شکست خوردند.
زندگی و حرفه
آگوستینلی، جمهوری‌خواه و پسر مهاجری ایتالیایی، تنها فردی از منچستر است که برای منصب ایالتی انتخاب شده‌است. او تحصیلات خود را در دبیرستان منچستر، دانشگاه هارتفورد و دانشگاه کنتیکت گذراند.
آگوستینلی، پیش از انتخابات و در طی زمانی که شهردار بود، رستورانی را در منچستر اداره می‌کرد. او در جنگ کره حضور داشت، و پس از ۲۳ سال خدمت، در سال ۱۹۸۳ با درجهٔ سرتیپی از گارد ملی ارتش کنتیکت بازنشسته شد. او از سال ۱۹۷۴ تا ۱۹۹۶، رئیس بانک دولتی منچستر، از سال ۱۹۶۹ تا ۱۹۷۱، رئیس بخش شورای دولتی، و همچنین سرپرست سازمان نظام وظیفه در دورهٔ ریاست جمهوری بیل کلینتون بود. او در انتخابات ممیز ایالتی در سال ۱۹۷۰، با اختلاف حدود ۳ درصد، جولیوس کرمسکی، نامزد دموکرات از شهر نیو بریتین را با آرای ۵۳۶٬۸۷۵ در برابر ۵۲۱٬۱۷۸ رأی شکست داد. آگوستینلی به خاطر شرکت در انتخابات معاون فرماندار، تصمیم گرفت که در انتخابات مجدد ممیز ایالتی شرکت نکند. او پس از شکست در انتخابات همگانی سال ۱۹۷۴، از سیاست کناره‌گیری کرد.
آگوستینلی بیش از ۲۰ جایزهٔ خدماتی از جمله لوح تقدیر ریاست جمهوری و مدال خدمات غیرنظامی ممتاز را دریافت کرده‌است. شهر منچستر در سال ۲۰۲۱، پارک یادبود کهنه سربازان را به افتخار او، نیت آگوستینلی نامید.
جنجال پرچم
رئیس‌جمهور نیکسون پیش از ترک هارتفورد، به‌طور خصوصی با آگوستینلی ملاقات و از اقدام او تمجید کرد. در ۱۷ اکتبر، آگوستینلی از سوی نیکسون، لوح تقدیر ریاست جمهوری را دریافت کرد. در آن لوح اشاره‌ای به ماجرای پرچم نشده و قید شده بود که این لوح «به پاس خدمات برجسته به دیگران، در عالی‌ترین عرف و سنت آمریکایی» اعطا شده‌است. با این حال، نیکسون در نامه‌ای که به همراه لوح بود، از آگوستینلی به خاطر «اقدام شجاعانه» و «رفتار صریح و بی‌محابا» بابت گرفتن پرچم از دست معترضان تمجید کرد. آگوستینلی در زمان وقوع حادثهٔ پرچم، با درجهٔ سرگردی در گارد ملی ارتش کنتیکت خدمت می‌کرد و همچنین درگیر فعالیت‌های انتخاباتی برای ممیز ایالتی بود.
اتحادیهٔ حقوق و آزادی‌های فردی آمریکا، رفتار و اقدام آگوستینلی را محکوم کرد و آن را مظهر «بی‌توجهی کامل به قانون» دانست. ظاهراً در تمجید از اقدام آگوستینلی، او صدها تماس تلفنی و پیام از جمله پیامی از سوی شهردار مینیاپولیس دریافت کرده بود. او در انتخابات همگانی برای ممیز ایالتی پیروز شد.
در مه ۱۹۷۱، یک دادگاه قضایی فدرال، قانون ایالت کنتیکت که «حمل یا برافراشتن پرچم سرخ یا هر نماد دیگری که هدف از آن، تحریک مردم به بی‌نظمی یا نقض قانون باشد» را خلاف قانون اساسی می‌دانست، لغو کرد. آگوستینلی در واکنش به این اقدام، پیشنهاد کرد که قضات این پرونده باید تحت معاینهٔ روانپزشک قرار بگیرند. او فوراً به خاطر این اظهار نظر عذرخواهی کرد. او هرگز به خاطر ماجرای لگدکوب کردن پرچم عذرخواهی نکرد، اما در مصاحبه‌ای در سال ۱۹۸۸ اذعان داشت که واکنشش «احساسی» و بدون فکر بوده‌است. او با نگاهی به گذشته، جنگ ویتنام را «فاجعه‌بار» توصیف کرد و اظهار داشت که «رهبر، رئیس‌جمهور [نیکسون]، من را فریب داد.»
رنه تپان
رنه تپان (Renee Teppan؛ زادهٔ September 26, 1993) بازیکن والیبال اهل استونی است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه والیبال ترنتینو اشاره کرد.
ویتهمپستد
ویتهمپستد (به انگلیسی: Wheathampstead) یک روستا و محله مدنی در بریتانیا است که در St. Albans واقع شده‌است. ویتهمپستد ۶٬۴۱۰ نفر جمعیت دارد.
جان موریسون (کشتی‌گیر)
جان هنینگان که در عرصه کشتی حرفه‌ای وی رو با نام‌هایی از قبیل جانی نایترو و جان موریسون  می‌شناسیم در تاریخ سوم اکتبر سال ۱۹۷۹ در لوس آنجلس کالیفرنیا به دنیا آمد. وی فعالیت ورزشی خود در کشتی حرفه‌ای را از سال ۲۰۰۳ میلادی آغاز کرده و تا سال ۲۰۱۱ در کمپانی WWE فعالیت می‌کرد. او در سال‌های ۲۰۱۱ تا ۲۰۱۹ در کمپانی‌هایی مثل Impact Wrestling و Lucha underground با نام‌های مختلفی مانند جانی ایمپکت یا جانی موندو فعالیت می‌کرد و در سال ۲۰۲۰ دوباره به WWE بازگشت و در برند SmackDown فعالیت خود را شروع کرد که در سال ۲۰۲۱ از کمپانی WWE اخراج شد و تاکنون در کمپانی gcw با نام جانی هینگان فعالیت میکند
از سال ۲۰۰۴ تا سال ۲۰۰۷
در تاریخ یکم مارس سال ۲۰۰۴ جان هنینگان به‌طور رسمی با کمپانی WWE قرارداد بست و در برند WWE RAW کارش را با نام جانی بلیز آغاز کرد. هفته بعد از این اتفاق نامش را به جانی اسپید تغییر داد و در نهایت بعد از یک ماه نام جانی نایترو را برای خودش برگزید. در تاریخ هفتم ژوئن سال ۲۰۰۴ جان برای اولین بار به‌طور رسمی وارد رینگ شد که در مقابل یوجین شکست خورد. مدتی بعد در اوایل سال ۲۰۰۵ جان و ملینا روابط صمیمی را با یک دیگر آغاز کردند و با اضافه شدن جویی مرکوری تیمی بسیار قوی و با استعداد با نام MNM که مخفف اسم هر سه عضو این تیم بود را تشکیل دادند.
مرکوری و نایترو بعد از تلاش‌های کافی موفق شدند تا برای به دست آوردن کمربندهای تگ تیم، باتیستا و ری میستریو را شکست دهند تا اولین عنوان جدی در کریرشان را به دست بیاورند. پس از مدتی عناوینشان را به هاردکور هالی و چارلی هاس واگذار کردند اما مدتی بعد در پی پر ویو گریت آمریکن بش در یک مسابقه متشکل از ۴ تیم توانستند عناوین قهرمانی تگ تیم جهان که در اختیار پوئل بورچیل و ویلیام ریگال بود را از آن خودشان کنند. پس از موفقیت‌های بسیار در آرماگدون همان سال با باتیستا و ری میستریو رو به رو شدند ولی این بار کمربندهایشان را واگذار کردند.
هفته بعد این رویداد مراسم درفت لاتری باید برگزار می‌شد که در آن نایترو و ملینا به WWE RAW درفت شدند. با این درفت خیلی‌ها به این مسئله پی بردند که نایترو و ملینا آینده کمپانی WWE هستند. در اولین حضورش در WWE RAW نایترو قدم بزرگی برداشت و جان سینا رو برای کمربند WWE به مبارزه طلبید که به آسانی شکست خورد. بعد از کمی تلشا توانست در ونجنس همان سال با شکست شلتون بنجامین موفق شد تا برنده کمربند بین قاره‌ای بشود.
بعد از مدتی نایترو به WWE ECW درفت شد و موفق شد تا برنده کمربند WWE ECW بشود. در این هنگام جدی‌ترین حریف او سی ام پانک بود که در نهایت کمربند را هم به او واگذار کرد. جان در WWE ECW رسماً اعلام کرد که نام او دیگر جانی نایترو نیست و او از این به بعد نامش جان موریسون می‌باشد. جان با تغییر نامش از یک شخصیت ساده به یک شخصیت راک استار، بسیار معروف تر شد و توجه‌ها به او بسیار زیاد شد. بعد از این رویداد میز و موریسون با هم تیم شدند و در سروایور سریس ۲۰۰۷ موفق شدند تا برای اولین بار برنده کمربند تگ تیم باهم بشوند.
از سال ۲۰۰۷ تا سال ۲۰۰۹
جان موریسون و میز در مدتی که با هم تیم بودند یکی از موفق‌ترین تیم‌های کمپانی WWE رو تشکیل داده بودند و یک برنامهٔ بسیار پر مخاطب و جذاب با نام درت شیت بر پا کردند که طرفداران بی‌شماری داشت. این تیم در پی پر ویو گریت آمریکن بش ۲۰۰۸ در یک مسابقه متشکل از ۴ تیم، کمربندهایشان را به اج هدز که متشکل از کرت هاوکینز و زک رایدر بود واگذار کردند. در طی این سال و سال ۲۰۰۹ میز و موریسون دو بار عناوین تگ تیم رو کسب کردند و از دست دادند. در درفت لاتری ۲۰۰۹ میز با اشتباه موریسون به WWE RAW درفت شد و همین مسئله باعث وجود اختلاف بین این دو شد و این تیم بی‌نظیر هم از هم پاشیده شد.
جان موریسون پس از مدتی به WWE SMACKDOWN درفت شد و در اولین مسابقه اش در این شو آر-تروت رو از پیش رو برداشت. مدتی بعد به دلیل مشکلاتی که ری میستریو با کمپانی داشت جان موریسون موفق شد تا با شکست ری میستریو، برنده کمربند بین قاره‌ای بشود. وی در نهایت کمربندش را در پی پر ویو میزها، نردبان‌ها و صندلی‌ها (تی ال سی) به درو مک اینتایر واگذار کرد. جان با آر-تروت تیم شد و تیم شو میز رو برای کمربندهای تگ تیم در رستلمنیا ۲۶ به مبارزه طلبید اما ناکام بود. بعد از این اتفاق جان به WWE RAW درفت شد.
سال ۲۰۱۰
بعد از انتقال به monday night raw در اولین مسابقه خود در مقابل Ted Dibiase قرار گرفت و توانست او را شکست دهد و سپس توانست پشت سرهم در مسابقاتی که داشت در مقابل دولف زیگلر، زاک رایدر، تایسون کید و کریس جریکو توانست پیروز شود. از مسابقات مهم او در پی پر ویو این سال می‌توان در مقابل تدی بیاسی٬در سامراسلم در تیم جان سینا قرار گرفت مسابقه‌ای که در برابر تیم NEXUS بود٬پی پر ویو براگینگ رایت در تیم راو، مسابقه در پی پر ویو تی ال سی در مقابل شیمس برای نامبر وان کانتاندری (اجازه برای مسابقه) برای کمربند قهرمانی دبلیو دبلیوای که موریسون شیمس را شکست داد و برای مسابقه در تاریخ ۲۰۱۱٫۰۱٫۰۳ سر کمربند قهرمانی WWE به مسابقه با دمیز رفت و… اشاره کرد.
کینگ آف د رینگ
در مسابقات کینگ اف د رینگ جان در مسابقه اول در بربر کودی رودز قرار گرفت و او را شکست داد سپس در مسابقه دوم در مقابل آلبرتو دل ریو قرار گرفت و او را هم شکست داد و در فینال در مقابل شیمس قرار گرفت وب خاطر آسیب دیدگی پا که در مسابقه دوم دل ریو به او رسانده بو نتوانست درست کار کند و شکست خورد.
سال ۲۰۱۱ و خروج از دبلیو دبلیو ای
در تاریخ ۳۰ ژانویه، موریسون در بزرگترین رویال رامبل برگزار شده ۴۰نفره شرکت کرد اما با وجود برنده نشدن بخاطر پرش از کنار طناب‌های رینگ به روی دیواره‌های کنار تماشاگران و بعد برگشت به رینگ و حذف نشدن توست منتقدان ستایش شد. در۲۰ فوریه، در مسابقه Elimination Chamber با بالا رفتن از سقف قفس و حرکت کراس بادی از آن بالا بروی شیمس و حذف او توانست یک صحنهٔ خاص و به یاد ماندنی خلق کند. او بین سه نفر باقی مانده قرار گرفت و توسط سی ام پانک حذف شد. در رسلمنیا XXVII جان موریسون توانست با همکاری تریش استراتوس و اسنوکی دیواهای سوابق WWE تیم دولف زیگلر، میشل مک کول و لیلا را شکست دهند. موریسون بعد از رسلمنیا در آوریل ۱۱ یک مسابقه five-man gauntlet که برای نامبر وان کانتندری کمربند قهرمانی WWE برگزار شد انتخاب شد و به عنوان نفر دوم وارد شد ولی توسط آر-تروت حذف شد. هفته بعد در راو، موریسون آر-تروت را به چالش کشید با شرط اینکه اگر برنده شد به جای او در پی پر ویو اکستریم رولز که مسابقه‌ای سر کمربند WWE بود شرکت کند که اینطور هم شد، شب بعد در راو، آر-تروت که مسابقهٔ قهرمانی را از دست داده بود به موریسون حمله کرد و در مسابقهٔ اکستریم رولز وقتی موریسون از قفس استیل کیج به بیرون می‌رفت تا قهرمان دبلیو دبلیو ای شود آر-تروت در مسابقه دخالت کرد و دوباره به او حمله کرد. سپس موریسون به خاطر آسیبی که به گردنش شده بود مورد عمل جراحی قرار گرفت.
موریسون در ژوئن ۱۳ به دبلیو دبلیو ای بازگشت اما بازهم آر-تروت با حمله دوباره به او بازهم او را مصدوم کرد ولی بالاخره در تاریخ ۲۵ ژوئیه بازگشت و آر-تروت را غافلگیر کرد و با او درگیر شد و در مسابقه‌ای که بین این دو انجام شد موریسون توانست آر-تروت را شکست دهد. در سامراسلم جان موریسون توانست در یک مسابقه سیکس من تک تیم با هم تیمی‌های خود کوفی کینگستون و ری میستریو تیم آر-تروت، آلبرتو دل ریو و د میز را شکست دهند. در پی پر ویو شب قهرمانان یا همان نایت اف چمپیون موریسون در یک مسابقه چهار نفره سر کمربند قهرمانی ایالات متحده در مقابل الکس رایلی، جک سوئگر و دولف زیگلر قرار گرفت که در آن مسابقه زیگلر توانست ازعنوان قهرمانی خود دفاع کند.
بعد از آن در پی پر ویو Hell in a Cell موریسون کودی رودز رابرای مسابقه قهرمانی بین قاره‌ای انتخاب کرد اما شکست خورد، و پس از آن موریسون در چن هفته در مسابقات موفق نبود تا، در ۷ نوامبر توانست قهرمان ایالات متحده، دولف زیگلر را شکست دهد و برای مسابقه سر کمربند در پی پر ویو Survivor Series زیگلر را چلنج کند اما بازه در بدست آوردن کمربند ایالات متحده ناکام بود. موریسون در ۲۸ نوامبر در مسابقه Falls Count Anywhere که با تک تیم سابق خود دمیز داشت بر سر انتخاب برای مبارزه با قهرمان دبلیو دبلیوای داشت هنگام ورود توسط دمیز با میلهٔ فلزی مورد ضربه قرار گرفت و با اینحال که موریسون به مسابقه ادامه داد میز سر او را به لوگوی دبلیودبلیوای زد وباعث شد او مصدوم شود و نتواند به مسابقه ادامه دهد؛ و روز بعد WWE در سایت رسمی خود گفت قرارداد جان موریسون تمام شده‌است و موریسون WWE را ترک کرده‌است. و در شو بعدی راو جان لورانایدس جنرال منیجرهای سابق راو و اسمکدان این موضوع را تأیید کرد. در ۹ دسامبر ویدیوای از موریسون پخش شد که در آن ادعا شد موریسون بخاطر بازی در چند فیلم و مصدومیت و احتمال بازگشت جان موریسون به WWE در آینده وجود دارد.
سال ۲۰۱۲ تا ۲۰۱۳
بعد از ترک WWE جان موریسون با نام واقعی خود جان هنیگان در مسابقات کشتی کج خارج از دبلیو دبلیو ای شرکت کرد. او در اولین مسابقه اش بعد از زندگی در WWE به کمپانی WWFX که در مانیل، فیلیپین قرار دارد رفت و در ۴ فوریه، ۲۰۱۲ مقابل رقیب دیرینه و قدیمی خود شلتون بنجامین قرار گرفت، هنیگان توانست بعد از شکست شلتون بنجامین قهرمان سنگین‌وزن WWFX شود. در تاریخ ۵ آوریل، موریسون به کمپانی Pro Wrestling Syndicate یا همان PWS رفت و نام قبلی خود شرکت کرد و توانست در شب اول Elijah Burke را شکست دهد و در شب دوم توانست افسانه ژاپنی Jushin Thunder Liger را شکست دهد. جان موریسون سپس به کمپانی 2CW رفت و دوباره با نام اصلی خود جان هنیگان شرکت کرد و توانست در روز اول Sami Callihan در مسابقه no count-out شکست دهد و در روز بعد هم توانست در واترتاون، نیویورک Kevin Steen را شکست دهد. در ۲۱ ژوئن سال ۲۰۱۳ هنیگان به کمپانی FWE رفت و توانست Carlito Caribbean Cool یا (همان کارلیتو سابق) را شکست دهد و قهرمان سنگین‌وزن FWE شود در ۱۲ اکتبر سال ۲۰۱۳، در FWE جایزه بزرگ توانست مت مورگان را شکست دهد و از عنوان خود دفاع کند.
ایمپکت رسلینگ (۲۰۱۷–۲۰۱۹)
در سال‌های ۲۰۱۷ تا ۲۰۱۹ جان به کمپانی ایمپکت رسلینگ رفته و تحت عنوان جانی ایمپکت به فعالیت پرداخت. او در سال‌های ۲۰۱۸–۲۰۱۹ توانست قهرمان کمربند جهانی ایمپکت شود.
بازگشت به دبلیو دبلیو ای (۲۰۲۰ تا کنون)
پس از اتمام قرارداد با کمپانی ایمپکت، جان اعلام کرد که تمایلی به تمدید قرارداد با ایمپکت رسلینگ ندارد و قرار است یکی از دو کمپانی اول الیت رسلینگ یا دبلیو دبلیو ای را به عنوان مقصد بعدی خود انتخاب کند. سرانجام جان با کمپانی دبلیو دبلیو ای قرارداد امضا کرد و پس از حضوری کوتاه در شوی اسمکداون به تاریخ سوم ژوئن (اولین شوی اسمکداون سال ۲۰۲۰)، در تاریخ ۱۰ ژوئن با معرفی دمیز در برنامه میز تی وی با نام و تم سانگ قبلی خود پس از ۹ سال به رینگ دبلیو دبلیو ای بازگشت و هفته بعد اولین مسابقه خود را در مقابل بیگ ای انجام داد و پیروز شد.
او و دمیز بار دیگر تیم خود را تشکیل دادند و توانستند در پی پر ویو سوپر شو داون ۲۰۲۰ عربستان با پیروزی بر گروه نیودی متشکل از بیگ ای و کوفی کینگستون قهرمان تگ تیم اسمکداون شوند. آن دو توانستند در رویدادهای الیمینیشن چمبر و رسلمنیا سال ۲۰۲۰ از عنوان‌های خود دفاع کنند و سرانجام در شوی اسمکداون ۱۷ آپریل، در یک مسابقه سه نفره بین دمیز، بیگ ای و جی اوسا کمربند خود را به گروه نیودی واگذار کردند.
بازیگری
یکی از دلایل خروج جان موریسون یا همان جان هنیگان از کمپانی دبلیودبلیوای بازی در چند فیلم کوتاه و بلند بوده‌است. فیلمی که در سال ۲۰۱۴ از او اکران شده فیلم Hercules Reborn نام دارد و در این فیلم به عنوان نقش اصلی بازی می‌کند. او در فیلم کوتاه کیسی جونز نیز بازی کرده‌است.
الی سیسوکو
الی سیسوکو (Aly Cissokho؛ زاده September 15, 1987) بازیکن فوتبال اهل فرانسه است.
وی همچنین در تیم ملی فوتبال فرانسه بازی کرده‌است.
وونوویا
وونوویا (Vonovia) شرکت املاک و مستغلات آلمانی است، که در سال ۲۰۰۱ تأسیس شد. وونوویا مالک تقریباً نیم میلیون واحد آپارتمان است، که اغلب آنها پیش‌تر متعلق به راه‌آهن دولتی آلمان، سندیکاها و برخی تعاونی‌ها بوده‌اند.
تأثیر رنگ بر انسان
تأثیرات رنگ‌ها بر حالات مختلف روحی و روانی انسان از دو طریق امکان‌پذیر می‌باشد. تأثیر اولیه رنگ به دریافت احساسی رنگ (فامداری) مربوط می‌شود که از طیف نور مرئی رنگ ناشی شده و از آن به احساس ذهنی تعبیر شده‌است. به عنوان نمونه فشار ملایم بر پلک‌ها و قرارگیری انسان تحت شوک الکتریکی در یک محیط تاریک احساس رنگ را برای انسان ایجاد می‌نماید که این احساس اثر مرئی، از خارج چشم نیست. دلیل این امر تحریک سلسله اعصاب شبکیه توسط الکتریسیته یا فشار ملایم می‌باشد. تأثیر دیگر رنگ‌ها اثرات ذهنی رنگ‌های عینی می‌باشد و احساس‌های معینی را شامل می‌گردد که رنگ‌ها در بیننده ایجاد می‌نماید. در این شکل از تأثیر فامها به دو دسته پیش آینده و پس رونده تقسیم‌بندی می‌گردند که به ترتیب نزدیک بودن و دور بودن اشیا را در ذهن تداعی می‌نماید. بر همین اساس فام‌های دارای طول موج بلندتر (مثل قرمز و نارنجی) گرمتر از فام‌های طول موج کوتاه تر (مثل آبی و سبز) احساس می‌شوند. احساس گرمی و سردی، پیش آیندگی و پس روندگی در واقع اثرات ذهنی رنگ‌های عینی هستند که از جنبه روان‌شناسی رنگ نه از جنبه فیزیولوژیک رنگ، مورد بحث قرار می‌گیرد. (Erdogan، 2008: 2129-2139)
تأثیر رنگ‌ها علاوه بر روان و روح بر عملکرد و فیزیولوژیک انسان نیز تأثیر می‌گذارد. تأثیر رنگ بر فشار خون، میزان تنفس و زمان از نمونه این تأثیرات می‌باشد. پاسخ‌های فیزیولوژیکی و بیو مکانیکی فعال و دقیق از تشعشعات خورشیدی و محیط‌های مصنوعی بر روی بدن انسان اثبات این موضوع می‌باشد. انطباق ریتم‌های هورمونی بدن با شبانه روز و تاریکی و روشنی از پاسخ‌های بدن به رنگ‌ها می‌باشد. (موعدی، 1379: 56)
در سال ۱۹۷۱ دکتر یوگن شورل ۱۴ در یک کلینیک در سوئیس با تحقیقاتی در زمینه رنگ درمانی تأثیر رنگ‌ها بر فشار خون، ضربان قلب، سرعت تنفس، حواس جسمانی، اثرات درد و واکنش‌های روانی مورد آزمایش قرار داد که به نتایج قابل ملاحظه ای در این زمینه دست یافت. تحقیقات مشابه دیگر از سوی فرانک گبرت بر روی دانشجویان ۲۰ تا ۴۰ ساله صورت گرفت. در این آزمایش‌ها رنگ قرمز و زرد به عنوان رنگ‌های محرک و رنگ‌ سبز آرام‌کننده بود؛ بنابراین رنگ هابا طول موج بلند محرک تر از رنگ‌ها با طول موج کوتاه هستند. (بختیاری فرد، 1388: 85-88)
نکته حائز توجه به این رنگ‌ها در ارتباط با طبیعت، فرهنگ، باورهای دینی و تجربه‌های زندگی، هر یک معنایی ویژه به خود اختصاص می‌دهند. این ادراک رنگ در میان ملل و اقوام گاه متفاوت و گاه مشابه است. اما به هر حال تابع موقعیت‌های زمانی، مکانی و جغرافیایی بوده یا از فرهنگ، دین و آیین مردم نشات گرفته‌است. از سوی دیگر مفاهیمی که زمانی توسط افرادی برای رنگ‌ها برگزیده شده، در همان دوره اعتبار داشته‌است. (باخزری، 1345: 34-37)