静岡理工科大学 菅沼ホーム SE目次

システムエンジニアの基礎知識(索引)

 あ  か  さ  た  な  は  ま  や  ら  わ  記号
 A  B  C  D  E  F  G  H  I  J  K  L  M
 N  O  P  Q  R  S  T  U  V  W  X  Y  Z

--- あ ---
アーベル群
アフィン変換
安定性
安定的
--- い ---
意思決定
位相線図
位相余有
一元配置法
一次遅れ要素
一次結合
一次従属
一次独立
1 点交叉法
一様位置交叉
一様交叉法
一様順序交叉
一様分布(確率と統計)
一様分布(乱数)
一致係数
一般解
一般平均
遺伝子
遺伝子型
遺伝子座
遺伝子長
遺伝的アルゴリズム
移動平均法
因子(主成分分析)
因子(因子分析)
因子(分散分析)
因子行列
因子負荷量
因子分析
インディシャル応答
インパルス応答
--- う ---
上三角行列
ウォード法
--- え ---
F 分布
エリート選択
演繹可能(命題論理)
演繹定理(命題論理)
演算
円順列
--- お ---
オイラー法
黄金分割法
オペレーションズ・リサーチ
重み

--- か ---
回帰直線
開区間
解釈(命題論理)
解釈(述語論理)
階数
外積
外点法
カイ 2 乗分布
開ループ制御
開ループ伝達関数
ガウス−ジョルダンの消去法
ガウスの消去法
ガウス分布
下界値
過学習
可換環
可換群
可観測
可換体
可換代数系
可換半群
可換モノイド
可換律(群)
学習
確率
確率過程
確率関数
確率空間
確率事象
確率的勾配降下法
確率分布関数
確率分布表
確率変数
確率密度関数
隠れ層
隠れユニット
重ね合わせの理
可制御
仮説検定
片側極限値
片側検定
カットオフ周波数
仮定(命題論理)
稼働率
可能解
加法標準形
可補束
含意(命題論理)
含意(述語論理)
簡易指数平均法
間隔尺度
関係
干渉余裕時間
関数
関数記号(述語論理)
ガントチャート
冠頭標準形(述語論理)
ガンマ関数
緩和法
緩和問題
--- き ---
棄却域
基準入力要素
基準変数
奇順列
疑似乱数
期待値
期待値基準
基底
基底解
基底可能解
基底変数
基本命題(命題論理)
帰無仮説
逆行列(線形代数)
逆行列(数値計算)
逆元(群)
逆元(体)
吸収律(束)
吸収律(ブール代数)
吸収律(命題論理)
共役
共役勾配法
競合学習
教師付き学習
教師無し学習
共通因子負荷量
共通集合
共通性
共分散
行ベクトル
行列
行列式
極限値
極小
極大
極値
--- く ---
空集合
空事象
偶順列
空節(述語論理)
区間
区間推定法
組合せ
組合せ最適化
クラスター分析
グラフ
クリスプ集合
クリティカルパス
クロスエントロピーコスト関数
群平均法
--- け ---
ゲームの値
ゲームの理論
経済的発注量
経済的ロットサイズ
ゲイン
ゲイン線図
ゲイン余有
結合律(群)
結合律(束)
結合律(ブール代数)
結合律(命題論理)
結合律(述語論理)
元(行列)
元(集合)
原始関数
原始式(命題論理)
原始式(述語論理)
原始命題(命題論理)
原始論理式(命題論理)
減衰性
原像
限定操作
ケンドール記号
--- こ ---
コード化
コールドスタンバイ
(述語論理)
高階述語論理(述語論理)
交換律(群)
交換律(束)
交換律(ブール代数)
交換律(命題論理)
交換律(述語論理)
恒偽(命題論理)
恒偽(述語論理)
恒偽式(命題論理)
交叉
恒真(命題論理)
恒真(述語論理)
恒真式(命題論理)
交代行列
後退計算
剛体振り子
肯定式(命題論理)
購入単価
勾配ベクトル
公理(命題論理)
故障率
故障率関数
個体
固定ベクトル
固有値(線形代数)
固有値(数値計算)
固有ベクトル(線形代数)
固有ベクトル(数値計算)
固有方程式
根元事象
混合合同法
混合戦略

