PS

TeX

String diagram による Applicative functor まとめ

Applicative Functors with Strings Applicative functor の記事をまとめました。 strcat/strapp.pdf at master · okomok/strcat · GitHub

TikZ external

external パッケージ TikZ の図を個別の pdf にコンパイルする。\includegraphicsで参照も出来る。これがないとちょっと推敲するごとに数(十)分待つ・・・なんてことになる。 バッドノウハウ 「md5 ファイルが作れない」というエラーが出る → 出力ディレクトリ…

String diagram による圏論まとめ

Category Theory with Strings 圏論の記事(enriched系を除く)をまとめました。 strcat/strcat.pdf at master · okomok/strcat · GitHub

TeX で関数型プログラミング

TeX

こちらは TeX & LaTeX Advent Calendar 2015 - Adventar の 15 日目の記事です。 前の日・・・LaTeXの相互参照はいつでも解決(収束)するのか? - Qiita 次の日・・・\mathchoice の闇 - TeX Alchemist Online lambda-lists TikZ と格闘中に lambda-lists (lambd…

lambda-lists

TeX

は関数型だった。 lambda-lists lambda-lists という小さな package があってそれを読むとマクロの意味が分かる。 \def\myin[#1]#2{\Foldr{\myinimpl}{#2}{\Listize[#1]}} % \defはパターンマッチ可能 \newcommand*{\myinimpl}[2]{\begin{#1}#2\end{#1}} 参…

TikZ の概念

TikZ TikZ とは path (なるもの)を構築する tex のライブラリ。 Path Path とは、path operation が何個か連なったものであり、\pathcommand により構築する。 \fooは\path[foo]または\path fooの短縮形である。 Path operation Path operation は path を構…

Markdown vs. tex記法

TeX

はてなブログのMarkdownモードで数式[tex: ]を書くときのバッドノウハウ 問題点 Markdownがパースしたあと、texがパースされているようなので、例えば [tex: a*b*c] が、Markdownのemphasisと解釈されて [tex: abc] となってしまう。 回避策 <div></div>で[tex: ]を囲む…

MathJax

TeX

はてなブログのtexがMathJaxに対応したらしい。 変更点 \limitsが多くの記号に使えなくなった(ようだ)。 \oversetと\undersetを使う \congが使えるようになった。 記号の隙間が適切になった。 dash(\unicode{x2013})が使えるようになった。 Text attributes…