Foxtrotの投稿記録

2013年3月11日 (月)

• 06:232013年3月11日 (月) 06:23 差分 履歴 0 M Haskell/存在量化された型 →existential --> 存在 という言葉の説明
• 06:202013年3月11日 (月) 06:20 差分 履歴 +2 M Haskell/存在量化された型 →例: 異なる型が混合されたリスト
• 06:142013年3月11日 (月) 06:14 差分 履歴 +33 M Haskell/存在量化された型 →例: 異なる型が混合されたリスト

2012年5月11日 (金)

• 15:502012年5月11日 (金) 15:50 差分 履歴 −47 M Haskell/Denotational semantics →収束

2012年5月8日 (火)

• 12:472012年5月8日 (火) 12:47 差分 履歴 +33 M Haskell/Denotational semantics →収束
• 12:322012年5月8日 (火) 12:32 差分 履歴 +49 M Haskell/Denotational semantics →階乗関数の近似
• 11:362012年5月8日 (火) 11:36 差分 履歴 +39 M Haskell/Denotational semantics 編集の要約なし
• 07:202012年5月8日 (火) 07:20 差分 履歴 +26 M Haskell/Denotational semantics →単調性(Monotonicity)
• 07:092012年5月8日 (火) 07:09 差分 履歴 0 ファイル:List-graph.png Foxtrot「ファイル:List-graph.png」の新しい版をアップロードしました：間違えて背景不透明でアップロードしてしまったので、背景を透明にして再び
• 07:062012年5月8日 (火) 07:06 差分 履歴 0 ファイル:List-graph.png Foxtrot「ファイル:List-graph.png」の新しい版をアップロードしました：以前の版で指摘された間違いの修正。(_|_ : (_|_ : _|_)) ---- (_|_ : (_|_ : (_|_ : _|_))) という枝も要るかもしれない気はする。
• 06:592012年5月8日 (火) 06:59 差分 履歴 +3 M Haskell/Denotational semantics →部分関数と意味近似オーダー
• 06:572012年5月8日 (火) 06:57 差分 履歴 +52 M Haskell/Denotational semantics →部分関数と意味近似オーダー
• 06:442012年5月8日 (火) 06:44 差分 履歴 +29 M Haskell/Denotational semantics →⊥ ボトム(Bottom)
• 06:342012年5月8日 (火) 06:34 差分 履歴 +58 M Haskell/Denotational semantics →⊥ ボトム(Bottom)
• 06:182012年5月8日 (火) 06:18 差分 履歴 +52 M Haskell/Denotational semantics →部分関数と意味近似オーダー

2012年5月7日 (月)

• 07:262012年5月7日 (月) 07:26 差分 履歴 −27 M Haskell/存在量化された型 →forall keyword --> forall キーワード

2012年5月5日 (土)

