■

カネゴンはかれこれ30年ほど前から、学習用に式の変形を支援するようなシステムを空想していたのだけど、今のところこの作りかけの論文以外に見当たらない【決して作らぬおれカネゴン】。英語圏にも見つからない。
カネゴンが考えているのはこんなシンプルなもの:

• たぶんTabletPCとか巨大なiPhoneみたいなところで動作する。普通のPCでもいい。
• まず最初の式を入力する。キーボードからでもいいが、手書きでできるとなおいい。
• その式を選択して下に引きずると、式が複製される。
• 複製された式に操作を加える(両辺に同じ数を足すとか両辺を微分するとか)。
  • 等式なら、右式と左式のどちらかに何か操作をする(何かを足すとか引くとか)と、自動的に反対側の辺にも同じものが現れる。
  • 不等式なら、負の数を右式と左式のどちらかにかけると不等号の向きを自動的に変えてくれる。
• 式変形がひととおり終わったら、式変形全体をアニメーションで見せてくれる。その際、変形が行われているところを少し強調してくれるとさらにありがたい。
• そこから先は数式処理システムに流し込もうとtexに変換しようとアニメーションとして保存しようと好きなようにできる。それ自身に数式処理能力はなくてもいい。

たったこれだけのものが未だにないのはなぜなのだろう【調べの足りぬおれカネゴン】。数式処理ソフト上で似たようなことをやれなくもないのだけど、プレビューを表示しながらもそもそ式の文字による記述を修正するのではなく、式そのものを直接変形したい。これとGeoGebraが使えなければTabletPCの存在意義がないと言ってもいい。