fixedpoint.jp - Manued についての考察




Manued についての考察

Manued(真鵺道)とは校正されたテキストを電子メールでやりとりするために考案された書式です: http://www.mpi-inf.mpg.de/~hitoshi/otherprojects/manued/index.shtml

書式はいたってシンプルで、訂正したいテキストに

という2つの記法(コマンド)を使って訂正内容を指定します。

上のページで配布されているサポートプログラムで書かれているように、コマンドはネストできます。ただし、定義により substitution の L や R にはコマンドが含まれないと考えられます。

substitution について考察してみると、

swap について考察してみると、


© 2006-2010 Takeshi Abe