入れるのは大変そう(根性はない)で、デフォルトのレンダラだとあんまり品質よくない。高めでビットマップを吐くというのでどうかな。sample.pdfいまいちだけど。したの用意するのしんどげだったので、こっちの方がメインになるかも。斜めの線が引けないとか。xy.pnghttp://uhideyuki.sakura.ne.jp/files2015/xy.pngふつうに数式環境で書けばよい。「情報学における論理」を主に読み進めている。1章もうすぐ終わって、次は2章の述語論理。して学生のころ、ちゃんと勉強しておかなかったかなぁという感じだが。圏論の教科書は、最後になるかなぁ。#48昨日、おとといは、腰痛で寝込んでいたので、1問/日ペース守るなら3問かなといったところ。見とけそうなのが4つあったので、とりあえず。これは、ずいぶんいい加減にやってしまった感。