プログラムの可読性を損なう要因の1つとして、a-3>0とa>3の様な同じ意味の数式を異なる表現で記述している場合がある。本研究ではこれを数式表現における揺らぎといい、それを検出、提示し、可読性を高めることが目的である。本発表では数式の、特に不等式、及び右辺式に着目した。検出手法として、プログラムに構文解析を行い全ての数式を抽出し、充足可能性判定問題を解くツールを用いて互いが等価の式であるかの判定を行う。数式の抽出に際して、変数名やメソッド呼び出しの引数の違いを吸収することで、より多くの揺らぎの検出をできる様にしている。