Math Animation Lab
数学アニメーション
作成した数学アニメーションをここから開けます。
Linear Algebra
行列演算アニメーター
加算・減算・乗算・除算を、要素ごとの参照セルと計算履歴つきで表示します。
Gauss-Jordan
逆行列と求め方
[ A | I ] を掃き出して、右側に A^-1 が現れる過程を表示します。
Linear System
掃き出し法で解く連立一次方程式
[ A | b ] を行基本変形し、解 x が出る過程を表示します。
Determinant
行列式と求め方
2 x 2 から 4 x 4 まで、行基本変形で上三角化しながら det(A) を求めます。
Vector
ベクトルの加減算
2次元・3次元で、成分計算と図解を並べて加算と減算の流れを表示します。
Vector
ベクトルの内積
2次元・3次元で、成分入力と大きさ・なす角入力を同期しながら、2通りの内積の求め方を図解つきで表示します。
Vector
ベクトルのなす角
内積とベクトルの長さから、cos θ と角度 θ を求める流れを表示します。
Linear Algebra
線形独立と線形従属
2 次元と 3 次元で、一次結合と行列式の両方から線形独立・線形従属の違いを表示します。
Linear Algebra
基底ベクトルと標準基底ベクトル
標準基底と任意の基底の違いを、同じベクトルの座標表示として比較します。
Linear Algebra
線形写像と表現行列
基底ベクトルの像から表現行列を作り、T(x)=Ax の意味を図解で表示します。
Linear Transformation
主な線形写像
2D/3D で、主な対称移動・回転・拡大の線形写像が図形をどう動かすかをアニメーションで表示します。
Transformation
回転・拡大縮小・平行移動
回転と拡大縮小を線形写像として、平行移動をアフィン写像として比較表示します。
Graphics
同次座標系とグラフィックス
2D/3D で最後に 1 を足し、平行移動を 1 本の行列積に入れる流れを表示します。
Eigenvalue
固有値と固有ベクトル
det(A - λI) = 0 から固有値を出し、(A - λI)v = 0 を解いて固有ベクトルを求める流れを表示します。
Diagonalization
行列の対角化
固有値と固有ベクトルから P, D を作り、P^-1 A P = D を確かめる流れを表示します。
Analytic Geometry
2次曲線の標準形と直交変換
楕円・双曲線・放物線の標準形を、回転による直交変換と逆変換で対応づけて表示します。
Discrete Math
集合とベン図
和集合・積集合・補集合・差集合を、ベン図と要素列挙でステップ表示します。
Discrete Math
関係と関数
順序対・関係行列・写像の矢印を使って、関係と関数の条件を表示します。
Discrete Math
順列と組み合わせ
番号の区別と重複の可否を設定し、順列・組み合わせを段階的に表示します。
Discrete Math
二項係数
n乗を入力し、パスカルの三角形の係数で二項展開や a+b√c の累乗を計算します。
Discrete Math
多項定理
n乗と変数数を入力し、指数の組を生成しながら x,y,z,w までの多項係数を計算します。
Logic
命題論理の真理値表
2, 3, 4変数の論理式を、⋀・⋁・~ の記号で真理値表にします。
Boolean Algebra
ブール代数 4桁の対応表
2, 3変数の代数式を、積省略・和 +・反転 ' の表記で各桁ごとに計算します。
Logic Circuit
論理回路の基礎
2, 3, 4入力に対する3層構成の論理回路を、ゲート設定と配線つきで表示します。
Logic Circuit
論理回路の簡略化
論理式からカルノー図を作り、簡略化後の論理式と回路を比較します。
Sequential Logic
論理回路のサンプル
フリップフロップ、半加算器・全加算器、レジスタと、4ビット連続加算器のクロック動作を確認します。
Logic
論理パズルを命題論理で解く
扉や島のパズルを命題に置き換え、候補表で条件を満たす解を探します。
Automata
形式言語
アルファベット、語、空語、連接、閉包、言語を具体例で確認します。
Automata
(決定性)有限オートマトンとその受理言語
DFAの遷移表を使って入力語を読み、受理状態へ到達するかを表示します。
Automata
正規表現とその生成言語
正規表現を入力し、連結・和集合・閉包から生成される語の例を表示します。
Automata
非決定性有限オートマトンとその受理言語
NFAの分岐とε遷移を、到達可能状態集合として追跡し、受理状態へ到達する経路の有無を表示します。