気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
Proof Figure Macros
12 users
research.nii.ac.jp/~tatsuta
research.nii.ac.jp/~tatsuta
research.nii.ac.jp/~tatsuta
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
Proof Figure Macros for LaTeX proof.sty (Version 3.1) I, Makoto Tatsuta, have updated my proof fi... Proof Figure Macros for LaTeX proof.sty (Version 3.1) I, Makoto Tatsuta, have updated my proof figure macros proof.sty so that it can be used for not only LaTeX 2.09 but also LaTeX 2e. This package helps you to write proof figures used in mathematical logic easily and beautifully. Many logicians and computer scientists have been using this package since I wrote this package in 1990. Files: proof.s
research.nii.ac.jp/~tatsuta
note.com/fta7
anond.hatelabo.jp
www.cnn.co.jp
anond.hatelabo.jp
togetter.com
www.asahi.com
karte-m.cocolog-nifty.com
cloud.watch.impress.co.jp
www.gizmodo.jp
www.m3tech.blog
minihanroblog.seesaa.net
2006/07/28 リンク