YMobiの投稿記録

2012年5月17日 (木)

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

2012年5月14日 (月)

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

2012年5月13日 (日)

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

2012年5月12日 (土)

• 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 →機械的な微分

2012年5月11日 (金)

• 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 →帰結

2012年5月10日 (木)

• 15:282012年5月10日 (木) 15:28 差分 履歴 +3 M 利用者:YMobi/Haskell/Zipper →不動点の微分
• 15:182012年5月10日 (木) 15:18 差分 履歴 +285 M 利用者:YMobi/Haskell/Zipper →不動点の微分
• 15:062012年5月10日 (木) 15:06 差分 履歴 +9 M 利用者:YMobi/Haskell/Zipper →不動点の微分
• 15:042012年5月10日 (木) 15:04 差分 履歴 +12 M 利用者:YMobi/Haskell/Zipper →不動点の微分

2012年5月9日 (水)

• 21:132012年5月9日 (水) 21:13 差分 履歴 +12,580 Haskell/Zippers →データ型の微分
• 21:062012年5月9日 (水) 21:06 差分 履歴 −3 M 利用者:YMobi/Haskell/Zipper →機械的な微分
• 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 →機械的な微分

2012年5月8日 (火)

• 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 →機械的な微分

2012年5月7日 (月)

• 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:412012年5月7日 (月) 12:41 差分 履歴 −142 M 利用者:YMobi 編集の要約なし
• 12:402012年5月7日 (月) 12:40 差分 履歴 +30 利用者:YMobi →翻訳
• 12:122012年5月7日 (月) 12:12 差分 履歴 +21,808 N Haskell/Zippers ページの作成：「{{Haskell minitoc|chapter=Advanced Haskell}} == テセウスとZipper == === 迷宮 === 「テセウス、何か手を打たなければならない。」ホメロス...」
• 12:022012年5月7日 (月) 12:02 差分 履歴 +114 M 利用者:YMobi/Haskell/Zipper →迷宮
• 11:422012年5月7日 (月) 11:42 差分 履歴 +1,638 利用者:YMobi/Haskell/Zipper →Zippers via Differentiation
• 10:122012年5月7日 (月) 10:12 差分 履歴 +5,435 利用者:YMobi/Haskell/Zipper →Mechanical Differentiation
• 07:262012年5月7日 (月) 07:26 差分 履歴 +568 利用者:YMobi/Haskell/Zipper →Differentiation of data types
• 07:072012年5月7日 (月) 07:07 差分 履歴 −3 M 利用者:YMobi/Haskell/Zipper →迷宮