Mandel59の投稿記録
表示
利用者の編集は6回。 2008年11月23日 (日)にアカウント作成。
2015年8月23日 (日)
- 10:212015年8月23日 (日) 10:21 差分 履歴 +42 Haskell/Denotational semantics →ボトムは非停止性を含む: 訳の修正
- 09:502015年8月23日 (日) 09:50 差分 履歴 −42 Haskell/Denotational semantics オーダー→順序、最小の要素→最小元
- 09:462015年8月23日 (日) 09:46 差分 履歴 +103 Haskell/Denotational semantics →収束: 訳の修正
2015年5月25日 (月)
- 05:592015年5月25日 (月) 05:59 差分 履歴 +170 Haskell/Denotational semantics →階乗関数の近似: 訳の修正
2015年5月20日 (水)
- 22:002015年5月20日 (水) 22:00 差分 履歴 −16 Haskell/Denotational semantics →単調性(Monotonicity): 訳の修正
- 21:422015年5月20日 (水) 21:42 差分 履歴 +102 Haskell/Denotational semantics →部分関数と意味近似オーダー: 訳の修正