Foxtrotの投稿記録
表示
利用者の編集は151回。 2006年7月5日 (水)にアカウント作成。
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日 (月)
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 トーク:プログラミング →インタプリタ/コンパイラで分ける必要性