2016-12-17から1日間の記事一覧
この記事はTeX & LaTeX Advent Calendar 2016の17日目の記事です. 2日目はYasuhide Minodaさんでした.18日目はVoDさんです. はじめに これまで,TeXがチューリング完全であるかを証明する様々な試みがあった.ここにいくつか挙げておこう. BaSiX TeX言…
この記事はTeX & LaTeX Advent Calendar 2016の17日目の記事です. 2日目はYasuhide Minodaさんでした.18日目はVoDさんです. はじめに これまで,TeXがチューリング完全であるかを証明する様々な試みがあった.ここにいくつか挙げておこう. BaSiX TeX言…