アットウィキロゴ
大久保弘崇
ページ一覧
アットウィキロゴ
大久保弘崇
ページ一覧
大久保弘崇
掲示板 掲示板 ページ検索 ページ検索 メニュー メニュー
管理メニュー

大久保弘崇

Errata-5

最終更新：

hirotakaohkubo

- view
管理者のみ編集可

Chapter 9


p.59 l.-1

Wrong:
\textit{cclique } (p : \textit{ps}))
Correct:
\textit{cclique } (p : \textit{ps})

p.62 l.8

Wrong:
xs \leadsto ys = not \, (null \, xs) \Rightarrow xs = ys
Correct:
xs \leadsto ys = not \, (null \, xs) \Rightarrow xs == ys

Chapter 10


p.66 l.2 and l.8

Wrong:
x : \textit{nub } (\textit{xs} \backslash\backslash [x])) \, \textrm{min}
Correct:
x : \textit{nub } (\textit{xs} \backslash\backslash [x]) \, \textrm{min}

p.70 Expression "We need to compute"

Wrong:
(x_1,\{x_2,x_3,\ldots x_n\}), (x_2,\{x_3,\ldots,x_n\}),\ldots (x_n,\{\})
Correct:
(x_1,\{x_2,x_3,\ldots,x_n\}), (x_2,\{x_3,\ldots,x_n\}),\ldots,(x_n,\{\})

Chapter 11


p.76 definition of step

Wrong:
\textit{step } (\textit{ess}, \textit{nss}, \textit{mss}, \textit{sss}) \, x =
Correct:
\textit{step } (\textit{ess}, \textit{sss}, \textit{mss}, \textit{nss}) \, x =


Place comment here

Name
Message
「Errata-5」をウィキ内検索
記事メニュー
最近更新されたスレッド
    +新規スレッドを作成する
    最近更新されたページ
    もっと見る
    ウィキ募集バナー