>>515
> 機械的に検出するためには、機械的に検出できるようにコーディングするのよ。
> コンパイル時にエラーになるだけが、検出ではないよ。
>
間違いを検出するのは、コンパイル時ではないということ？？？
あなたの主張が全く見えないので、以下で確認させて欲しい。

問１）　>>474は具体的にどこが間違っているのか？
１、weightとheightが同じ型であるところが間違っている。これらは型を分けるべき
２、（同じ型であっても）名前が間違っているのは明らかだから、代入したらエラーがでるべき。
３、その他

問２）　あなたのいう「機械的に検出」とは具体的にどのような方法で行うのか？
１、weightとheightの型を分ける
２、weightやheightや他の英単語をキーワードとして登録し、その使われ方をチェックする
３、コンパイラや他の何か(例えばLINTやリンカなど)に意味解析をさせる
４、その他

問３）　>>474の間違いを検出するフェーズは具体的にどこか？
１、コンパイルの開始前（いわゆるLINT）
２、字句解析時
３、構文解析時
４、構文木を作った後の独自のエラーチェック時
５、コード生成時
６、実行時
７、その他