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キロバイト | 循環のない迷宮とその木構造の表現 |
