テキストエディタの数学的表現を探す - 言語ゲーム

テキストエディタの数学的表現を探す - 言語ゲーム

昨日眠れなくてずっと布団の中で考えていたメモです。意味と実装という言葉がよくプログラミングの中で...概要を表示 昨日眠れなくてずっと布団の中で考えていたメモです。意味と実装という言葉がよくプログラミングの中で使われます。意味は二つのオブジェクトの間の関係を表していて、例えばテキストエディタで言うとテキストデータと実際に表示されるビットマップとの間にはある種の関係の事で、例えば横 80 桁固定のテキストエディタだとすると、 文字列が必ず横 80 文字で折り返す、とか、 A のフォントはこれこれこういう形である。 とか、宣言的に書く事が出来ます。また、実装とは、その関係をコンピュータ上で実行するために必要なプログラムの事を言います。例えばキーボードから A が押された時に、 バッファに A を挿入する。 入力位置のテキストを書き換える。 もしも入力位置のテキストが80文字を越えていたらそこから下全部書き換える。 などと、操作的に書く事が出来ます。問題は、意味から実装を機械的に作る事は出来ないのだろうか？

• article