プリンキピア
コンピューターサイエンス
/
付録
英
和
対訳
この章
付録A:アルゴリズムのネットワーク設計への応用
ネットワークの中心部
符号化
索引
C
E
J
O
S
U
ほかの章
まえがき
第1章 コンピューターサイエンス入門
第2章 計算論的思考と設計の再利用性
第3章 データ構造とアルゴリズム
第4章 アルゴリズムの言語による実現:低水準プログラミング言語
第5章 アルゴリズムのハードウェアによる実現:コンピューターシステム設計
第6章 インフラストラクチャーの抽象化層:オペレーティングシステム
第7章 高水準プログラミング言語
第8章 データ管理
第9章 ソフトウェア工学
第10章 エンタープライズアーキテクチャーとソリューションアーキテクチャーの管理
第11章 Webアプリケーション開発
第12章 クラウドネイティブアプリケーション開発
第13章 ハイブリッドマルチクラウドのデジタルソリューション開発
第14章 サイバー資源の品質とサイバーコンピューティングのガバナンス
付録・索引
用語索引
付録・索引
S
S
SaaS
695
SaaS
695頁
sampling
412
標本抽出
412頁
scalability
343
,
443
,
457
,
475
,
488
,
821
,
822
,
824
,
827
,
829
,
833
,
857
,
877
,
897
スケーラビリティ
343頁
、
443頁
、
457頁
、
475頁
、
488頁
、
821頁
、
822頁
、
824頁
、
827頁
、
829頁
、
833頁
、
857頁
、
877頁
、
897頁
scenario
436
,
452
,
475
,
479
,
493
シナリオ
436頁
、
452頁
、
475頁
、
479頁
、
493頁
scheduling
207
,
249
,
262
,
268
,
269
,
272
,
280
スケジューリング
207頁
、
249頁
、
262頁
、
268頁
、
269頁
、
272頁
、
280頁
SciDB
373
SciDB
373頁
scope
310
,
334
,
338
,
347
スコープ
310頁
、
334頁
、
338頁
、
347頁
scripting language
313
,
344
スクリプト言語
313頁
、
344頁
Scrum
455
,
470
Scrum
455頁
、
470頁
search tree property
95
探索木の性質
95頁
searching
100
,
103
,
120
探索
100頁
、
103頁
、
120頁
secondary memory
253
,
288
二次記憶
253頁
、
288頁
secondary storage
280
二次記憶装置
280頁
secret and configuration management
771
シークレット・構成管理
771頁
security
443
,
447
,
458
,
462
,
475
,
488
,
492
セキュリティ
443頁
、
447頁
、
458頁
、
462頁
、
475頁
、
488頁
、
492頁
security information and event management (SIEM)
845
セキュリティー情報・イベント管理(SIEM)
845頁
security manager
375
セキュリティーマネージャー
375頁
segmentation fault
162
セグメンテーション違反
162頁
selection
327
,
344
選択
327頁
、
344頁
semantic analysis
347
意味解析
347頁
semantic error
163
意味上のエラー
163頁
Semantic Web
576
セマンティックWeb
576頁
semaphore
252
セマフォ
252頁
semistructured data
374
,
379
,
399
半構造化データ
374頁
、
379頁
、
399頁
sentinel
329
番兵
329頁
separate compilation
349
分割コンパイル
349頁
Sequelize
715
,
717
Sequelize
715頁
、
717頁
sequential execution
326
逐次実行
326頁
sequential file organization
388
順編成ファイル
388頁
sequential search
103
,
114
,
120
逐次探索
103頁
、
114頁
、
120頁
sequential search algorithm
120
逐次探索アルゴリズム
120頁
serializer
592
シリアライザー
592頁
server-side script
345
サーバー側スクリプト
345頁
serverless computing
691
,
698
,
702
,
702
サーバーレスコンピューティング
691頁
、
698頁
、
702頁
、
702頁
service-oriented architecture (SOA)
672
サービス指向アーキテクチャ(SOA)
672頁
set
93
,
94
集合
93頁
、
94頁
shallow machine learning
776
浅い機械学習
776頁
shared data
315
,
338
共有データ
315頁
、
338頁
shared library
171
共有ライブラリー
171頁
shared memory
177
共有メモリ
177頁
sharing
245
,
249
,
250
,
266
,
273
,
274
,
275
,
280
,
282
,
284
,
286
共有
245頁
、
249頁
、
250頁
、
266頁
、
273頁
、
274頁
、
275頁
、
280頁
、
282頁
、
284頁
、
286頁
shell scripting
344
シェルスクリプト
344頁
short circuiting
326
短絡評価
326頁
shortest path
101
最短経路
101頁
shortest paths tree
125
,
126
最短経路木
125頁
、
126頁
shortest remaining processing time (SRPT)
270
残り処理時間最短優先(SRPT)
270頁
shortest time to completion first
(STCF)
270
最短残り時間優先(STCF)
270頁
sidechain
580
サイドチェーン
580頁
signed integer
208
,
209
符号付き整数
208頁
、
209頁
simultaneous multithreading (SMT)
232
同時マルチスレッディング(SMT)
232頁
single inheritance
340
単一継承
340頁
single-user DBMS
377
単一利用者向けDBMS
377頁
singleton
509
Singleton
509頁
smart contract
78
,
643
,
646
スマートコントラクト
78頁
、
643頁
、
646頁
snowflake schema
404
スノーフレークスキーマ
404頁
SOA
673
SOA
673頁
social determination of technology
28
技術の社会的決定
28頁
social network
99
ソーシャルネットワーク
99頁
socket
156
,
249
,
256
ソケット
156頁
、
249頁
、
256頁
software
14
,
17
,
18
,
20
,
21
,
27
,
29
,
440
,
457
,
487
ソフトウェア
14頁
、
17頁
、
18頁
、
20頁
、
21頁
、
27頁
、
29頁
、
440頁
、
457頁
、
487頁
software architecture
453
,
488
ソフトウェアアーキテクチャ
453頁
、
488頁
Software as a Service
691
,
692
サービスとしてのソフトウェア
691頁
、
692頁
Software as a Service (SaaS)
693
サービスとしてのソフトウェア(SaaS)
693頁
software design
439
,
455
ソフトウェア設計
439頁
、
455頁
software developer
438
ソフトウェア開発者
438頁
software development kit (SDK)
768
ソフトウェア開発キット(SDK)
768頁
software development life cycle (SDLC)
440
,
446
ソフトウェア開発ライフサイクル(SDLC)
440頁
、
446頁
software engineering
23
,
102
,
447
,
455
,
461
,
474
,
514
,
551
ソフトウェア工学
23頁
、
102頁
、
447頁
、
455頁
、
461頁
、
474頁
、
514頁
、
551頁
Software Engineering Code of Ethics and Professional Practice
493
ソフトウェア工学の倫理・専門職実務規範
493頁
software license
490
ソフトウェアライセンス
490頁
software process improvement
473
ソフトウェアプロセス改善
473頁
Software Quality Management (SQM)
461
ソフトウェア品質管理(SQM)
461頁
software security
859
,
872
,
903
ソフトウェアセキュリティー
859頁
、
872頁
、
903頁
software stack
554
ソフトウェアスタック
554頁
solid-state drive (SSD)
228
ソリッドステートドライブ(SSD)
228頁
Solidity
577
,
645
Solidity
577頁
、
645頁
solution architecture
53
ソリューションアーキテクチャー
53頁
solution architecture management
551
ソリューションアーキテクチャ管理
551頁
solutions architect manager
507
,
551
ソリューションアーキテクトのマネージャー
507頁
、
551頁
solutions continuum
74
ソリューションコンティニュアム
74頁
sorting
101
,
120
整列
101頁
、
120頁
source code
147
,
164
,
173
,
178
,
182
,
335
,
346
,
349
ソースコード
147頁
、
164頁
、
173頁
、
178頁
、
182頁
、
335頁
、
346頁
、
349頁
space complexity
108
空間計算量
108頁
spanned record
388
スパンレコード
388頁
Spark
372
Spark
372頁
spatial
230
空間的
230頁
spatial parallelism
232
空間的並列性
232頁
spiral model
467
スパイラルモデル
467頁
spot/not urgent compute
769
スポット/緊急性のない計算
769頁
spreadsheet
20
スプレッドシート
20頁
sprint
471
スプリント
471頁
SRAM
226
SRAM
226頁
stack
217
スタック
217頁
stack allocation
276
スタック割り当て
276頁
stack frame
334
スタックフレーム
334頁
stack overflow
335
スタックオーバーフロー
335頁
stack pointer (SP)
263
スタックポインター(SP)
263頁
star schema
403
スタースキーマ
403頁
START
48
START
48頁
starvation
342
飢餓状態
342頁
state
338
状態
338頁
stateful application
569
ステートフルなアプリケーション
569頁
stateless application
569
ステートレスなアプリケーション
569頁
statement coverage
477
命令網羅率
477頁
static data
263
静的データ
263頁
static library
169
静的ライブラリー
169頁
static linker
349
静的リンカー
349頁
static quality
442
静的な品質
442頁
static random access memory (SRAM)
226
スタティックランダムアクセスメモリ(SRAM)
226頁
step
109
ステップ
109頁
storage
13
,
22
,
195
,
197
,
200
ストレージ
13頁
、
22頁
、
195頁
、
197頁
、
200頁
storage access point
768
ストレージアクセスポイント
768頁
Storage Area Network (SAN)
394
ストレージエリアネットワーク(SAN)
394頁
storage manager
375
記憶管理プログラム
375頁
storage service
767
,
788
ストレージサービス
767頁
、
788頁
string
305
,
317
,
344
,
347
文字列
305頁
、
317頁
、
344頁
、
347頁
string data type
92
文字列データ型
92頁
string problem
101
文字列の問題
101頁
strongly typed
307
,
319
,
345
,
347
強い型付け
307頁
、
319頁
、
345頁
、
347頁
structured data
374
,
379
,
418
構造化データ
374頁
、
379頁
、
418頁
structured programming
154
,
160
,
181
構造化プログラミング
154頁
、
160頁
、
181頁
Structured Query Language (SQL)
314
,
379
構造化照会言語(SQL)
314頁
、
379頁
subclass
340
サブクラス
340頁
subject matter experts (SMEs)
438
分野の専門家(SME)
438頁
subproblem
113
部分問題
113頁
subsystem
514
,
552
,
554
サブシステム
514頁
、
552頁
、
554頁
superclass
340
スーパークラス
340頁
superscalar capability
232
スーパースカラー能力
232頁
supersocieties
843
,
896
超社会
843頁
、
896頁
supersociety
819
,
836
,
897
,
898
,
899
超社会
819頁
、
836頁
、
897頁
、
898頁
、
899頁
survivability
822
,
823
生存性
822頁
、
823頁
symbol
166
,
169
,
174
シンボル
166頁
、
169頁
、
174頁
symbol resolution
166
シンボル解決
166頁
symbol table
167
シンボル表
167頁
symmetric multiprocessor (SMP)
179
対称型マルチプロセッサー(SMP)
179頁
synchronization
262
,
270
,
271
,
315
同期
262頁
、
270頁
、
271頁
、
315頁
synchronous call
392
同期呼び出し
392頁
syntax analysis
347
構文解析
347頁
system architecture
69
,
75
システムアーキテクチャー
69頁
、
75頁
system call
249
,
252
システムコール
249頁
、
252頁
system interrupt
249
システム割り込み
249頁
system software
440
システムソフトウェア
440頁
system testing
457
,
480
システムテスト
457頁
、
480頁
systems software
152
,
158
システムソフトウェア
152頁
、
158頁
T
T
tablespace
389
表領域
389頁
tailorability
821
個別適合性
821頁
Tanzu
689
,
708
,
731
,
733
,
733
,
738
Tanzu
689頁
、
708頁
、
731頁
、
733頁
、
733頁
、
738頁
target
103
,
120
探索対象
103頁
、
120頁
technical architecture
69
技術アーキテクチャー
69頁
Technical Reference Model
819
技術参照モデル
819頁
Technical Reference Model (TRM)
818
技術参照モデル(TRM)
818頁
technological fix
31
技術的解決
31頁
telecommand
774
テレコマンド
774頁
telemetry
774
テレメトリー
774頁
temporal locality
230
時間的局所性
230頁
temporal parallelism
232
時間的並列性
232頁
ternary operator
323
三項演算子
323頁
Terraform
688
,
707
Terraform
688頁
、
707頁
test-driven development (TDD)
478
テスト駆動開発(TDD)
478頁
The Open Group Architecture Framework (TOGAF)
452
,
530
The Open Group Architecture Framework(TOGAF)
452頁
、
530頁
the Web
566
Web
566頁
THEN
48
THEN
48頁
theoretical computer science
25
理論計算機科学
25頁
theta join
382
シータ結合
382頁
thin client variant
392
シンクライアント型
392頁
thrashing
279
スラッシング
279頁
thread
177
,
248
,
252
,
266
,
270
,
271
,
278
スレッド
177頁
、
248頁
、
252頁
、
266頁
、
270頁
、
271頁
、
278頁
thread of control
341
制御スレッド
341頁
threads
179
スレッド
179頁
throughput
443
スループット
443頁
time complexity
108
,
110
時間計算量
108頁
、
110頁
time slice
266
,
273
タイムスライス
266頁
、
273頁
TLB
277
TLB
277頁
TOGAF
56
,
72
TOGAF
56頁
、
72頁
tokens
347
トークン
347頁
top-down approach
94
トップダウンの手法
94頁
top-tested loop
329
前判定ループ
329頁
total cost of ownership (TCO)
413
総保有費用(TCO)
413頁
tour
129
巡回路
129頁
tractable
128
扱いやすい問題
128頁
traditional process model
446
従来型プロセスモデル
446頁
transaction
373
,
378
,
393
,
398
,
403
トランザクション
373頁
、
378頁
、
393頁
、
398頁
、
403頁
transaction management
393
トランザクション管理
393頁
transfer learning
417
転移学習
417頁
transistor
205
,
206
トランジスタ
205頁
、
206頁
translation
389
翻訳
389頁
translation layer
228
変換層
228頁
translation lookaside buffer (TLB)
277
トランスレーション・ルックアサイド・バッファー(TLB)
277頁
traveling salesperson problem (TSP)
129
巡回セールスマン問題(TSP)
129頁
traversal
101
,
123
走査
101頁
、
123頁
tree
95
木
95頁
trigger
380
,
398
,
408
トリガー
380頁
、
398頁
、
408頁
Truffle Framework
645
Truffle Framework
645頁
truth table
324
真理値表
324頁
tuple
382
,
402
タプル
382頁
、
402頁
tuple and document store
400
タプル・文書ストア
400頁
Turing machine
127
チューリングマシン
127頁
Turing-complete
14
チューリング完全
14頁
two-factor authentication
285
二要素認証
285頁
two-phase commit (2PC)
394
2相コミット(2PC)
394頁
two’s complement
209
2の補数
209頁
type cast
319
型キャスト
319頁
← 前の項目
O
次の項目 →
U