>>562
ttp://katahiromz.web.fc2.com/c/loadwave.html

私からも。
与えられた一階述語論理式を節形式に変換するプログラムを作れ。
論理式はTeX表記で。言語は自由。