YMobiの投稿記録

投稿の検索開く折り畳む

⧼contribs-top⧽

IPアドレスまたは利用者名:

名前空間:

選択した名前空間を隠す

関連付けられた名前空間も含める

タグ絞り込み:

選択した名前空間を隠す

最新版の編集のみを表示

ページ作成を伴う編集のみを表示

細部の編集を表示しない

⧼contribs-date⧽

この日から:

この日まで:

09:042012年5月17日 (木) 09:04 差分履歴 −9‎ M 利用者:YMobi ‎編集の要約なし最新
09:032012年5月17日 (木) 09:03 差分履歴 +5,666‎ Haskell/Zippers ‎ →‎微分を介したZipper

19:572012年5月14日 (月) 19:57 差分履歴 +6,626‎ Haskell/Zippers ‎ →‎機械的な微分
19:502012年5月14日 (月) 19:50 差分履歴 −10‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎Zipper vs コンテキスト最新

02:492012年5月13日 (日) 02:49 差分履歴 +9‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎帰結

21:472012年5月12日 (土) 21:47 差分履歴 +9‎ M 利用者:YMobi ‎編集の要約なし
21:372012年5月12日 (土) 21:37 差分履歴 +651‎ 利用者:YMobi/Haskell/Zipper ‎ →‎Zipper vs コンテキスト
21:182012年5月12日 (土) 21:18 差分履歴 +317‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎不動点の微分
21:072012年5月12日 (土) 21:07 差分履歴 +195‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎微分を介したZipper
20:582012年5月12日 (土) 20:58 差分履歴 +1,023‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎機械的な微分

15:172012年5月11日 (金) 15:17 差分履歴 +43‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎微分を介したZipper
15:002012年5月11日 (金) 15:00 差分履歴 −3‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎帰結
14:522012年5月11日 (金) 14:52 差分履歴 +3‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎帰結
14:372012年5月11日 (金) 14:37 差分履歴 +12‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎帰結

21:132012年5月9日 (水) 21:13 差分履歴 +12,580‎ Haskell/Zippers ‎ →‎データ型の微分
21:062012年5月9日 (水) 21:06 差分履歴 −3‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎機械的な微分
20:542012年5月9日 (水) 20:54 差分履歴 +83‎ N ファイル:One-hole-context-composition.png ‎ ワンホールコンテキストの合成 == ライセンス == {{CC-BY-SA-2.5}} 最新
20:532012年5月9日 (水) 20:53 差分履歴 +83‎ N ファイル:One-hole-context-product.png ‎ ワンホールコンテキストの乗法 == ライセンス == {{CC-BY-SA-2.5}} 最新
20:522012年5月9日 (水) 20:52 差分履歴 +39‎ N ファイル:One-hole-context-plug.png ‎ == ライセンス == {{CC-BY-SA-2.5}} 最新
20:502012年5月9日 (水) 20:50 差分履歴 +56‎ N ファイル:One-hole-context-Tree.png ‎ ツリーの穴 == ライセンス == {{CC-BY-SA-3.0}} 最新
10:342012年5月9日 (水) 10:34 差分履歴 −3‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎不動点の微分
10:342012年5月9日 (水) 10:34 差分履歴 +31‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎不動点の微分
10:302012年5月9日 (水) 10:30 差分履歴 −15‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎Zipper vs コンテキスト
09:342012年5月9日 (水) 09:34 差分履歴 +6‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎帰結
09:322012年5月9日 (水) 09:32 差分履歴 +1,050‎ 利用者:YMobi/Haskell/Zipper ‎ →‎Conclusion
09:172012年5月9日 (水) 09:17 差分履歴 −9‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎機械的な微分

14:052012年5月8日 (火) 14:05 差分履歴 +53‎ M Haskell/Denotational semantics ‎ →‎最小不動点としての解釈
13:252012年5月8日 (火) 13:25 差分履歴 −14‎ M 利用者:YMobi ‎ →‎翻訳
13:122012年5月8日 (火) 13:12 差分履歴 +241‎ M 利用者:YMobi ‎ →‎翻訳
13:052012年5月8日 (火) 13:05 差分履歴 +4‎ 利用者:YMobi ‎ →‎翻訳
12:322012年5月8日 (火) 12:32 差分履歴 −6‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎機械的な微分
09:562012年5月8日 (火) 09:56 差分履歴 −174‎ ファイル:List-graph.png ‎編集の要約なし最新
09:472012年5月8日 (火) 09:47 差分履歴 −98‎ M Haskell/不動点と再帰 ‎ →‎データ型としての Fix
09:202012年5月8日 (火) 09:20 差分履歴 −6‎ M Haskell/カリー=ハワード同型 ‎ →‎公理的論理
08:502012年5月8日 (火) 08:50 差分履歴 +12‎ 利用者:YMobi/Haskell/Zipper ‎ →‎引数の関数に関する微分
08:472012年5月8日 (火) 08:47 差分履歴 +908‎ 利用者:YMobi/Haskell/Zipper ‎ →‎Zippers vs Contexts
08:342012年5月8日 (火) 08:34 差分履歴 +381‎ 利用者:YMobi/Haskell/Zipper ‎ →‎Differentation with respect to functions of the argument
07:252012年5月8日 (火) 07:25 差分履歴 −3‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎不動点の微分
07:132012年5月8日 (火) 07:13 差分履歴 +1,299‎ 利用者:YMobi/Haskell/Zipper ‎ →‎Differentation of Fixed Point
06:172012年5月8日 (火) 06:17 差分履歴 +54‎ M 利用者:YMobi/Haskell/Zipper ‎ →‎機械的な微分

13:042012年5月7日 (月) 13:04 差分履歴 −17‎ M Haskell/Zippers ‎ →‎アリアドネのZipper
12:572012年5月7日 (月) 12:57 差分履歴 +302‎ N ファイル:List-graph.png ‎ ()型を要素とするリスト型の<math>\sqsubseteq</math>における部分的なグラフ。この表にはミスがあり、():[]が二回表示されている。赤い楕円で記された一方のみが正しく、他方は():\perp;でなけ...
12:532012年5月7日 (月) 12:53 差分履歴 +98‎ N ファイル:Maybe-graph-strict.png ‎ 正格なMaybe型の<math>\sqsubseteq</math>におけるグラフ。 == ライセンス == {{PD}} 最新
12:522012年5月7日 (月) 12:52 差分履歴 +89‎ N ファイル:Maybe-graph.png ‎ Maybe型の<math>\sqsubseteq</math>におけるグラフ。 == ライセンス == {{PD}} 最新
12:502012年5月7日 (月) 12:50 差分履歴 +81‎ N ファイル:Bool-graph.png ‎ ブール型の<math>\sqsubseteq</math>グラフ。 == ライセンス == {{PD}} 最新
12:482012年5月7日 (月) 12:48 差分履歴 +94‎ N ファイル:Int-graph.png ‎ Graph of the <math>\sqsubseteq</math> partial order on integers. == ライセンス == {{PD}} 最新

2012年5月17日 (木)

2012年5月14日 (月)

2012年5月13日 (日)

2012年5月12日 (土)

2012年5月11日 (金)

2012年5月10日 (木)

2012年5月9日 (水)

2012年5月8日 (火)

2012年5月7日 (月)