YMobiによるアップロード
この特別ページでは、アップロードされたファイルをすべて表示します。
日時 | 名前 | サムネイル | サイズ | 概要 |
---|---|---|---|---|
2012年5月9日 (水) 20:54 | One-hole-context-composition.png (ファイル) | 14キロバイト | ワンホールコンテキストの合成 == ライセンス == {{CC-BY-SA-2.5}} | |
2012年5月9日 (水) 20:53 | One-hole-context-product.png (ファイル) | 16キロバイト | ワンホールコンテキストの乗法 == ライセンス == {{CC-BY-SA-2.5}} | |
2012年5月9日 (水) 20:52 | One-hole-context-plug.png (ファイル) | 11キロバイト | == ライセンス == {{CC-BY-SA-2.5}} | |
2012年5月9日 (水) 20:50 | One-hole-context-Tree.png (ファイル) | 14キロバイト | ツリーの穴 == ライセンス == {{CC-BY-SA-3.0}} | |
2012年5月7日 (月) 12:53 | Maybe-graph-strict.png (ファイル) | 9キロバイト | 正格なMaybe型の<math>\sqsubseteq</math>におけるグラフ。 == ライセンス == {{PD}} | |
2012年5月7日 (月) 12:52 | Maybe-graph.png (ファイル) | 11キロバイト | Maybe型の<math>\sqsubseteq</math>におけるグラフ。 == ライセンス == {{PD}} | |
2012年5月7日 (月) 12:50 | Bool-graph.png (ファイル) | 6キロバイト | ブール型の<math>\sqsubseteq</math>グラフ。 == ライセンス == {{PD}} | |
2012年5月7日 (月) 12:48 | Int-graph.png (ファイル) | 8キロバイト | Graph of the <math>\sqsubseteq</math> partial order on integers. == ライセンス == {{PD}} | |
2012年5月7日 (月) 12:36 | Labyrinth-Finger.png (ファイル) | 27キロバイト | 指で持ち上げてZipperを得る == ライセンス == {{CC-BY-SA-3.0}} | |
2012年5月7日 (月) 12:35 | Labyrinth-KeepStraightOn.png (ファイル) | 33キロバイト | Zipperの動作 == ライセンス == {{CC-BY-SA-2.5}} | |
2012年5月7日 (月) 12:33 | Labyrinth-TurnRight.png (ファイル) | 31キロバイト | 動作におけるzipper == ライセンス == {{CC-BY-SA-3.0}} | |
2012年5月7日 (月) 12:31 | Labyrinth-Zipper.png (ファイル) | 15キロバイト | zipperを取得するためにアリアドネの糸を統合 == ライセンス == {{CC-BY-SA-2.5}} | |
2012年5月7日 (月) 12:28 | Labyrinth-Thread.png (ファイル) | 16キロバイト | 木構造の位置としてのアリアドネの糸 {{CC-BY-SA-2.5}} | |
2012年5月7日 (月) 12:15 | Labyrinth-Tree.png (ファイル) | 24キロバイト | 循環のない迷宮とその木構造の表現 |