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