LaTeXによる証明図の記述 - kivantium活動日記証明図は「bussproof.sty」にお任せを参考にいくつか証明図を書いてみました。ひな形はこんな感じです。 \documentclass{jsarticle} \pagestyle{empty} \usepackage{bussproofs} \begin{document} \begin{prooftree} %ここに証明図を書く \end{prooftree} \end{document} 以下は省略してprooftree環境の中だけ書きます。 まずは簡単なものから \AxiomC{$(\Phi \land \Psi)$} \UnaryInfC{$\Phi$} \AxiomCには公理や前提となる命題を記述します。 \UnaryInfCには単一の命題からの帰結を記述します。 \AxiomC{$\Phi$} \AxiomC{$\Psi$} \BinaryInfC{$\Phi \land
Vim script と vimrc の正しい書き方＠nagoya.vim #1
How to make a presentation with Latex - Introduction to Beamer
正規表現入門 星の高さを求めて
正直過ぎる家入さんは他候補者の凄さを無効化する20140127 f
TeX入門/スライドの作り方（jsarticle編） - TeX Wiki
