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.
I, Nattfodd, ο κάτοχος των πνευματικών δικαιωμάτων αυτού του έργου, το δημοσιεύει δια του παρόντος υπό τις εξής άδειες χρήσης:
Παραχωρείται η άδεια προς αντιγραφή, διανομή και/ή τροποποίηση αυτού του εγγράφου υπό τους όρους της Άδειας Ελεύθερης Τεκμηρίωσης GNU, Έκδοση 1.2 ή οποιασδήποτε νεότερης έκδοσης δημοσιευμένης από το Ίδρυμα Ελεύθερου Λογισμικού· χωρίς Απαράλαχτους Τομείς, χωρίς Κείμενα Εξωφύλλου, και χωρίς Κείμενα Οπισθοφύλλου. Αντίγραφο της άδειας περιλαμβάνεται στην σελίδα με τίτλο GNU Free Documentation License.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue
να μοιραστείτε – να αντιγράψετε, διανέμετε και να μεταδώσετε το έργο
να διασκευάσετε – να τροποποιήσετε το έργο
Υπό τις ακόλουθες προϋποθέσεις:
αναφορά προέλευσης – Θα πρέπει να κάνετε κατάλληλη αναφορά, να παρέχετε σύνδεσμο για την άδεια και να επισημάνετε εάν έγιναν αλλαγές. Μπορείτε να το κάνετε με οποιοδήποτε αιτιολογήσιμο λόγο, χωρίς όμως να εννοείται με οποιονδήποτε τρόπο ότι εγκρίνουν εσάς ή τη χρήση του έργου από εσάς.
παρόμοια διανομή – Εάν αλλάξετε, τροποποιήσετε ή δημιουργήσετε πάνω στο έργο αυτό, μπορείτε να διανείμετε αυτό που θα προκύψει μόνο υπό τους όρους της ίδιας ή συμβατής άδειας με το πρωτότυπο.
Αυτή η ετικέτα άδειας χρήσης προστέθηκε στο αρχείο ως μέρους της αναθεώρησης της άδειας GFDL .http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue
να μοιραστείτε – να αντιγράψετε, διανέμετε και να μεταδώσετε το έργο
να διασκευάσετε – να τροποποιήσετε το έργο
Υπό τις ακόλουθες προϋποθέσεις:
αναφορά προέλευσης – Θα πρέπει να κάνετε κατάλληλη αναφορά, να παρέχετε σύνδεσμο για την άδεια και να επισημάνετε εάν έγιναν αλλαγές. Μπορείτε να το κάνετε με οποιοδήποτε αιτιολογήσιμο λόγο, χωρίς όμως να εννοείται με οποιονδήποτε τρόπο ότι εγκρίνουν εσάς ή τη χρήση του έργου από εσάς.
παρόμοια διανομή – Εάν αλλάξετε, τροποποιήσετε ή δημιουργήσετε πάνω στο έργο αυτό, μπορείτε να διανείμετε αυτό που θα προκύψει μόνο υπό τους όρους της ίδιας ή συμβατής άδειας με το πρωτότυπο.
{{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
Αυτό το αρχείο περιέχει πρόσθετες πληροφορίες, πιθανόν από την ψηφιακή φωτογραφική μηχανή ή το scanner που χρησιμοποιήθηκε για την δημιουργία ή την ψηφιοποίησή της. Αν το αρχείο έχει τροποποιηθεί από την αρχική του κατάσταση, ορισμένες λεπτομέρειες πιθανόν να μην αντιστοιχούν πλήρως στην τροποποιημένη εικόνα.
Κατασκευαστής φωτογραφικής μηχανής
NIKON CORPORATION
Μοντέλο φωτογραφικής μηχανής
NIKON D50
Δημιουργός
Alexandre Buisse
Ιδιοκτήτης του copyright
(c) Alexandre Buisse
Χρόνος έκθεσης
1/100 δευτ (0,01)
Βαθμολόγηση ταχύτητας ISO
200
Ημερομηνία και ώρα της παραγωγής ψηφιακών δεδομένων
19:38, 26 Απριλίου 2007
Οριζόντια ανάλυση
240 dpi
Κατακόρυφη ανάλυση
240 dpi
Λογισμικό που χρησιμοποιήθηκε
Ver.1.00
Ημερομηνία και ώρα τελευταίας επεξεργασίας αρχείου
18:30, 18 Ιουνίου 2007
Πρόγραμμα έκθεσης
Χειροκίνητο
Έκδοση exif
2.21
Ημερομηνία και ώρα της μετατροπής σε ψηφιακή μορφή
19:38, 26 Απριλίου 2007
APEX ταχύτητα κλείστρου
6,643856
Προτεραιότητα έκθεσης
0
Μέγιστο διάφραγμα ξηράς
0 APEX (f/1)
Κατάσταση λειτουργίας φωτόμετρου
Μέση τιμή με έμφαση στο κέντρο
Πηγή φωτός
Άγνωστη
Φλας
Το φλας δεν πυροδοτήθηκε
ΗμερομηνίαΏραΑρχικά κλάσματα δευτερολέπτου
30
ΗμερομηνίαΏρα κλάσματα δευτερολέπτου ψηφιοποίησης
30
Μέθοδος αισθητήρα
Αισθητήρας χρωματικής περιοχής ενός τσιπ
Ειδική επεξεργασία εικόνας
Κανονική επεξεργασία
Κατάσταση λειτουργίας έκθεσης
Χειροκίνητη έκθεση
Ισορροπία των λευκών
Αυτόματη ισορροπία των λευκών
Αναλογία ψηφιακού zoom
1
Τύπος σύλληψης της σκηνής
Συνήθης
Αντίθεση
Ισχυρό
Κορεσμός
Φυσικός
Όξυνση
Φυσική
Περιοχή διακύμανσης της απόστασης του αντικειμένου