数学

/幾何学

直交曲線座標とは

座標変換の不変量、計量の定義、直交条件、微小体積、ベクトルの微分、勾配、分散、回転、ラプラシアン
/数値計算

ニュートン法とは

高次方程式の根を求めるための数値計算法、関数が単調に増加または減少している範囲で有効、2分法
/論理・基礎論

命題論理とは

命題・論理式、論理記号、含意・否定・同値・論理和・論理積、公理系、推論規則、背理法、ド・モルガンの法則
/解析学

関数と方程式(高校数学)

高次方程式、恒等式と不等式、数列、数学的帰納法、2次不等式、逆関数と合成関数、分数関数、無理関数、複素数、極限
/情報・暗号

情報伝送速度とは

ノイズのある通信路で送信することのできる単位時間当たりの情報量、不確定度、あいまい度、相互情報量
/解析学

テイラー展開とは

関数のある一点での導関数の値から計算される項の無限和、マクローリン展開、初等関数の級数展開
/論理・基礎論

チャーチ・チューリングの定立とは

計算可能な関数とチューリングマシンで計算できる関数は同じ、帰納的関数、計算システムの等価性
/幾何学

リッチテンソルとは

歪んだ空間の球体と平らな空間の球体との差を表す量、リーマン曲率テンソルの縮約、対称性、スカラー曲率、ビアンキの関係式