ファイル一覧
この特別ページでは、アップロードされたすべてのファイルを表示します。 利用者によりフィルタ処理された場合、その利用者がアップロードした最新バージョンのファイルのみが表示されます。
 日時 |
名前 | サムネイル | サイズ | 利用者 | 概要 |
|---|---|---|---|---|---|
| 2012年5月9日 (水) 20:54 | One-hole-context-composition.png (ファイル) |  | 14キロバイト | YMobi | (ワンホールコンテキストの合成 == ライセンス == {{CC-BY-SA-2.5}}) |
| 2012年5月9日 (水) 20:53 | One-hole-context-product.png (ファイル) |  | 16キロバイト | YMobi | (ワンホールコンテキストの乗法 == ライセンス == {{CC-BY-SA-2.5}}) |
| 2012年5月9日 (水) 20:52 | One-hole-context-plug.png (ファイル) |  | 11キロバイト | YMobi | (== ライセンス == {{CC-BY-SA-2.5}}) |
| 2012年5月9日 (水) 20:50 | One-hole-context-Tree.png (ファイル) |  | 14キロバイト | YMobi | (ツリーの穴 == ライセンス == {{CC-BY-SA-3.0}}) |
| 2012年5月8日 (火) 07:09 | List-graph.png (ファイル) |  | 23キロバイト | Foxtrot | (間違えて背景不透明でアップロードしてしまったので、背景を透明にして再び) |
| 2012年5月7日 (月) 12:53 | Maybe-graph-strict.png (ファイル) |  | 9キロバイト | YMobi | (正格なMaybe型の<math>\sqsubseteq</math>におけるグラフ。 == ライセンス == {{PD}}) |
| 2012年5月7日 (月) 12:52 | Maybe-graph.png (ファイル) |  | 11キロバイト | YMobi | (Maybe型の<math>\sqsubseteq</math>におけるグラフ。 == ライセンス == {{PD}} ) |
| 2012年5月7日 (月) 12:50 | Bool-graph.png (ファイル) |  | 6キロバイト | YMobi | (ブール型の<math>\sqsubseteq</math>グラフ。 == ライセンス == {{PD}} ) |
| 2012年5月7日 (月) 12:48 | Int-graph.png (ファイル) |  | 8キロバイト | YMobi | (Graph of the <math>\sqsubseteq</math> partial order on integers. == ライセンス == {{PD}}) |
| 2012年5月7日 (月) 12:36 | Labyrinth-Finger.png (ファイル) |  | 27キロバイト | YMobi | (指で持ち上げてZipperを得る == ライセンス == {{CC-BY-SA-3.0}}) |
| 2012年5月7日 (月) 12:35 | Labyrinth-KeepStraightOn.png (ファイル) |  | 33キロバイト | YMobi | (Zipperの動作 == ライセンス == {{CC-BY-SA-2.5}}) |
| 2012年5月7日 (月) 12:33 | Labyrinth-TurnRight.png (ファイル) |  | 31キロバイト | YMobi | (動作におけるzipper == ライセンス == {{CC-BY-SA-3.0}}) |
| 2012年5月7日 (月) 12:31 | Labyrinth-Zipper.png (ファイル) |  | 15キロバイト | YMobi | (zipperを取得するためにアリアドネの糸を統合 == ライセンス == {{CC-BY-SA-2.5}}) |
| 2012年5月7日 (月) 12:28 | Labyrinth-Thread.png (ファイル) |  | 16キロバイト | YMobi | (木構造の位置としてのアリアドネの糸 {{CC-BY-SA-2.5}}) |
| 2012年5月7日 (月) 12:15 | Labyrinth-Tree.png (ファイル) |  | 24キロバイト | YMobi | (循環のない迷宮とその木構造の表現) |
| 2011年7月19日 (火) 14:57 | Not-a-cat.png (ファイル) |  | 12キロバイト | Foxtrot | (http://en.wikibooks.org/wiki/File:Not-a-cat.png) |
| 2011年7月18日 (月) 11:52 | Monad-law-1-lists.png (ファイル) |  | 25キロバイト | Foxtrot | (http://en.wikibooks.org/wiki/File:Monad-law-1-lists.png) |
| 2011年7月18日 (月) 11:50 | Unit-join.png (ファイル) |  | 13キロバイト | Foxtrot | (http://en.wikibooks.org/wiki/File:Unit-join.png) |
| 2011年7月18日 (月) 09:22 | Functor.png (ファイル) |  | 45キロバイト | Foxtrot | (http://en.wikibooks.org/wiki/File:Functor.png) |
| 2011年7月16日 (土) 12:08 | Composition-ex.png (ファイル) |  | 12キロバイト | Foxtrot | (http://en.wikibooks.org/wiki/File:Composition-ex.png) |
| 2011年7月16日 (土) 11:59 | Simple-cat.png (ファイル) |  | 11キロバイト | Foxtrot | (http://en.wikibooks.org/wiki/File:Simple-cat.png) |
| 2011年2月7日 (月) 06:14 | 円周角14.jpg (ファイル) |  | 7キロバイト | Noo0052 | |
| 2011年2月7日 (月) 06:13 | 円周角13.jpg (ファイル) |  | 7キロバイト | Noo0052 | |
| 2011年2月7日 (月) 06:12 | 円周角12.jpg (ファイル) |  | 6キロバイト | Noo0052 | |
| 2011年2月7日 (月) 05:58 | 円周角11.jpg (ファイル) |  | 4キロバイト | Noo0052 | (円の接線) |
| 2011年2月6日 (日) 08:12 | 円周角9.jpg (ファイル) |  | 7キロバイト | Noo0052 | |
| 2011年2月6日 (日) 08:12 | 円周角8.jpg (ファイル) |  | 7キロバイト | Noo0052 | |
| 2011年2月6日 (日) 08:11 | 円周角7.jpg (ファイル) |  | 6キロバイト | Noo0052 | (2011年2月6日 (日)08:10の版へ差し戻し) |
| 2011年2月6日 (日) 07:55 | 円周角10.jpg (ファイル) |  | 5キロバイト | Noo0052 | (円周角の定理の逆(4)) |
| 2011年2月6日 (日) 06:31 | 円周角6.jpg (ファイル) |  | 6キロバイト | Noo0052 | (円周角と弧) |
| 2011年2月5日 (土) 06:25 | 円周角5.jpg (ファイル) |  | 5キロバイト | Noo0052 | (半円の円周角) |
| 2011年2月5日 (土) 06:24 | 円周角4.jpg (ファイル) |  | 5キロバイト | Noo0052 | |
| 2011年2月5日 (土) 06:23 | 円周角3.jpg (ファイル) |  | 6キロバイト | Noo0052 | (円周角の証明(2)) |
| 2011年2月5日 (土) 06:23 | 円周角2.jpg (ファイル) |  | 5キロバイト | Noo0052 | (円周角の証明(1)) |
| 2011年2月5日 (土) 05:45 | 円周角1.jpg (ファイル) |  | 6キロバイト | Noo0052 | (円周角と中心角) |
| 2010年10月18日 (月) 15:00 | Hendoku2.JPG (ファイル) |  | 33キロバイト | 梯倫 | |
| 2010年10月18日 (月) 14:59 | Hendoku1.JPG (ファイル) |  | 36キロバイト | 梯倫 | |
| 2010年10月17日 (日) 17:14 | Kootsuten.JPG (ファイル) |  | 10キロバイト | 梯倫 | (本文と返り点は『中国古典小説選 閲微草堂筆記』(明治書院)P.61から引用。) |
| 2010年10月17日 (日) 16:42 | Hendoku3.JPG (ファイル) |  | 7キロバイト | 梯倫 | (「毎」「雖」を含む文。) |
| 2010年10月9日 (土) 08:04 | Reten2.JPG (ファイル) |  | 2キロバイト | 梯倫 | |
| 2010年10月9日 (土) 07:37 | Ichi-ni-santen.JPG (ファイル) |  | 4キロバイト | 梯倫 | |
| 2010年10月9日 (土) 07:26 | Syu-jyutsu-ho-moku.JPG (ファイル) |  | 4キロバイト | 梯倫 | |
| 2010年10月9日 (土) 07:25 | Syu-jyuysu-moku-ho.JPG (ファイル) |  | 9キロバイト | 梯倫 | |
| 2010年10月9日 (土) 07:25 | Syu-jyutsu-ho.JPG (ファイル) |  | 7キロバイト | 梯倫 | |
| 2010年10月8日 (金) 20:51 | Haifun-ichiniten.JPG (ファイル) |  | 4キロバイト | 梯倫 | |
| 2010年10月8日 (金) 20:41 | Syu-jyutsu-moku.JPG (ファイル) |  | 2キロバイト | 梯倫 | |
| 2010年10月8日 (金) 20:41 | Syu-jyutsu.JPG (ファイル) |  | 7キロバイト | 梯倫 | |
| 2010年10月8日 (金) 20:40 | Jyochugeten.JPG (ファイル) |  | 5キロバイト | 梯倫 | |
| 2010年10月8日 (金) 20:38 | Ichiniten2.JPG (ファイル) |  | 3キロバイト | 梯倫 | |
| 2010年9月25日 (土) 18:27 | Ichireten.JPG (ファイル) |  | 4キロバイト | 梯倫 |
 最初のページ |
 前のページ |
 次のページ |
 最後のページ |
