トップ 最新 追記

uDiary

海野秀之(うんのひでゆき)の外部記憶

Twitter (twilog) / RSS / アンテナ / ぶくま

2006|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|08|
2010|01|02|03|05|06|07|10|11|
2011|03|08|
2012|02|04|07|08|10|
2013|01|02|03|05|06|08|11|12|
2014|01|02|05|06|07|08|09|12|
2015|01|02|03|04|

2015-04-02 (Thu)

本よみ進捗

進捗

「情報学における論理」を主に読み進めている。1章もうすぐ終わって、次は2章の述語論理。どうして学生のころ、ちゃんと勉強しておかなかったかなぁという感じだが。

「プログラム意味論」は、チャーチ・ロッサー定理の証明になっとくがいかなくて、いまは脱線して "The Lambda Calculus" のその部分を読んでる。

圏論の教科書は、最後になるかなぁ。


2015-04-16 (Thu)

さくらのサーバに Graphviz をいれた。

まず、make install でこけた。↓を参考に回避。
http://scissorhands.jpn.org/2008/04/visitorsgraphviz.html

pangocairo を入れるのは大変そう(根性はない)で、デフォルトのレンダラだとあんまり品質よくない。

http://scissorhands.jpn.org/2008/04/visitorsgraphviz.html

妥協策として、svg を介して、dpi 高めでビットマップを吐くというのでどうかな。

$ ~/bin/dot -T svg -o sample.svg sample.dot
$ convert -resample 300 -units PixelsPerInch sample.svg sample.pdf

いまいちだけど。

可換図式

Graphviz では数式書けないし、さくらには Graphviz ちゃんとしたの用意するのしんどげだったので、こっちの方がメインになるかも。

  platex web00351
  dvipdfmx web00351
  convert -trim web00351.pdf web00351.png

jsarticle にして文字大きめ、convert -trim くらいがミソかな。

http://uhideyuki.sakura.ne.jp/files2015/web00351.png

参考:
http://www.biwako.shiga-u.ac.jp/sensei/kumazawa/tex/web0035.html

可換図式2

http://www.jmilne.org/not/CDGuide.html

amscd は斜めの線が引けないとか。xymatrix がいいのかも。

platex xy.txt 
dvipdfmx xy
convert -trim xy.pdf xy.png

http://uhideyuki.sakura.ne.jp/files2015/xy.png

ふつうに数式環境で書けばよい。

MathJax ではなく LaTeX にまかせる数式環境というのをプラグインにすればいいだけかも(studs はなし)

参考: http://www.jmilne.org/not/Mxymatrix.pdf

usepackage に追加するものは、conf に書けた方がよい。


2015-04-25 (Sat)

自作 Wiki へ移行

また Wiki エンジンを自作してしまった。

こんどのやつは、常用しようと思っていて、にっきも、それ以外も、
全部そっちで書くことにする。

とりあえず、4 月の日記はこちら


2006|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|08|
2010|01|02|03|05|06|07|10|11|
2011|03|08|
2012|02|04|07|08|10|
2013|01|02|03|05|06|08|11|12|
2014|01|02|05|06|07|08|09|12|
2015|01|02|03|04|
Categories 3imp | Card | Cutter | Dalvik | Euler | Football | GAE/J | Hand | Haskell | Re:View | Ruby | Scheme | TQD | Tiger | TigerBook読 | UikiTeXi | Verilog | Violin | Web | parconc | tDiary | お勉強 | エントロピー | ツン読 | | 将棋 | 政治について | | 模写してみよう | 確率論 | 設定など | 雑文 | 音声