データ構造,アルゴリズム,デザインパターン総合ｽﾚ 3©2ch.net

**デフォルトの名無しさん転載ダメ©2ch.net** · 2016/06/19(日) 14:47:29.63

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

データ構造,アルゴリズム,デザインパターン総合ｽﾚ 2
http://echo.2ch.net/test/read.cgi/tech/1362301811/

【関連スレ】
3Dアルゴリズム全般
http://toro.2ch.net/test/read.cgi/tech/1164171086/
＜集大成＞アルゴリズム大辞典
http://toro.2ch.net/test/read.cgi/tech/1086272325/
アルゴリズム総合スレ in ム板
http://toro.2ch.net/test/read.cgi/tech/1217773415/

アルゴリズムとデータ構造 - Kaneko Lab.
ttp://www.kkaneko.com/adp/algo/index.html
アルゴリズムとデータ構造 - ソースコード探険隊
ttp://www.codereading.com/algo_and_ds/
各種アルゴリズムの C++ による実装 - Spaghetti Source
ttp://www.prefield.com/algorithm/
アルゴリズムとデータ構造 - プログラミングスレまとめ in VIP
ttp://vipprog.net/wiki/algo_and_data_const.html

**デフォルトの名無しさん** · 2017/07/22(土) 19:12:56.74

例えば、Pythonだとソートとかハッシュとかリストとかが用意されていますが、
データ構造を学ぶ上では高級すぎるのではないでしょうか？

**デフォルトの名無しさん** · 2017/07/22(土) 19:21:52.44

Sedgwick のアルゴリズムの教科書は、C++版やJava版があるよね。
C++版はちょっと古くて、C++11以降のモダンな書き方で改訂版を出してほしい。

自分は、アルゴリズムの教科書は疑似コードのみを示すの（MITのCormenの）で勉強したんだけど、失敗だったと思っている。
疑似コードを真似してそのまま実装してたから、一文字変数あまりまえ、クラスや構造体を定義することはなく、何でもかんでも配列で済ませるというクセがついてしまった。
もうちょっと、オブジェクト指向とかを勉強してからにすればよかったのかも。

**デフォルトの名無しさん** · 2017/07/23(日) 11:49:40.37

Javaとか連想配列使うだけでもいちいちnewとかキャストとか
鬱陶しい。

**デフォルトの名無しさん** · 2017/07/23(日) 14:58:46.77

アルゴリズムは抽象的で、言語仕様とは切り離されたものであるべきなのだ。
そうは言っても手続き型を意識したものになりがちで、これを関数型に書き直せと言われても一目難しいものがままある

**デフォルトの名無しさん** · 2017/07/23(日) 15:44:19.76

アルゴリズムイントロダクションを読んでいます。

http://imgur.com/xbuAPtJ.jpg

↑は、 ω 記法についてです。

「if the limit exists」

と書かれていますが、なぜこんなことを書いているのでしょうか？

意味不明です。

**デフォルトの名無しさん** · 2017/07/23(日) 15:46:31.20

g(n) が漸近的に正であるような関数であれば、

f(n) = ω(g(n))

⇔

lim f(n) / g(n) = ∞

ではないでしょうか？

「if the limit exists」などと書いてある理由が分かりません。

**デフォルトの名無しさん** · 2017/07/23(日) 15:51:14.63

アルゴリズムイントロダクションって結構いい加減ですよね。

やっぱりクヌースの本を読んだ方がいいのかもしれませんね。

**デフォルトの名無しさん** · 2017/07/23(日) 15:54:26.92

漸近的に正である関数
漸近的に非負である関数

について説明がありますが、

なぜ、漸近的に正である関数だけを考えないのでしょうか？

漸近的に非負である関数などこの本で登場する機会はあるのでしょうか？

**デフォルトの名無しさん** · 2017/07/23(日) 15:55:21.76

松坂君の夏休みの糞日記

**デフォルトの名無しさん** · 2017/07/23(日) 16:03:03.18

>>556-559
この基地外が人様を害さないことを祈るばかりだ。

**デフォルトの名無しさん** · 2017/07/23(日) 16:05:04.45

>>555
現実問題、アルゴリズムを書くコードはC、C++に限られる。
Fortran、Java、Python、C#など他の言語はそれで書かれたライブラリを呼ぶだけだ。

**デフォルトの名無しさん** · 2017/07/23(日) 16:09:19.74