--- さ ---
サービス率
サーベジュのミニ・マックス落胆基準
再帰型ニューラルネットワーク
最急降下法
在庫管理
在庫保持費用
最終値定理
最小木問題
最小 2 乗法
最小元
最小項
最早開始時刻
最大元
最大項
最短距離法
最遅完了時刻
最長距離法
最適化
最適勾配法
最適純粋戦略
最適性の原理
最頻値
作用素
三角行列
三段論法(命題論理)
--- し ---
資源配分問題
試行
事後確率
事象
事象駆動システム
指数分布(確率と統計)
指数分布(乱数)
システム工学
事前確率
下三角行列
実行列
実対称行列
品切れ損失
シミュレーション
写像
斜体
重回帰分析
集合
集合平均
重心法
収束
充足可能(命題論理)
充足可能(述語論理)
充足不可能(命題論理)
充足不可能(述語論理)
従属変数
終端
集団
集団サイズ
周波数応答法
自由ベクトル
自由変数(述語論理)
自由余裕時間
主加法標準形
主効果
主乗法標準形
主成分
主成分分析
主対角線
述語記号(述語論理)
述語論理(述語論理)
出力層
出力ユニット
巡回セールスマン問題(近似解法)
巡回セールスマン問題(遺伝的アルゴリズム)
循環交叉
瞬間故障率
順序関係
順序交叉
順序尺度
順序集合
順序対
純粋戦略
準同型
準同型写像
準ニュートン法
順列
小行列式
条件付確率
乗算合同法
状態(人工知能)
状態(微分方程式モデル)
状態空間
状態変数
状態方程式(微分方程式モデル)
状態方程式(制御)
冗長システム
常微分方程式
乗法標準形
剰余項
初期状態
初期値定理
ジョブショップ問題
ジョルダン標準形
神経細胞
人工知能
深層学習
新聞少年の問題
シンプレックス法(線形計画法)
シンプレックス法(非線形計画法)
シンプソン則
信頼区間
信頼水準
信頼性
信頼度
信頼度関数
真理値表
--- す ---
推移的(束)
水準
推論(命題論理)
数値積分
数値微分
数量化分析
スカラー
スキーマ定理
スコーレム関数(述語論理)
スコーレム標準形(述語論理)
スケジューリング
スプライン補間法
スラック変数
--- せ ---
正規分布(確率と統計)
正規分布(乱数)
制御
制御対象
制御要素
整合論理式(命題論理)
整合論理式(述語論理)
生産段取り費
生産費用
正準相関係数
正準相関分析
正準変量
正則
正則行列
正定値
成分(ベクトル)
成分(行列)
正方行列
積事象
積集合
積分
積分定数
積分要素
積和標準形
(述語論理)
節形式(述語論理)
節集合(述語論理)
節点
説明変数
遷移確率
遷移確率行列
遷移行列
線形空間
線形計画法
線形結合
線形識別関数
線形写像
線形従属
線形代数
線形独立
線形変換
先験的確率
選言標準形(命題論理)
全事象
全射
全順序関係
全順序集合
全称記号(述語論理)
染色体
前進計算
全体集合
全単射
前提(命題論理)
前置部(述語論理)
全余裕時間
--- そ ---
相関係数(多変量確率分布)
相関係数(標本と母集団)
相互作用
双対原理
相対度数
双対な関係
双対律
相補対(述語論理)
速応性
束縛変数(述語論理)
素命題(命題論理)
存在記号(述語論理)

