システムエンジニアの基礎知識(索引)
- --- あ ---
- アーベル群
- 安定性
- 安定的
- --- い ---
- 意志決定
- 位相線図
- 位相余有
- 一次遅れ要素
- 一次従属
- 一次独立
- 1 点交叉法
- 一様位置交叉
- 一様交叉法
- 一様順序交叉
- 一様分布(確率と統計)
- 一様分布(乱数)
- 一致係数
- 一般解
- 遺伝子
- 遺伝子型
- 遺伝子座
- 遺伝子長
- 遺伝的アルゴリズム
- 移動平均法
- 因子行列
- 因子負荷量
- 因子分析
- インディシャル応答
- インパルス応答
- --- う ---
- 上三角行列
- ウォード法
- --- え ---
- 枝
- F 分布
- エリート選択
- 演繹可能(命題論理)
- 演繹定理(命題論理)
- 演算
- 円順列
- --- お ---
- オイラー法
- 黄金分割法
- 重み
- --- か ---
- 回帰直線
- 解釈(命題論理)
- 解釈(述語論理)
- 階数
- 外積
- 外点法
- カイ 2 乗分布
- 開ループ制御
- 開ループ伝達関数
- ガウス−ジョルダンの消去法
- ガウス分布
- 下界値
- 可換環
- 可換群
- 可観測
- 可換体
- 可換代数系
- 可換半群
- 可換モノイド
- 可換律(群)
- 学習
- 確率
- 確率過程
- 確率関数
- 確率空間
- 確率事象
- 確率分布関数
- 確率分布表
- 確率変数
- 確率密度関数
- 隠れ層
- 隠れユニット
- 重ね合わせの理
- 可制御
- 仮説検定
- 片側検定
- カットオフ周波数
- 仮定(命題論理)
- 稼働率
- 可能解
- 加法標準形
- 可補束
- 環
- 含意(命題論理)
- 含意(述語論理)
- 簡易指数平均法
- 間隔尺度
- 関係
- 干渉余裕時間
- 関数記号(述語論理)
- ガントチャート
- 冠頭標準形(述語論理)
- ガンマ関数
- 緩和法
- 緩和問題
- --- き ---
- 木
- 棄却域
- 基準入力要素
- 基準変数
- 奇順列
- 疑似乱数
- 期待値
- 期待値基準
- 基底解
- 基底可能解
- 基底変数
- 基本命題(命題論理)
- 帰無仮説
- 逆行列(線形代数)
- 逆行列(数値計算)
- 逆元(群)
- 逆元(体)
- 吸収律(束)
- 吸収律(ブール代数)
- 吸収律(命題論理)
- 共役
- 共役勾配法
- 競合学習
- 教師付き学習
- 教師無し学習
- 共通因子負荷量
- 共通集合
- 共通性
- 共分散
- 行ベクトル
- 行列
- 行列式
- 極
- 極限値
- 極小
- 極大
- 極値
- --- く ---
- 空集合
- 空事象
- 偶順列
- 空節(述語論理)
- 区間推定法
- 組合せ
- 組合せ最適化
- 位
- クラスター分析
- グラフ
- クリスプ集合
- クリティカルパス
- 群
- 群平均法
- --- け ---
- ゲームの値
- ゲームの理論
- 経済的発注量
- 経済的ロットサイズ
- ゲイン
- ゲイン線図
- ゲイン余有
- 結合律(群)
- 結合律(束)
- 結合律(ブール代数)
- 結合律(命題論理)
- 結合律(述語論理)
- 元(行列)
- 元(集合)
- 原始関数
- 原始式(命題論理)
- 原始式(述語論理)
- 原始命題(命題論理)
- 原始論理式(命題論理)
- 減衰性
- 原像
- 限定操作
- ケンドール記号
- --- こ ---
- コード化
- コールドスタンバイ
- 項(述語論理)
- 高階述語論理(述語論理)
- 交換律(群)
- 交換律(束)
- 交換律(ブール代数)
- 交換律(命題論理)
- 交換律(述語論理)
- 恒偽(命題論理)
- 恒偽(述語論理)
- 恒偽式(命題論理)
- 交叉
- 恒真(命題論理)
- 恒真(述語論理)
- 恒真式(命題論理)
- 交代行列
- 後退計算
- 剛体振り子
- 肯定式(命題論理)
- 購入単価
- 勾配ベクトル
- 公理(命題論理)
- 故障率
- 故障率関数
- 個体
- 固有値(線形代数)
- 固有値(数値計算)
- 固有ベクトル(線形代数)
- 固有ベクトル(数値計算)
- 固有方程式
- 根元事象
- 混合合同法
- 混合戦略
- --- さ ---
- 最急降下法
- 在庫管理
- 在庫保持費用
- 最終値定理
- 最小木問題
- 最小 2 乗法
- 最小元
- 最小項
- 最早開始時刻
- 最大元
- 最大項
- 最短距離法
- 最遅完了時刻
- 最長距離法
- 最適化
- 最適勾配法
- 最適純粋戦略
- 最適性の原理
- サービス率
- サーベジュのミニ・マックス落胆基準
- 作用素
- 三角行列
- 三段論法(命題論理)
- --- し ---
- 資源配分問題
- 試行
- 事後確率
- 事象
- 事象駆動システム
- 指数分布(確率と統計)
- 指数分布(乱数)
- システム工学
- 事前確率
- 下三角行列
- 実行列
- 実対称行列
- 品切れ損失
- シミュレーション
- 写像
- 斜体
- 重回帰分析
- 集合
- 集合平均
- 重心法
- 充足可能(命題論理)
- 充足可能(述語論理)
- 充足不可能(命題論理)
- 充足不可能(述語論理)
- 終端
- 集団
- 集団サイズ
- 周波数応答法
- 自由変数(述語論理)
- 自由余裕時間
- 主加法標準形
- 主乗法標準形
- 主成分
- 主成分分析
- 主対角線
- 述語記号(述語論理)
- 述語論理(述語論理)
- 出力層
- 出力ユニット
- 巡回セールスマン問題(近似解法)
- 巡回セールスマン問題(遺伝的アルゴリズム)
- 循環交叉
- 瞬間故障率
- 順序関係
- 順序交叉
- 順序尺度
- 順序集合
- 順序対
- 純粋戦略
- 準同型
- 準同型写像
- 準ニュートン法
- 順列
- 小行列式
- 条件付確率
- 乗算合同法
- 状態(人工知能)
- 状態(微分方程式モデル)
- 状態空間
- 状態変数
- 状態方程式(微分方程式モデル)
- 状態方程式(制御)
- 冗長システム
- 常微分方程式
- 乗法標準形
- 剰余項
- 初期状態
- 初期値定理
- ジョブショップ問題
- 神経細胞
- 人工知能
- 新聞少年の問題
- シンプレックス法(線形計画法)
- シンプレックス法(非線形計画法)
- シンプソン則
- 信頼性
- 信頼度
- 信頼度関数
- 真理値表
- --- す ---
- 推移的(束)
- 推論(命題論理)
- 数値積分
- 数値微分
- 数量化分析
- スカラー
- スキーマ定理
- スコーレム関数(述語論理)
- スコーレム標準形(述語論理)
- スケジューリング
- スプライン補間法
- スラック変数
- --- せ ---
- 正規分布(確率と統計)
- 正規分布(乱数)
- 制御
- 制御対象
- 制御要素
- 整合論理式(命題論理)
- 整合論理式(述語論理)
- 生産段取り費
- 生産費用
- 正準相関係数
- 正準相関分析
- 正準変量
- 正則
- 正則行列
- 正定値
- 成分(行列)
- 正方行列
- 積事象
- 積集合
- 積分
- 積分定数
- 積分要素
- 積和標準形
- 節(述語論理)
- 節形式(述語論理)
- 節集合(述語論理)
- 節点
- 説明変数
- 遷移確率
- 遷移確率行列
- 遷移行列
- 線形計画法
- 線形識別関数
- 線形代数
- 先験的確率
- 選言標準形(命題論理)
- 全事象
- 全射
- 全順序関係
- 全順序集合
- 全称記号(述語論理)
- 染色体
- 前進計算
- 全体集合
- 全単射
- 前提(命題論理)
- 前置部(述語論理)
- 全余裕時間
- --- そ ---
- 像
- 相関係数
- 双対原理
- 相対度数
- 双対な関係
- 双対律
- 相補対(述語論理)
- 束
- 速応性
- 束縛変数(述語論理)
- 素命題(命題論理)
- 存在記号(述語論理)
- --- た ---
- 体
- 第 1 階述語論理(述語論理)
- 対角行列
- 対角成分
- 待機システム
- 対偶(命題論理)
- 台形則
- 対合律(ブール代数)
- 台集合
- 対称行列
- 代数系
- 大数の法則
- 代数方程式
- 耐用寿命
- 対立遺伝子
- 多項定理
- 縦型探索
- 多点交叉法
- 多変量解析
- 単位インパルス関数
- 単位行列
- 単位元(群)
- 単位元(束)
- 単位元(ブール代数)
- 単位ステップ応答
- 単位ステップ関数
- 単位節(述語論理)
- 単位的環
- 単位的半群
- 単項演算
- 単射
- 単純平均法
- 単体表
- 単体法
- --- ち ---
- 値域
- 逐次改善法
- 中間層
- 中心極限定理
- 重複順列
- 直交行列
- 直積
- 直積集合
- 直列システム
- --- つ ---
- --- て ---
- 定義域
- 定義関数
- 定常特性
- 定数記号(述語論理)
- 定積分
- t 分布
- テイラー展開
- テイラーの定理
- 定理(命題論理)
- 適合度
- デコード化
- デュアルシステム
- デュプレックスシステム
- 転位
- 展開(行列式)
- 点推定値
- 伝達関数
- 転置行列
- 転倒
- --- と ---
- トートロジー(命題論理)
- ド・モルガン律(集合)
- ド・モルガン律(ブール代数)
- ド・モルガン律(命題論理)
- ド・モルガン律(述語論理)
- 導関数
- 同型
- 統計
- 同型写像
- 統計的確率
- 統計的検定
- 統計的推定
- 導出形(述語論理)
- 導出原理(述語論理)
- 淘汰
- 同値(命題論理)
- 同値(述語論理)
- 到着率
- 動的計画法
- 倒立振り子
- 特殊因子
- 特性方程式(行列)
- 特性方程式(微分方程式)
- 特性方程式(制御)
- 特別解
- 独立試行
- 閉じている
- 突然変異
- トラフィック密度
- トレース
- --- な ---
- 内積
- 内積による類似度
- 内点法
- ナップザック問題
- --- に ---
- 二項係数
- 二項定理
- 二項分布
- 二次遅れ要素
- 二次形式
- 二重否定(ブール代数)
- 二重否定(命題論理)
- 二分法
- 入力層
- 入力ユニット
- ニュートン法(非線形方程式)
- ニュートン法(最適化)
- ニューラルネットワーク
- ニューロン
- --- ぬ ---
- --- ね ---
- --- の ---
- ノード
- --- は ---
- ハーウィツ基準
- パーセプトロン
- バイアス
- 排中律(命題論理)
- 排中律(述語論理)
- 排反
- 排反事象
- パスカルの公式
- バスタブ曲線
- バックプロパゲーション
- 発注費
- 幅優先探索
- 半群
- 反射的(束)
- 半正定値
- 反対称的(束)
- 販売価格
- 反復改善法
- 判別分析
- --- ひ ---
- 非基底変数
- 非恒偽(命題論理)
- 非恒偽(述語論理)
- 非恒真(命題論理)
- 被制御量
- 非線形計画法
- 非線形方程式
- 否定(命題論理)
- 否定(述語論理)
- 否定式(命題論理)
- 非負定値
- 微分
- 微分可能
- 微分係数
- 微分方程式モデル
- 微分要素
- ピボット要素(ガウス−ジョルダンの消去法)
- ピボット要素(単体法)
- 表現型
- 標識
- 標準化変換
- 標準形(命題論理)
- 標準形(述語論理)
- 標準正規分布
- 標準偏差
- 標本
- 標本空間
- 標本点
- 標本統計量
- 標本標準偏差
- 標本分散
- 標本平均値
- 比率尺度
- 比例尺度
- 比例要素
- --- ふ ---
- ブール関数
- ブール束(束)
- ブール代数(束)
- ブール代数(ブール代数)
- フールプルーフ
- ブール変数
- ファイ係数
- ファジイ
- ファジイ集合
- フィードバック制御
- フィードバック要素
- フィードフォワード制御
- フェイルセーフ
- フェイルソフト
- フォールトアポイダンス
- フォールトトレラント
- 深さ優先探索
- 複合事象
- 複合命題(命題論理)
- 複素行列
- 不定積分
- 不偏推定量
- 不偏分散
- 部分集合
- 部分代数系
- 部分的交叉
- フルビッツの方法
- フレーム法
- フローショップ問題
- プロジェクトスケジューリング
- ブロック線図
- 分割法
- 分散
- 分散共分散行列
- 分枝限定法
- 分枝操作
- 分配束
- 分配律(環)
- 分配律(体)
- 分配律(束)
- 分配律(ブール代数)
- 分配律(命題論理)
- 分配律(述語論理)
- --- へ ---
- ベアストウ法
- 平均
- 平均故障回復時間
- 平均故障時間
- 平均修理時間
- 平均寿命
- 平均値の定理
- ベイズの定理
- 閉ループ制御
- 閉ループ伝達関数
- 並列システム
- ベキ集合
- べき乗法
- ベキ等律(ブール代数)
- ベキ等律(命題論理)
- ベキ等律(述語論理)
- ベクトル
- ベジエ基底関数
- ベジエ曲線
- ベジエ多角形
- ヘッセ行列
- ペナルティ関数法
- ベルヌーイ試行
- ベルヌーイ試行の列
- 偏回帰係数
- ベン図
- 変数記号(述語論理)
- 偏導関数
- 偏微分可能
- --- ほ ---
- ボード線図
- ポアソン分布
- 補間法
- 補元
- 補元(ブール代数)
- 母式(述語論理)
- 補集合
- 母集団
- 補助方程式
- 母数
- 保全度
- ホットスタンバイ
- 母分散
- 母平均値
- --- ま ---
- マクローリン展開
- 待ち行列モデル
- マックス・マックス(ミニ・ミニ)基準
- 窓口利用率
- マハラノビスの距離
- マルコフ過程
- 満足度基準
- --- み ---
- ミニ・マックス(マックス・ミニ)基準
- --- む ---
- 無限集合
- 矛盾(命題論理)
- 矛盾律(命題論理)
- 矛盾律(述語論理)
- むだ時間要素
- --- め ---
- 名義尺度
- 命題(命題論理)
- 命題論理学
- メジアン法
- メンバーシップ関数
- --- も ---
- 目的変数
- 目標状態
- 目標値
- モジュラー律(ブール代数)
- モデル
- モノイド
- モンテカルロ法
- --- や ---
- ヤコビ法
- --- ゆ ---
- 有意差
- 有意水準
- ユークリッド距離
- 有限集合
- 有限状態定常マルコフ過程
- 有限ブール代数
- --- よ ---
- 余因子
- 余因子行列
- 余因数
- 要素(行列)
- 要素(集合)
- 欲張り法
- 横型探索
- 余事象
- 予測
- 余裕時間
- --- ら ---
- ラグランジュ関数
- ラグランジュの未定乗数法
- ラグランジュ補間法
- ラプラス基準
- ラプラス逆変換
- ラプラス変換
- ランク
- 乱数
- ランダム系列
- ランダム法
- --- り ---
- 離散型分布
- 利得表(意志決定)
- 利得表(ゲームの理論)
- リテラル(命題論理)
- リテラル(述語論理)
- 両側検定
- --- る ---
- 類似比
- 累積寄与率
- 累積故障分布関数
- 累積故障率
- ルーレット選択
- ルンゲ・クッタ法
- --- れ ---
- 零元(環)
- 零元(体)
- 零元(束)
- 零元(ブール代数)
- 零点
- 列ベクトル
- 連言標準形(命題論理)
- 連続型分布
- 連立 1 次方程式
- --- ろ ---
- 論理記号(命題論理)
- 論理結合子(命題論理)
- 論理結合子(述語論理)
- 論理式(命題論理)
- 論理式(述語論理)
- 論理積(命題論理)
- 論理積(述語論理)
- 論理積標準形(命題論理)
- 論理的帰結(命題論理)
- 論理的帰結(述語論理)
- 論理和(命題論理)
- 論理和(述語論理)
- 論理和標準形(命題論理)
- ワイブル分布
- 和事象
- 和集合
- 和積標準形
- 1 項演算
- 2 項演算
- 2 次多項式近似( 1 次元探索手法)
- 8 パズル
- □(述語論理)
- A* アルゴリズム
- Abelian group
- algebraic system
- Closed Loop Control
- Combinattorial Optimization
- Conjugate Gradient Method
- Controllability
- CPM
- DFGS 法
- DFP 法
- DP : Dynamic Programming
- ELS: Economic Lot Size
- EOQ: Economic Order Quantity
- ES: Earlist Start Time
- F 分布
- Failure Rate
- Feedback Control
- Feedforward Control
- FF: Free Float
- field
- Flow Shop Problem
- GA : Genetic Algorithm
- group
- Hamann の係数
- Hesse 行列
- IF: Interfering Float
- Job Shop Problem
- Kendall の順位相関係数
- Lattice(束)
- LF: Latest Finish Time
- LP : Linear Programming
- Matrix
- 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
- optimul gradient method
- order relation(束)
- PERT
- PID 制御
- r-リテラル節(述語論理)
- Rank
- Reliability
- ring
- Rogers-Tanimoto の係数
- Russel-Rao の係数
- SE
- semigroup
- set
- Spearman の順位相関係数
- Steepest Descent Method
- SUMT
- Systems Engineering
- TF: Total Float
- Trace
- TSP : Traveling Salesman Problem(近似解法)
- t 分布
- unitary semigroup
- Vector
- χ2 分布