機械のパフォーマンスを追求するあまりに
人間時間のパフォーマンスを際限なく犠牲にする池沼

**デフォルトの名無しさん** · 2017/07/23(日) 18:48:09.61

>>563
それはお前みたいな業務プログラマの視点

**デフォルトの名無しさん** · 2017/07/23(日) 19:06:54.73

>>564
何だよ業務プログラマって
俺は人に使役されてないし、インフラも構築できるし、
人工知能や数学もやってるんだぞ。
お前みたいなパフォーマンスオタクのほうが頭おかしいから。

**デフォルトの名無しさん** · 2017/07/23(日) 20:44:29.00

>Javaとか連想配列使うだけでもいちいちnewとかキャストとか
>鬱陶しい。
笑

**デフォルトの名無しさん** · 2017/07/23(日) 20:46:56.02

>>565
なんでそんなに必死なの?

**デフォルトの名無しさん** · 2017/07/23(日) 21:10:16.48

>>562
Youがライブラリ作ってもいいんだぞ

**デフォルトの名無しさん** · 2017/07/23(日) 23:45:48.25

アルゴリズムイントロダクションを読んでいます。

「関数 n^(1 + sin(n)) の指数部の値は 0 と 2 の間で振動し、その中間にあるすべての値をとる」

などと書かれていますが、明らかに間違っていますよね。

sin(n) = 1/sqrt(2) となるような自然数 n は存在しません。

何を考えているのでしょうか？

**デフォルトの名無しさん** · 2017/07/23(日) 23:54:11.92

n と書いておきながら n が R を動くと仮定しているとかそんなことはないですよね？

**デフォルトの名無しさん** · 2017/07/24(月) 00:08:11.63

原文なの？　IT関係の翻訳は誤訳だらけだよ。

**デフォルトの名無しさん** · 2017/07/24(月) 00:10:01.69

オリジナルのほうにも、

p.52
the value of the exponent in n^(1 + sin(n)) oscillates between 0 and 2, taking on all values in between

と書いてあります。

**デフォルトの名無しさん** · 2017/07/24(月) 00:21:28.79

>557
0<=c g(n) < f(n)

って書いてあるのだから、（0 < c g(n) でなく、0 <= c g(n) であることに注意）
g(n) = 0, if n > 3
1, if n <= 3
とかなら、
f(n)/g(n) の極限は存在しないよ。
だから、もし極限が存在すれば、という限定をつけたのだと思うよ。

**デフォルトの名無しさん** · 2017/07/24(月) 00:25:53.48

>>573

それだと、

極限が存在するかしないか以前に、

f(n) / g(n) は n ≦ 3 に対してしか定義されませんよね。

lim f(n) / g(n) と書いた以上は

∃n0 s.t. n ≧ n0 ⇒ g(n) ≠ 0

でないといけないと思います。

**デフォルトの名無しさん** · 2017/07/24(月) 00:27:22.94

たとえば、

関数 h(n) の定義域が {0, 1, 2, 3} のときに、

lim h(n) などそもそも考えられないわけです。

**デフォルトの名無しさん** · 2017/07/24(月) 00:31:02.81

>>573

まず、

0 <= c g(n)

となっているのが問題だと考えます。

g(n) は漸近的に正であるような関数でなければならないはずです。

**デフォルトの名無しさん** · 2017/07/24(月) 00:32:17.21

このあたりのところを4人の著者のうち誰が書いたのか知りませんが、
非常に出来が悪いですね。

世界標準とはとてもいえないと思います。

**デフォルトの名無しさん** · 2017/07/24(月) 00:33:52.43

書いてあるとおりにしか取れない。キミの解釈がむしろ分らない。
the value of the exponent って(1 + sin(n)) だよな。それは between 0 and 2で、taking on all values in betweenだよな。

nが自然数なのかは知らんけど、sin(n) = 1/sqrt(2) という解釈はどこから？

**デフォルトの名無しさん** · 2017/07/24(月) 00:36:55.54

「if the limit exists」と書いてある理由について考えられる唯一の可能性があります。

それは以下の可能性です。

f(n) = ω(g(n)) の定義では、 n は N を動くと考えている。

一方、

lim f(n) / g(n) = ∞

という式の n は R を動くと考えている。

**デフォルトの名無しさん** · 2017/07/24(月) 00:41:44.60

>>578

例としてそのような値を考えたということです。

0 < 1 + 1/sqrt(2) < 2

