Word 2000を使ってレポートを書いていた。「あらわす」と打って「表す」にしたら、緑色の波線が付いて、これは文語調だから「表する」に直しなさい、と指示された。「表する」の方がよほど文語調ではないかとしばらく考えた。どうも最初の「表す」を「ひょうす」と読んでいたらしい。
文句を言われるのは癪だから、「表わす」と書き換えたら、今度は送りがなが本則とずれている、と文句を言われた。言われたとおり「表す」に戻したら再び「表する」に直せという。
ワードの波線を一種のλ計算と見なして、不定形を作ることは可能だろうか。
