ボンクラージュ。

いましがた発見してびびった勢いで引用。 テフ【TeX】積分記号や微分演算子など表記が難しい数式や特殊記号を含む文書を編集・印刷するための文書整形ソフト。テック。テヒ。

そうこうしてたらもうこんな時間。今日はもうおそらく出勤しないだろう。

「サイエンス」カテゴリに数学関連のいくつかのキーワードを移す。論理学やら数学基礎論のあたりは非常に線引きが微妙で困った。「ゲーデル」とか。