ですが、

1 + sin(n) = 1 + 1/sqrt(2) となるような n ∈ N は明らかに存在しません。

1 + sin(n) = 0
1 + sin(n) = 2

となるような n ∈ N も明らかに存在しませんが、 in between というのが

0 と 2 を含まない可能性を考えて、↑のような例にしました。

**デフォルトの名無しさん** · 2017/07/24(月) 00:51:03.16

やっぱりクヌースの本の完成度は群を抜いていますね。

**デフォルトの名無しさん** · 2017/07/24(月) 01:21:19.59

> the value of the exponent in n^(1 + sin(n)) oscillates between 0 and 2, taking on all values in between

書いてあるそのままの意味で、これは数学的に真で、
1 + sin(n) = 1 + 1/sqrt(2) を満たす自然数nが存在するなんてどこにも書いてないし、言ってない。
直前にnは自然数と定義してるならそれも引用してもらわないと判断のしようがない。おそらくnumberの略だろう。変数n。

**デフォルトの名無しさん** · 2017/07/24(月) 01:46:14.40

もっと本質的な勘違いか。
AならばBはA=Bではないし、AならばBは、BならばAでもないぞ。
言ってるのはthe value, taking on all values in between だけだからな。

**デフォルトの名無しさん** · 2017/07/24(月) 03:48:35.95

>>582

n については何も記述がありません。

そもそも、普通なら関数について書くときには、定義域を書くはずですが、
書いてありません。

習慣として、 n と書けば自然数の集合を動く変数ということになりますので、
そう解釈するのが妥当です。

1 + sin(n) が 0 と 2　の間のすべての値をとるのであれば、当然、

0 < 1 + 1/sqrt(2) < 2 ですので、値 1 + 1/sqrt(2) もとります。

**デフォルトの名無しさん** · 2017/07/24(月) 03:58:43.71

念のため、公式ページの正誤表を見てみましたが、書いてありませんでした。

かなり売れている本だと思いますが、飛ばし読みしている人ばかりなのでしょうか？

**デフォルトの名無しさん** · 2017/07/24(月) 04:32:03.26

数学の世界ならそうだろうが、数学本じゃなくてプログラミングの本なんだろ？
sin(n)　と書いてあればプログラマはたいてい n をfloat型かdouble型の変数だと解釈する。
=　一つとっても大抵のプログラミング言語は等式ではなく、代入演算子と定義している。
分野が違うのだから論理的におかしいと思ったらまずは定義を疑う。数学だってブール代数で1+1=1って書く場合もあるだろう。
今のプログラミング言語は+や-の演算子すら再定義できるのだ。

仮に自然数だとしても、次に本質的な論理問題。>>583 これ。

> 0 と 2　の間のすべての値をとる

これも怪しい。take on All Value なので、on　～の上にという意味で、日本語にするならば結果がその範囲内に収まるだろう。
All values in between take the valueではないのだ。AはBのとき、BはAか？もちろん偽。
つまり1 + sin(n) = 1 + 1/sqrt(2)を保証する記述ではない。

**デフォルトの名無しさん** · 2017/07/24(月) 09:36:19.03

馬鹿のアスペにかまうな

**デフォルトの名無しさん** · 2017/07/24(月) 15:13:09.34

>>569
>「関数 n^(1 + sin(n)) の指数部の値は 0 と 2 の間で振動し、その中間にあるすべての値をとる」

指数部の値は 0 と 2 の間で振動し、その中間にあるすべての値をとるんじゃね？

**デフォルトの名無しさん** · 2017/07/25(火) 00:02:25.50

nが自然数か何かも書いてないのに勝手に自然数だと勘違いして発狂するとか何考えてんでしょうね

**デフォルトの名無しさん** · 2017/07/25(火) 08:35:49.61

sin(n) = 1/sqrt(2) のとき n = 約0.785。 degだと45度。
って、そういう話じゃなくて？

**デフォルトの名無しさん** · 2017/07/25(火) 16:29:58.97

nが自然数でも問題ない

**デフォルトの名無しさん** · 2017/07/25(火) 16:30:50.54

そもそも指数部(1 + sin(n))の話しかしてないんだから

**デフォルトの名無しさん** · 2017/07/26(水) 01:18:42.44

え？

**デフォルトの名無しさん** · 2017/07/26(水) 09:54:26.90

お

**デフォルトの名無しさん** · 2017/07/28(金) 14:53:29.74

