File:Agda proof.jpg
از Wikimedia Commons
پرش به ناوبری
پرش به جستجو
اندازهٔ این پیشنمایش: ۸۰۰ × ۵۳۲ پیکسل. کیفیتهای دیگر: ۳۲۰ × ۲۱۳ پیکسل | ۶۴۰ × ۴۲۶ پیکسل | ۱٬۰۲۴ × ۶۸۱ پیکسل | ۱٬۲۸۰ × ۸۵۱ پیکسل | ۲٬۶۵۳ × ۱٬۷۶۴ پیکسل.
پروندهٔ اصلی (۲٬۶۵۳ × ۱٬۷۶۴ پیکسل، اندازهٔ پرونده: ۵۵۵ کیلوبایت، نوع MIME پرونده: image/jpeg)
اطلاعات پرونده
دادههای ساختاریافته
گزینهها
خلاصه[ویرایش]
توضیحAgda proof.jpg | Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop. |
تاریخ | |
منبع | اثر شخصی |
پدیدآور | Alexandre Buisse (Nattfodd) |
اجازهنامه[ویرایش]
I, Nattfodd، صاحب حقوق قانونی این اثر، به این وسیله این اثر را تحث اجازهنامههای ذیل منتشر میکند:
اجازهٔ کپی، پخش و/یا تغییر این سند تحت شرایط مجوز مستندات آزاد گنو، نسخهٔ ۱٫۲ یا هر نسخهٔ بعدتری که توسط بنیاد نرمافزار آزاد منتشر شده؛ بدون بخشهای ناوردا (نامتغیر)، متون روی جلد، و متون پشت جلد، اعطا میشود. یک کپی از مجوز در بخشی تحت عنوان مجوز مستندات آزاد گنو ضمیمه شده است.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
این پرونده با اجازهنامهٔ کریتیو کامانز Attribution-Share Alike 3.0 سازگار نشده منتشر شده است. | ||
انتساب: I, Nattfodd | ||
| ||
این برچسب مجوز بهعنوان بخشی از روزآمدسازی مجوز GFDL، به این پرونده افزوده شد.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
این پرونده با اجازهنامهٔ کریتیو کامانز Attribution-Share Alike 2.5 عمومی، 2.0 عمومی و 1.0 عمومی منتشر شده است.
انتساب: I, Nattfodd
- شما اجازه دارید:
- برای به اشتراک گذاشتن – برای کپی، توزیع و انتقال اثر
- تلفیق کردن – برای انطباق اثر
- تحت شرایط زیر:
- انتساب – شما باید اعتبار مربوطه را به دست آورید، پیوندی به مجوز ارائه دهید و نشان دهید که آیا تغییرات ایجاد شدهاند یا خیر. شما ممکن است این کار را به هر روش منطقی انجام دهید، اما نه به هر شیوهای که پیشنهاد میکند که مجوزدهنده از شما یا استفادهتان حمایت کند.
- انتشار مشابه – اگر این اثر را تلفیق یا تبدیل میکنید، یا بر پایه آن اثری دیگر خلق میکنید، میبایست مشارکتهای خود را تحت مجوز یکسان یا مشابه با ا اصل آن توزیع کنید.
میتوانید مجوز دلخواه خود را برگزینید.
تاریخچهٔ پرونده
روی تاریخ/زمانها کلیک کنید تا نسخهٔ مربوط به آن هنگام را ببینید.
تاریخ/زمان | بندانگشتی | ابعاد | کاربر | توضیح | |
---|---|---|---|---|---|
کنونی | ۱۸ ژوئن ۲۰۰۷، ساعت ۱۶:۴۱ | ۲٬۶۵۳ در ۱٬۷۶۴ (۵۵۵ کیلوبایت) | Nattfodd (بحث | مشارکتها) | {{Information |Description=Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop. |Source=self-made (http://aperturefirst.eff |
شما نمیتوانید این پرونده را رونویسی کنید.
کاربرد پرونده
این پرونده در هیچ صفحهای به کار نرفته است.
کاربرد سراسری پرونده
ویکیهای دیگر زیر از این پرونده استفاده میکنند:
- کاربرد در el.wikipedia.org
- کاربرد در en.wikipedia.org
- کاربرد در es.wikipedia.org
- کاربرد در eu.wikipedia.org
- کاربرد در fa.wikipedia.org
- کاربرد در ja.wikipedia.org
- کاربرد در pl.wikipedia.org
- کاربرد در pt.wikipedia.org
- کاربرد در tr.wikipedia.org
- کاربرد در uk.wikipedia.org
- کاربرد در ur.wikipedia.org
- کاربرد در www.wikidata.org
- کاربرد در zh.wikipedia.org
فراداده
این پرونده حاوی اطلاعات اضافهایاست که احتمالاً دوربین دیجیتال یا پویشگری که در ایجاد یا دیجیتالیکردن آن به کار رفته آن را افزوده است. اگر پرونده از وضعیت ابتداییاش تغییر داده شده باشد آنگاه ممکن است شرح و تفصیلات موجود اطلاعات تصویر را تماماً بازتاب ندهد.
شرکت سازندهٔ دوربین | NIKON CORPORATION |
---|---|
مدل دوربین | NIKON D50 |
تصویربردار/هنرمند | Alexandre Buisse |
دارندهٔ حق تکثیر | (c) Alexandre Buisse |
زمان نوردهی | ۱/۱۰۰ ثانیه (۰٫۰۱) |
درجهبندی سرعت ایزو | ۲۰۰ |
تاریخ و زمان تولید دادهها | ۲۶ آوریل ۲۰۰۷، ساعت ۱۹:۳۸ |
تفکیکپذیری افقی | ۲۴۰ نقطه در اینچ |
تفکیکپذیری عمودی | ۲۴۰ نقطه در اینچ |
نرمافزار استفادهشده | Ver.1.00 |
تاریخ و زمان تغییر پرونده | ۱۸ ژوئن ۲۰۰۷، ساعت ۱۸:۳۰ |
برنامهٔ نوردهی | دستی |
نسخهٔ exif | 2.21 |
تاریخ و زمان دیجیتالیشدن | ۲۶ آوریل ۲۰۰۷، ساعت ۱۹:۳۸ |
سرعت آپکس شاتر | ۶٫۶۴۳۸۵۶ |
خطای نوردهی | ۰ |
حداکثر گشادگی زمین | ۰ APEX (f/۱) |
حالت سنجش نور | میانگین با مرکز سنگین |
منبع نور | نامعلوم |
فلاش | فلاش زده نشد |
کسر ثانیهٔ زمان اصلی | 30 |
کسر ثانیهٔ زمان دیجیتال | 30 |
روش حسگری | حسگر ناحیهٔ رنگی یک تراشهای |
ظهور عکس سفارشی | ظهور عادی |
حالت نوردهی | نوردهی دستی |
تعادل رنگ سفید (white balance) | تنظیم خودکار تعادل رنگ سفید (white balance) |
نسبت زوم دیجیتال | ۱ |
نوع ضبط صحنه | استاندارد |
کنتراست | زبر |
غلظت رنگ | عادی |
وضوح | عادی |
محدودهٔ فاصلهٔ سوژه | نامعلوم |