TO DO
adminadmin・外部変数を扱えるように。補題も
・php functionの整備。
順番替える。ary1_map,tex0,decent0を改良？
・word関数の#を\に
・数学の教科書を先に進める
きれいな定義を可能に
・必要な「推論の道具」を揃える
adminadminadminadminadminadmin・外部変数を扱えるように。補題も
・php functionの整備。
順番替える。ary1_map,tex0,decent0を改良？
・word関数の#を\に
・数学の教科書を先に進める
きれいな定義を可能に
・必要な「推論の道具」を揃える