凄いことにきずいたぜ！
「ポリモーフィズム」と「ラッパー」は反対の関係にあるんだ。
これによって「メソッド名」と「中身」が多対多の関係にできるってことだぜ。

**デフォルトの名無しさん** · 2017/07/29(土) 09:28:33.20

ライブラリってログを吐いてもいいの？

**デフォルトの名無しさん** · 2017/08/06(日) 03:45:40.20

シーケンス図とかスタックトレースって都庁なんだな。
おれの言いたいことが分かるか？「東京都庁」なんだよ。

**デフォルトの名無しさん** · 2017/08/06(日) 03:55:13.24

待てよ・・・ピラミッドやサクラダファミリアも同じ形をしてるじゃないか！
この世界の真実を見たぞ・・・

**デフォルトの名無しさん** · 2017/08/06(日) 16:19:04.74

ムーの読みすぎ

**デフォルトの名無しさん** · 2017/08/08(火) 23:50:20.23

つかオブジェクト名繋げないでいきなり関数とは変数とか
呼ぶやつまじでやめて。
継承した変数や関数なのか、このクラスで定義した変数や関数
のかわからないじゃん。
このクラスで定義したものだったら thisつけろよ。

**デフォルトの名無しさん** · 2017/08/09(水) 01:40:35.40

>>600
ちょっと何言ってるかよくわからない

**デフォルトの名無しさん** · 2017/08/09(水) 06:04:34.33

言語なによ

**デフォルトの名無しさん** · 2017/08/09(水) 16:52:44.18

javascriptωじゃね

**デフォルトの名無しさん** · 2017/08/11(金) 13:57:12.96

デザパタは覚えたし、クラス図やシーケンス図も読める、クラス図の通り
にコーディングもできるし、だいたい何らかのパターンに当てはめ
ればなんとか動く。
命名規則も全部決めてるからその規則通りに書けば自動的に動く
でも「なんでそうなるの？」って質問されるとさっぱりわからないんだよなぁ…
デザパタに則っていないコードとか、俺と違う命名規則の人が書いた
コードも一切理解不能(無能)。

**デフォルトの名無しさん** · 2017/08/11(金) 14:22:23.73

>>604
ただの作業員じゃん(笑)

**デフォルトの名無しさん** · 2017/08/11(金) 16:40:01.48

>>604
なんとなくだけど、将棋弱そう

**デフォルトの名無しさん** · 2017/08/11(金) 16:48:21.14

>>604
なんとなくだけど、頭弱そう

**デフォルトの名無しさん** · 2017/08/11(金) 17:03:34.23

IQ90くらいだろ

**デフォルトの名無しさん** · 2017/08/11(金) 17:12:35.31

そんなに煽ってやるなよ

**デフォルトの名無しさん** · 2017/08/11(金) 17:20:22.56

372仕様書無しさん2017/08/11(金) 10:31:43.41
フリーランスで検索すると引っかかる零細ITがやっているサイトはだめだ。
高額に見せているけど実際は50万前後
JIET加入した方がいいよ。案件は毎日千件以上末端価格は60万円　平凡な稼働時間の80万円の案件もある。
ユー子が求人をだしてる。名刺も渡せる。ユー子に名刺が渡せるんだぞ。夢のようだ

それらの案件まさぐってHPで転売していたのが零細ITがやるフリーランスサイト

自称エージェントはJIETから流れてくる案件を転売してるだけだった。
JIETに加入すれば誰でも案件に応募することができた。収入が40万50万台にならなくて済む

473非決定性名無しさん2017/08/03(木) 15:21:30.71

JIETに加入すれば誰でも3次60万からスタートだ。フリーランスのサイトをやってる
自称エージェントもそこから案件情報を取得しきてる。サイトで60万で釣って40万から55万の
間でやらしている。

**デフォルトの名無しさん** · 2017/08/11(金) 22:22:00.80

>>604
キミは理想のPGだよ。

**デフォルトの名無しさん** · 2017/08/11(金) 23:53:53.43

>>604
いまどきデザインパターン？

**デフォルトの名無しさん** · 2017/08/12(土) 05:31:45.11

オートマ限定免許だな

**デフォルトの名無しさん** · 2017/08/12(土) 11:21:25.45