--- た ---
第 1 階述語論理(述語論理)
対角化
対角行列
対角成分
待機システム
対偶(命題論理)
台形則
対合律(ブール代数)
台集合
対称行列
代数系
大数の法則
代数方程式
耐用寿命
対立遺伝子
多元配置法
多項定理
多重積分
畳み込み層
畳み込みニューラルネットワーク
縦型探索
多点交叉法
多変量解析
単位インパルス関数
単位行列
単位元(群)
単位元(束)
単位元(ブール代数)
単位ステップ応答
単位ステップ関数
単位節(述語論理)
単位的環
単位的半群
単位ベクトル
単項演算
単射
単純平均法
単体表
単体法
--- ち ---
値域(集合と写像)
値域(微分積分)
置換積分法
逐次改善法
中央値
中間層
中間値の定理
中心極限定理
重複順列
直交行列
直積
直積集合
直列システム
--- つ ---
--- て ---
ディープラーニング
定義域(集合と写像)
定義域(微分積分)
定義関数
定常特性
定数記号(述語論理)
定積分
t 分布
テイラー展開
テイラーの定理
定理(命題論理)
適合度
デコード化
デュアルシステム
デュプレックスシステム
転位
展開(行列式)
点推定値
伝達関数
転置行列
転倒
--- と ---
トートロジー(命題論理)
ド・モルガン律(集合)
ド・モルガン律(ブール代数)
ド・モルガン律(命題論理)
ド・モルガン律(述語論理)
導関数
同型
統計
同型写像
統計的確率
統計的検定
統計的推定
同時確率密度関数
導出形(述語論理)
導出原理(述語論理)
淘汰
同値(命題論理)
同値(述語論理)
到着率
動的計画法
倒立振り子
特殊因子
特性方程式(行列)
特性方程式(微分方程式)
特性方程式(制御)
特徴マップ
特別解
独立試行
独立変数
閉じている
突然変異
トラフィック密度
トレース
ドロップアウト

--- な ---
内積
内積による類似度
内点法
ナップザック問題
--- に ---
二元配置法
二項係数
二項定理
二項分布
二次遅れ要素
二次形式
二重否定(ブール代数)
二重否定(命題論理)
二分法
入力層
入力ユニット
ニュートン法(非線形方程式)
ニュートン法(最適化)
ニューラルネットワーク
ニューロン
--- ぬ ---
--- ね ---
--- の ---
ノード
ノルム

--- は ---
ハーウィツ基準
パーセプトロン
バイアス
排中律(命題論理)
排中律(述語論理)
排反
排反事象
掃き出し法
パスカルの公式
バスタブ曲線
バックプロパゲーション
発注費
幅優先探索
半群
反射的(束)
半正定値
反対称的(束)
販売価格
反復改善法
判別分析
--- ひ ---
非基底変数
非恒偽(命題論理)
非恒偽(述語論理)
非恒真(命題論理)
被制御量
非線形計画法
非線形方程式
左側極限値
否定(命題論理)
否定(述語論理)
否定式(命題論理)
非負定値
微分
微分可能
微分係数
微分方程式モデル
微分要素
ピボット要素(ガウス−ジョルダンの消去法)
ピボット要素(単体法)
表現型
表現行列
標識
標準化変換
標準形(命題論理)
標準形(述語論理)
標準正規分布
標準偏差
標本
標本空間
標本点
標本統計量
標本標準偏差
標本分散
標本平均
比率尺度
比例尺度
比例要素
--- ふ ---
プーリング層
ブール関数
ブール束(束)
ブール代数(束)
ブール代数(ブール代数)
フールプルーフ
ブール変数
ファイ係数
ファジイ
ファジイ集合
フィードバック制御
フィードバック要素
フィードフォワード制御
フェイルセーフ
フェイルソフト
フォールトアポイダンス
フォールトトレラント
深さ優先探索
複合事象
複合命題(命題論理)
複素行列
不定積分
不偏推定量
不偏分散
部分集合
部分積分法
部分代数系
部分的交叉
フルビッツの方法
フレーム法
フローショップ問題
プロジェクトスケジューリング
ブロック線図
分割法
分散
分散共分散行列
分散分析
分枝限定法
分枝操作
分配束
分配律(環)
分配律(体)
分配律(束)
分配律(ブール代数)
分配律(命題論理)
分配律(述語論理)
--- へ ---
ベアストウ法
平均
平均故障回復時間
平均故障時間
平均修理時間
平均寿命
平均値の定理
閉区間
ベイズの定理
閉ループ制御
閉ループ伝達関数
並列システム
ベキ集合
べき乗法
ベキ等律(ブール代数)
ベキ等律(命題論理)
ベキ等律(述語論理)
ベクトル
ベクトル空間
ベジエ基底関数
ベジエ曲線
ベジエ多角形
ヘッセ行列
ペナルティ関数法
ベルヌーイ試行
ベルヌーイ試行の列
偏回帰係数
ベン図
変数記号(述語論理)
偏導関数
偏微分可能
--- ほ ---
ボード線図
ポアソン分布
補間法
補元
補元(ブール代数)
母式(述語論理)
補集合
母集団
補助方程式
母数
保全度
ホットスタンバイ
ホップフィールドネットワーク
母分散
母平均
ボルツマンマシン

