通常は組版言語と考えられている言語を使用して、興味深いことを行うことができます。たとえば、postscript を使用してマンデルブロ集合を作成できます。
このMathOverflowの質問では、LaTeXがチューリング完全である可能性があることが示唆されています。これは、任意のプログラムを作成できることを意味します (簡単ではないかもしれませんが!)。このような言語で非常に珍しいことを行う LaTeX のプログラムの具体的な例を知っている人はいますか?
通常は組版言語と考えられている言語を使用して、興味深いことを行うことができます。たとえば、postscript を使用してマンデルブロ集合を作成できます。
このMathOverflowの質問では、LaTeXがチューリング完全である可能性があることが示唆されています。これは、任意のプログラムを作成できることを意味します (簡単ではないかもしれませんが!)。このような言語で非常に珍しいことを行う LaTeX のプログラムの具体的な例を知っている人はいますか?
The Monad Readerの第 13 号で、Stephen Hicks は、大量のマクロを使用して TeX で ICFP コンテスト (火星探査車のナビゲーションを含む) のソリューションを実装することについて書いています。面白いことに、typeset 時のソリューションの出力は、ローバーのパスのポストスクリプト マップです。
あるいは、Andrew Greene がTeX で BASIC インタプリタを書きました(詳細)。これは少しひねくれた行為とみなされるかもしれません。
\def\K#1#2{#2}
\def\S#1#2#3{#1#3{#2#3}}
図書館はpgfmath
今でも私を驚かせます。しかし、よりチューリング関連のメモ: http://en.literateprograms.org/Turing_machine_simulator_(LaTeX)に従って、TeX で実際のチューリング マシンを作成することは可能です。これは、TeX で展開を使用する気の利いた方法です。
PostScript も同様にチューリング完全です。マニュアルを読めば、その一般的なプログラミング機能に驚かれることでしょう (少なくとも、私はそうでした)。
これがプログラミングそのものに該当するかどうかはわかりませんが、最近、LaTeX でオブジェクト指向のようなことを少しやり始めました。(以下に従うために数学を知る必要はありません。) 最近の論文では、オブジェクトと射を持つカテゴリについて書いています。それらはかなりの数あったので、たとえば
ACM コンテストの問題の答えをLaTeXで書いた人を知っています。