Tikzとか余り使ったことがないので拙いコードですが、 こういうのが意外とWeb上になかったので載っけます。 特に座標の型と数値型の取り扱いにハマりました。 例えば、ベクトルvのスカラーk倍なんてのはCalcライブラリで \pgfmathtruncate{\k}{5}; \coordina…
drive.google.com※使用にはJava1.6以上のインストールが必要です 説明 シーケント計算などのゲンツェンスタイルの証明図を書くときは、普通TeXで「proof.sty」を使って書きます。しかし、証明が複雑になるとこれが非常に書きにくい。そこでそのTeX証明図の作…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。