計算機として安全なという意味に限った意味での『型安全』が、学問上の（数学上の？）型安全なのかも？＞＜
って考えると、Adaとかが言う型安全ってTaPLとかに書いてあるかもしれない型安全とは意味が違う？＞＜
そうなるとそれって積極的に型を作って型検査に任せるって思想とは逆だから、つまり、らりおさんの文脈で言う所の低レベルな型の事ってなるかも？＞＜