--- ま ---
マクローリン展開
待ち行列モデル
マックス・マックス(ミニ・ミニ)基準
窓口利用率
マハラノビスの距離
マルコフ過程
満足度基準
--- み ---
右側極限値
ミニ・マックス(マックス・ミニ)基準
--- む ---
無限集合
矛盾(命題論理)
矛盾律(命題論理)
矛盾律(述語論理)
むだ時間要素
--- め ---
名義尺度
命題(命題論理)
命題論理学
メジアン法
メディアン
メンバーシップ関数
--- も ---
モード
モーメント母関数
目的変数
目標状態
目標値
モジュラー律(ブール代数)
モデル
モノイド
モンテカルロ法

--- や ---
ヤコビ法
--- ゆ ---
有意差
有意水準
ユークリッド距離
有限集合
有限状態定常マルコフ過程
有限ブール代数
--- よ ---
余因子
余因子行列
余因数
要素(行列)
要素(集合)
欲張り法
横型探索
余事象
予測
余裕時間

--- ら ---
ラグランジュ関数
ラグランジュの未定乗数法
ラグランジュ補間法
ラプラス基準
ラプラス逆変換
ラプラス変換
ランク
乱数
ランダム系列
ランダム法
ランプ関数
--- り ---
離散型分布
利得表(意思決定)
利得表(ゲームの理論)
リテラル(命題論理)
リテラル(述語論理)
両側検定
--- る ---
類似比
累積寄与率
累積故障分布関数
累積故障率
累積分布関数
ルーレット選択
ルンゲ・クッタ法
--- れ ---
零元(環)
零元(体)
零元(束)
零元(ブール代数)
零点
列ベクトル
連言標準形(命題論理)
連続
連続型分布
連立 1 次方程式
--- ろ ---
論理記号(命題論理)
論理結合子(命題論理)
論理結合子(述語論理)
論理式(命題論理)
論理式(述語論理)
論理積(命題論理)
論理積(述語論理)
論理積標準形(命題論理)
論理的帰結(命題論理)
論理的帰結(述語論理)
論理和(命題論理)
論理和(述語論理)
論理和標準形(命題論理)

ワイブル分布
和事象
和集合
和積標準形

記号

0 ベクトル
1 項演算
2 項演算
2 次多項式近似( 1 次元探索手法)
2 重積分
8 パズル
(述語論理)

A* アルゴリズム
Abelian group
algebraic system

Boltzmann machine

Closed Loop Control
CNN : Convolutional Neural Network
Combinattorial Optimization
Conjugate Gradient Method
Controllability
Convolutional Layer
CPM
Cross-Entropy

Deep Learning
DFGS 法
DFP 法
DP : Dynamic Programming

ELS: Economic Lot Size
EOQ: Economic Order Quantity
ES: Earlist Start Time

F 分布
Failure Rate
Feature Map
Feedback Control
Feedforward Control
FF: Free Float
field
Flow Shop Problem

GA : Genetic Algorithm
GPU : Graphics Processing Unit
group

Hamann の係数
Hesse 行列
Hopfield ネットワーク

IF: Interfering Float

Job Shop Problem

Kendall の順位相関係数

Lattice(束)
LF: Latest Finish Time
LP : Linear Programming

map
mapping
Matrix
median
mode
monoid
MTBF: Mean Time between Failures
MTTF: Mean Time to Failures
MTTR: Mean Time to Repair

n 項演算
Newton 法(非線形方程式)
Newton 法(最適化)
nil(述語論理)
NP : Nonlinear Programming)

Observability
Open Loop Control
Operations Research : OR
optimul gradient method
order relation(束)
Overfitting

PERT
PID 制御
Pooling Layer

r-リテラル節(述語論理)
Rank
Regularization
relation
Reliability
ReLU : Rectified Linear Unit
ring
RNN : Recurrent Neural Network
Rogers-Tanimoto の係数
Russel-Rao の係数

SE
semigroup
set
Spearman の順位相関係数
Steepest Descent Method
Stochastic Gradient Descent
SUMT
Systems Engineering

TF: Total Float
Trace
TSP : Traveling Salesman Problem(近似解法)
t 分布

unitary semigroup

Vector

Winner-Take-All

χ2 分布

静岡理工科大学 菅沼ホーム SE目次