この事例演習では,数式微分プログラムの考え方や基本的な処理方式について解説する.数式微分プログラムは,数式の微分値を計算するものではなく,文字列としての数式から,微分した数式を文字列操作によって導き出すプログラムである.例えば,図に示すように,数式を入力し,微分すべき変数を指定して,「微分実行」のボタンを押下すると,数式を微分した結果の数式が表示されるようなプログラムである.値でなく意味のある文字列を操作するプログラムは,コンピュータのもつ別の可能性を示すもので,人工知能技術を学ぶ上で基礎となる考え方を含んでいる.この事例演習を通して,数式処理の考え方とその背後にあるリスト処理の考え方を学んでゆく.