表計算ソフトは幅広い分野で活用される計算システムであるが，誤りが多く含まれることが問題点として指摘されている．その原因として，数式が間違っていても出力に違和感がなければ間違いに気づきにくいことが挙げられる．本研究では，プログラミング言語における型が誤りの検知に役立つことに着目し，型を応用した誤り検出技術を実装する．各セルに「型」と「属性」を定義するための型定義シートを予め作成し，そこから数式の誤りを検出する．この実装において，誤りを含む表計算シートコーパスで実際に特定の種類の誤りを検出できることを実証した．また，詳細な型指定が困難であるシートについても，シートを整理することで誤りを検出可能になることを確認した．