代数的仕様記述法は、ソフトウェアで用いられるデータ型 を代数で表現し、性質を等式によって表現する記述法であ る。そのため、自然言語によって記述された仕様に比べて、 曖昧な部分を無くすことができる。つまり、プログラムの 中のデータの性質を数学的に把握することが可能になる。 また、ソフトウェアの誤りを容易に発見できるようになる。 しかし、プログラムの仕様に代数的仕様記述法を用いたも のは少ない。そこで、本研究ではプログラムから代数的仕 様を生成する方法を提案する。そのために、プログラムか ら代数的仕様を記述する上でのパターンを見つけ、その規 則性について考察した。この方法で、プログラムから代数 的仕様を生成でき、プログラム中の誤りが容易に発見でき るようになることが期待できる。ただし、C言語を用いた プログラムを対象とする。