情報処理学会第85回全国大会 会期:2023年3月2日~4日 会場:電気通信大学

1B-03
等式の両辺の単位が等しいかチェックするプログラムの実装
○岩見宗弘(島根大),奥原智史(島根情報処理センター)
高校で物理学の計算をする際,立式は正しくても途中の計算を間違え,
F = vのような明らかに間違った等式を得ることがある.等式F = vに
おいて,Fは力,vは速度を意図している.力は速度にはなりえないので,
この等式は明らかに間違っている.このときに,どこで間違えたかを調
べるため,最初の等式から1行ずつ改めて式変形を確認する必要がある.
ここで,間違いを発見するために,等式の単位を使う方法がある.両辺の
単位が異なっていれば明らかにその等式は誤りであり,同じであれば誤り
はないかもしれないと推測できる.そのため,単位の計算を自動で行うソ
フトウェアがあればよいと考え,この研究を行うことにした.
本研究では,LaTeXで書かれた等式とその中に含まれる変数の単位から,
その等式の両辺の単位が等しいかを調べるプログラムをJavaを用いて作
成する.このプログラムでは,四則演算および平方根と整数乗に対応する
ことができた.なお,本研究のプログラムは三角関数とベクトルを含む等
式は対象としていない.