ファイル:Agda proof.jpg

ページのコンテンツが他言語でサポートされていません。

元のファイル ‎(2,653 × 1,764 ピクセル、ファイルサイズ: 555キロバイト、MIME タイプ: image/jpeg)

ウィキメディア・コモンズ
  • このファイルは、ウィキメディア・コモンズから呼び出されています。
  • このファイルは、他のプロジェクトで使用されている可能性があります。
  • このファイルの解説やノートへの記入、履歴などの詳細の確認は、ウィキメディア・コモンズのファイルページ（ノート/履歴/ログ）を使用してください。
ウィキメディア・コモンズのファイルページにある説明を、以下に表示します。

概要

解説 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は、この作品を以下のライセンスで提供しています。
GNU head この文書は、フリーソフトウェア財団発行のGNUフリー文書利用許諾書 (GNU Free Documentation License) 1.2またはそれ以降のバージョンの規約に基づき、複製や再配布、改変が許可されます。不可変更部分、表紙、背表紙はありません。このライセンスの複製は、GNUフリー文書利用許諾書という章に含まれています。
w:ja:クリエイティブ・コモンズ
表示 継承 		このファイルはクリエイティブ・コモンズ 表示-継承 3.0 非移植ライセンスのもとに利用を許諾されています。
帰属: I, Nattfodd
あなたは以下の条件に従う場合に限り、自由に
  • 共有 – 本作品を複製、頒布、展示、実演できます。
  • 再構成 – 二次的著作物を作成できます。
あなたの従うべき条件は以下の通りです。
  • 表示 – あなたは適切なクレジットを表示し、ライセンスへのリンクを提供し、変更があったらその旨を示さなければなりません。これらは合理的であればどのような方法で行っても構いませんが、許諾者があなたやあなたの利用行為を支持していると示唆するような方法は除きます。
  • 継承 – もしあなたがこの作品をリミックスしたり、改変したり、加工した場合には、あなたはあなたの貢献部分を元の作品とこれと同一または互換性があるライセンスの下に頒布しなければなりません。
このライセンスのテンプレートは、GFDLのライセンス・アップデートによりこのファイルに追加されたものです。
w:ja:クリエイティブ・コモンズ
表示 継承
このファイルはクリエイティブ・コモンズ 表示-継承 2.5 一般、2.0 一般、1.0 一般のライセンスのもとに利用を許諾されています。
帰属: I, Nattfodd
あなたは以下の条件に従う場合に限り、自由に
  • 共有 – 本作品を複製、頒布、展示、実演できます。
  • 再構成 – 二次的著作物を作成できます。
あなたの従うべき条件は以下の通りです。
  • 表示 – あなたは適切なクレジットを表示し、ライセンスへのリンクを提供し、変更があったらその旨を示さなければなりません。これらは合理的であればどのような方法で行っても構いませんが、許諾者があなたやあなたの利用行為を支持していると示唆するような方法は除きます。
  • 継承 – もしあなたがこの作品をリミックスしたり、改変したり、加工した場合には、あなたはあなたの貢献部分を元の作品とこれと同一または互換性があるライセンスの下に頒布しなければなりません。
あなたは上記のライセンスから、どれか一つ以上を選択できます。

キャプション

このファイルの内容を1行で記述してください

このファイルに描写されている項目

題材

成立日

26 4 2007

露光時間

0.01 秒

チェックサム

901eccd8dba3b0571635d2eba84dafa3482a998e

使用された手段・手法: SHA-1

データサイズ

568,619 バイト

全高

1,764 ピクセル

全幅

2,653 ピクセル

ファイルの履歴

過去の版のファイルを表示するには、その版の日時をクリックしてください。

日付と時刻サムネイル寸法利用者コメント
現在の版2007年6月18日 (月) 16:412007年6月18日 (月) 16:41時点における版のサムネイル2,653 × 1,764 (555キロバイト)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

以下の​ 2 ページがこのファイルを使用しています:

グローバルなファイル使用状況

以下に挙げる他のウィキがこの画像を使っています:

メタデータ

このファイルには、追加情報があります (おそらく、作成やデジタル化する際に使用したデジタルカメラやスキャナーが追加したものです)。

このファイルが元の状態から変更されている場合、修正されたファイルを完全に反映していない項目がある場合があります。

「https://ja.wikipedia.org/wiki/ファイル:Agda_proof.jpg」から取得