WEB
WEB(ウェブ)は、蜘蛛の巣を意味する言葉である。現在ではインターネット全般を意味する言葉として一般化しているが、インターネットの黎明期にドナルド・クヌースによって設計および開発されたプログラミングのしくみが本来の意味である。TEXの実装に用いられていることで知られる。 クヌースが提唱する文芸的プログラミングを実践したものがこのWEBであり、記述するときは節ごとにひとまとまりのコードとその説明を記述する。出来上がったWEBテキストを、weaveプログラムで処理すると、TEXで整形された印刷用のドキュメントが得られ、tangleプログラムで処理すると、コンパイルして実行可能なプログラムコードが得られる。