ちょｗｗ俺煽られすぎｗｗｗ
でも、モノは完成するようになったぜ。
要求、仕様から動作原理すっ飛ばして、命名規則だけで
モノが完成するから結構職場では役立ってるぜ。
他のプログラマはフレームワークの使い方がやっとだし
一人だけ技術力があるゴリラ野郎は人望がなくて自分の技術力が
人に盗まれるのを極力恐れているから基本的に部下に意地悪して
教えてあげれば済むことも何も教えてくれない。
社長はどんどん仕事取ってきて、だいたい半数のプロジェクトが進まずに凍結状態に
なり、ブチ切れた客をなんとかかわし続ける日々だ。
そんな状況で俺の場合動くモノを比較的完成する方だからゴリラには結構
気に入られて給料は上がったよ。会社がいつまで持つかは分からんが。

**デフォルトの名無しさん** · 2017/08/12(土) 11:28:43.73

このスレは初心者スレだったな。

**デフォルトの名無しさん** · 2017/08/12(土) 11:55:15.14

>>614
どこを縦読み？

**デフォルトの名無しさん** · 2017/08/12(土) 14:08:41.06

戦隊もので言えばブラックじゃないですか！

**デフォルトの名無しさん** · 2017/09/01(金) 03:15:32.30

状態遷移のように汎用的に使える技術って他にも何かありますか？

**デフォルトの名無しさん** · 2017/09/01(金) 09:04:39.07

ストラテジーが最強

**デフォルトの名無しさん** · 2017/09/01(金) 15:05:22.49

デザインパターンですか？汎用性ありますかね

**デフォルトの名無しさん** · 2017/09/03(日) 14:32:35.28

>>620
概念と用語だけマスターすれば良い。

あとは実務に合わせて使えるところは利用するし、合わない部分は気にしない。

**デフォルトの名無しさん** · 2017/09/03(日) 15:06:35.15

>>621
なるほど
ありがとうございます

**デフォルトの名無しさん** · 2017/09/03(日) 17:00:04.12

>>622
>>621みたいに、わかったような口を叩くけど実際にやらせてみたら手が動かないカスになったらダメ
自分でどんどん適用してみて、メリットもデメリットも自分の体験として語れるようになった方がいい

**デフォルトの名無しさん** · 2017/09/03(日) 21:20:14.64

>>623
なるほど
ありがとうございます

**デフォルトの名無しさん** · 2017/09/03(日) 22:05:38.94

https://ideone.com/mWu6mC
写経してみたけどどんな時に使えるのかいまいちわかりませんでした・・・

**デフォルトの名無しさん** · 2017/09/03(日) 23:18:58.10

正解です。

**デフォルトの名無しさん** · 2017/09/04(月) 23:07:19.92

>>625
さらっと読んで写経したぐらいで理解できると思わない方がいい
そのうちわかってくるから、とにかく手を動かしコードを動かす経験を積み重ね続けるんだ

**デフォルトの名無しさん** · 2017/09/14(木) 20:19:04.82

**デフォルトの名無しさん** · 2017/09/15(金) 07:54:04.88

>>618
＞汎用的に使える技術
良い質問だなこれ
遅レスだけど考えたい

地味だけど基礎的なデータ構造が
一番汎用的なんじゃないか？
連結リストとか二分木とかそういうの

**デフォルトの名無しさん** · 2017/09/15(金) 11:43:47.38

隣接行列とか

**デフォルトの名無しさん** · 2017/09/16(土) 07:20:33.50

>>629
それは言えてるかもしれない
汎用的=基礎的

**デフォルトの名無しさん** · 2017/09/16(土) 09:24:14.80

consセル？

**デフォルトの名無しさん** · 2017/09/17(日) 17:09:50.02

Kleinberg & Tardosの本に以下のような内容の記述があります。
でも、 n > 1 のとき、 H が universal になることは決してないですよね。
u = v のとき、常に、 h(u) = h(v) なので、問題の確率は 1 ですから。

--------------------------------------------------
U を要素数の非常に多い有限集合とする。

H を U から {0, 1, ..., n-1} へのすべての写像の集合のある部分集合とする。

u, v ∈ U に対して、ランダムに選んだ h ∈ H が h(u) = h(v) を満たす確率はたかだか 1/n であるとき、
H は universal であるという。

**デフォルトの名無しさん** · 2017/09/17(日) 17:30:37.45

S を #S ≦ n であるような任意の U の部分集合とする。
u を U の任意の要素とする。
X をランダムな選択 h ∈ H に対して、値 #{s ∈ S | h(s) = h(u)} をとるようなランダム変数とする。

