Mandel59の投稿記録

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 →部分関数と意味近似オーダー: 訳の修正