ブログ紹介

素材フリーへ



WEB素材のフリーサイトを紹介しているホームページです

WEB（うぇぶ）とはドナルド・クヌースによって設計および開発されたプログラミングのしくみ。TEX の実装に用いられていることで知られる。 クヌースが提唱する文芸的プログラミングを実践したものがこの WEB であり、記述するときは節ごとにひとまとまりのコードとその説明を記述する。出来上がった WEB テキストを、weave プログラムで処理すると、TEX で整形された印刷用のドキュメントが得られ、tangle プログラムで処理すると、コンパイルして実行可能なプログラムコードが得られる。

集合とよばれる数学的対象をあつかう数学理論である。 通常、集合はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。

数理論理学による手法を用いて数学的構造を研究する数学の分野である。 モデル理論における研究対象は、形式言語の文に意味を与える構造としてのモデルである。