• 18:152012年5月5日 (土) 18:15 差分 履歴 −6 M テンプレート:Haskell chapter/Fun with Types 編集の要約なし 最新
• 18:132012年5月5日 (土) 18:13 差分 履歴 +35,757 N Haskell/存在量化された型 mport from en:Editing Haskell/Existentially quantified types, 02:17, 29 April 2012‎
• 17:592012年5月5日 (土) 17:59 差分 履歴 +8 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →Example: runST 例: runST 最新
• 17:332012年5月5日 (土) 17:33 差分 履歴 +74 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →Further reading 参考文献
• 17:322012年5月5日 (土) 17:32 差分 履歴 −9 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →Explaining the term existential 存在 という言葉の説明
• 17:102012年5月5日 (土) 17:10 差分 履歴 +20 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →Example: heterogeneous lists 例: 異なる型が混合されたリスト
• 16:472012年5月5日 (土) 16:47 差分 履歴 −34 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 編集の要約なし
• 16:352012年5月5日 (土) 16:35 差分 履歴 +533 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →Further reading
• 16:282012年5月5日 (土) 16:28 差分 履歴 +246 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →Quantification as a primitive
• 16:252012年5月5日 (土) 16:25 差分 履歴 +4,429 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →Example: runST
• 14:592012年5月5日 (土) 14:59 差分 履歴 +38 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 編集の要約なし
• 14:212012年5月5日 (土) 14:21 差分 履歴 +6,173 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →Explaining the term existential
• 12:532012年5月5日 (土) 12:53 差分 履歴 +3,078 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →Example: heterogeneous lists
• 12:152012年5月5日 (土) 12:15 差分 履歴 −21 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →The forall keyword forall キーワード
• 12:122012年5月5日 (土) 12:12 差分 履歴 +3,201 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 →The forall keyword
• 10:192012年5月5日 (土) 10:19 差分 履歴 +607 M 利用者:Foxtrot/翻訳/Haskell/存在量化された型 編集の要約なし
• 09:542012年5月5日 (土) 09:54 差分 履歴 +16,757 N 利用者:Foxtrot/翻訳/Haskell/存在量化された型 import from en:Editing Haskell/Existentially quantified types, 02:17, 29 April 2012‎
• 09:502012年5月5日 (土) 09:50 差分 履歴 +160 M 利用者:Foxtrot 編集の要約なし 最新
• 03:162012年5月5日 (土) 03:16 差分 履歴 +89 M Haskell/カリー=ハワード同型 →論理演算と等価なもの
• 03:032012年5月5日 (土) 03:03 差分 履歴 +26 M Haskell/カリー=ハワード同型 編集の要約なし
• 02:582012年5月5日 (土) 02:58 差分 履歴 +9 M Haskell/カリー=ハワード同型 →導入
• 02:562012年5月5日 (土) 02:56 差分 履歴 +50 N Haskell/The Curry-Howard isomorphism Haskell/カリー=ハワード同型へのリダイレクト 最新
• 02:552012年5月5日 (土) 02:55 差分 履歴 +51,812 N Haskell/カリー=ハワード同型 http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism 03:20, 29 April 2012 の版をインポート、翻訳
• 02:402012年5月5日 (土) 02:40 差分 履歴 +83 M 利用者:Foxtrot/翻訳/Haskell/カリー=ハワード同型 →Intuitionistic vs classical logic 直観論理か古典論理か 最新
• 02:312012年5月5日 (土) 02:31 差分 履歴 +3 M 利用者:Foxtrot/翻訳/Haskell/カリー=ハワード同型 →Combinator calculus コンビネータ計算
• 02:302012年5月5日 (土) 02:30 差分 履歴 +18 M 利用者:Foxtrot/翻訳/Haskell/カリー=ハワード同型 →Axiomatic logic 公理的論理
• 02:252012年5月5日 (土) 02:25 差分 履歴 +66 M 利用者:Foxtrot/翻訳/Haskell/カリー=ハワード同型 →Logical operations and their equivalents 論理演算と等価なもの

2012年5月4日 (金)

• 13:052012年5月4日 (金) 13:05 差分 履歴 +42 M 利用者:Foxtrot/翻訳/Haskell/カリー=ハワード同型 編集の要約なし

2012年5月3日 (木)

• 13:322012年5月3日 (木) 13:32 差分 履歴 +34 M Haskell/不動点と再帰 編集の要約なし
• 13:282012年5月3日 (木) 13:28 差分 履歴 +40 N Haskell/Fix and recursion Haskell/不動点と再帰へのリダイレクト 最新
• 13:272012年5月3日 (木) 13:27 差分 履歴 +27,748 N Haskell/不動点と再帰 ページの作成：「{{Haskell minitoc|chapter=Wider Theory}} <!-- The <code>fix</code> function is a particularly weird-looking function when you first see it. However, it is useful for o...」
• 13:172012年5月3日 (木) 13:17 差分 履歴 +77 M 利用者:Foxtrot/翻訳/Haskell/不動点と再帰 編集の要約なし 最新
• 13:072012年5月3日 (木) 13:07 差分 履歴 +109 M 利用者:Foxtrot/翻訳/Haskell/不動点と再帰 編集の要約なし
• 03:242012年5月3日 (木) 03:24 差分 履歴 −12 M トーク:プログラミング →インタプリタ／コンパイラで分ける必要性