このとき、

E[X] ≦ 1

である。

証明：

s ∈ S に対し、
h(s) = h(u) であるならば、 1
h(s) ≠ h(u) であるならば、 0
となるようなランダム変数を X_s とする。

仮定により、 H は universal であるから、
E[X_s] = Pr[Xs = 1] ≦ 1/n

X = Σ X_s だから期待値の線形性により、

E[X] = ΣE[X_s] ≦ #S * (1/n) ≦ 1

**デフォルトの名無しさん** · 2017/09/17(日) 17:32:48.13

この証明は、

u ∈ S であるとき、破綻しますよね。

**デフォルトの名無しさん** · 2017/09/17(日) 17:37:20.77

Kleinbergはネヴァンリンナ賞を受賞した人だそうですが、大丈夫な人なのでしょうか？

**デフォルトの名無しさん** · 2017/09/17(日) 18:52:52.16

ID:7slIJ8syは馬鹿アスペの松坂君

**デフォルトの名無しさん** · 2017/09/17(日) 23:18:40.22

> u = v のとき、常に、

また勝手におれ条件を付け加えてるな。

**デフォルトの名無しさん** · 2017/10/06(金) 23:28:50.73

T(n) = Ω(g(n))

⇔

T(n) ≧ c*g(n) となる n が無限に多く存在するような定数 c が存在する。

という定義がありますが、なぜ、ほとんどすべての n ではないのでしょうか？

**デフォルトの名無しさん** · 2017/10/07(土) 08:08:49.02

「B木」の「B」の由来って謎なのかよ。

**デフォルトの名無しさん** · 2017/10/07(土) 08:55:33.93

>>639

Knuthは、

T(n) = Ω(g(n))

⇔

ほとんどすべての n に対して、 T(n) ≧ c*g(n) が成り立つ。

と定義するのがいいと書いていますが。

**デフォルトの名無しさん** · 2017/10/07(土) 10:32:49.92

Binary(嘘)
Balance(へ？)

**デフォルトの名無しさん** · 2017/10/07(土) 14:37:48.61

Boeing

**デフォルトの名無しさん** · 2017/10/07(土) 19:13:27.20

バランスだろ

**デフォルトの名無しさん** · 2017/10/08(日) 09:18:29.57

A木があるだから、その次ってことでB木だろ

**デフォルトの名無しさん** · 2017/10/08(日) 10:08:31.18

C木、D木、・・・、Z木

**デフォルトの名無しさん** · 2017/10/08(日) 11:43:33.94

乃木、高木、猪木

**デフォルトの名無しさん** · 2017/10/08(日) 12:52:27.73

Θ(f(n)) を使うべきところで、 O(f(n)) を使っているという批判をする人がいますが、
具体的にはどういう状況でしょうか？

**デフォルトの名無しさん** · 2017/10/08(日) 19:44:09.13

シータオメガなんて数学以外で使ったことない

**デフォルトの名無しさん** · 2017/10/08(日) 20:36:16.81

FFでよく使う

**デフォルトの名無しさん** · 2017/10/08(日) 20:44:05.42

AAでまれに使う

**デフォルトの名無しさん** · 2017/10/09(月) 18:34:06.40

浅野孝夫著『アルゴリズムの基礎とデータ構造』を読んでいます。

「上の挿入ソートの例のように、基本演算回数（比較回数）は入力サイズ n にのみ
依存するとは言えない。そこで、入力サイズ n の入力のうちでアルゴリズムが最も
多くの基本演算を必要とする入力を考えて、それに対する基本演算回数を、本書ではん、
サイズ n の入力に対するアルゴリズムの計算量（time complexity of an algorithm）と
呼ぶ。すなわち、最悪の場合を想定してアルゴリズムの計算量を定めていることになる。
このようにして定められたアルゴリズムの計算量 T はもちろん n にのみ依存する関数で
あるので T(n) と書ける。上の挿入ソートの例では T(n) = n*(n-1)/2 である。」

と書いてあります。

その後、マージソートのところには、

「マージソートの計算量は T(n) = O(n*log(n)) である」

と書いてあります。

T(n) は最悪の場合の計算量ですから、

T(n) = Θ(n*log(n)) が正しいのではないでしょうか？

ちなみに、浅野さんは、この本の最初のほうで O, Ω, Θ を定義しています。