パターンマッチと項書き換え - Mathematica で非可換なシンボル計算 - NyaRuRuが地球にいたころ

パターンマッチと項書き換え - Mathematica で非可換なシンボル計算 - NyaRuRuが地球にいたころ

状態遷移のテスト法 - 東方算程譚 状態遷移のテスト法(そのに) - 東方算程譚 遷移行列てのはある状態か...概要を表示 状態遷移のテスト法 - 東方算程譚 状態遷移のテスト法(そのに) - 東方算程譚 遷移行列てのはある状態からある状態に遷移させるのに必要な事象の行列。 断 弱 中 強 断 風 電 弱 電 風 中 電 風 強 電 風 わかるよね。縦に並ぶのが今の状態、横に並ぶのが次の状態。 この表によると、弱から中にするには風ボタンを押せばいい。 さて、この遷移行列をTとし、T^2 (=T×T) を求めると: 断 弱 中 強 断 風風+電電 風電 電風 弱 電風+風電 電電 風風 中 電風+風電 電電+風風 強 電風+風電 電電 風風 こんなのができます。 これは二回の操作で状態を遷移させるときの事象の列すなわち操作の列が表になってます。 たとえば中状態から二回の操作で断にするには電・風または風・電の順にボタンを押せばいい。 遷移行列の掛け算を繰り返して T^n (= T×T×T×....×T) を求めると

• プログラム