Imagem:Agda proof.jpg
Origem: Wikipédia, a enciclopédia livre.
Tamanho desta previsão: 800 × 532 pixel
Imagem numa resolução maior (2 653 × 1 764 pixel, tamanho do ficheiro: 555 KB, tipo MIME: image/jpeg)
Histórico do ficheiro
Clique em uma data/horário para ver o ficheiro tal como ele se encontrava em tal momento.
Data/Horário | Dimensões | Utilizador | Comentário | |
---|---|---|---|---|
actual | 16h41min de 18 de Junho de 2007 | 2 653×1 764 (555 KB) | 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) |
Ligações
As seguintes páginas apontam para este ficheiro:
Metadados
Este ficheiro contém informação adicional, provavelmente adicionada a partir da câmara digital ou scanner utilizada para criar ou digitalizar a imagem. Caso o ficheiro tenha sido modificado a partir do seu estado original, alguns detalhes poderão não reflectir completamente as mudanças efectuadas.
Fabricante da câmara | NIKON CORPORATION |
---|---|
Modelo da câmara | NIKON D50 |
Tempo de exposição | 1/100 seg (0.01) |
Data e hora da geração dos dados | 19h38min de 26 de Abril de 2007 |
Resolução horizontal | 240 dpi |
Resolução vertical | 240 dpi |
Software utilizado | Ver.1.00 |
Data e hora de modificação do ficheiro | 18h30min de 18 de Junho de 2007 |
Autor | Alexandre Buisse |
Licença | (c) Alexandre Buisse |
Programa de exposição | Manual |
Taxa de velocidade ISO | 200 |
Versão Exif | 2.21 |
Data e hora de digitalização | 19h38min de 26 de Abril de 2007 |
Velocidade do obturador | 6.643856 |
Polarização de exposição | 0 |
Abertura máxima | 0 |
Modo de medição | MédiaPonderadaAoCentro |
Fonte de luz | Desconhecida |
Flash | 0 |
Subsegundos DataHoraOriginal | 30 |
Subsegundos DataHoraDigitalizado | 30 |
Método de sensação | Sensor de áreas de cores de um chip |
Processamento de imagem personalizado | Processo normal |
Modo de exposição | Exposição manual |
Balanço de branco | Balanço de branco automático |
Proporção de zoom digital | 1 |
Tipo de captura da cena | Padrão |
Contraste | Forte |
Saturação | Normal |
Nitidez | Normal |
Distância de alcance do sujeito | Desconhecida |