7. lambda ¤Î¼Â¹Ô
8. dvipdfmx ¤Î¼Â¹Ô
+ 9. ¥¤¥ó¥¹¥È¡¼¥ë¾å¤ÎÃí°Õ
¤³¤ì¤ò½ç¤ËÀâÌÀ¤·¤Æ¤¤¤¤Þ¤¹¡£
¤³¤ì¤Ç PDF ¥Õ¥¡¥¤¥ë¤¬½ÐÍè¾å¤¬¤Ã¤Æ¤¤¤ë¤Ï¤º¤Ç¤¹¡£
+
+* 9. ¥¤¥ó¥¹¥È¡¼¥ë¾å¤ÎÃí°Õ
+
+ ºÇ¶á¤Îlambda¤Ïaleph¤ò»È¤Ã¤Æ¤¤¤ë¤Î¤Ç¡¢¦¸/CHISE¤¬Àµ¾ï¤ËÆ°¤¤Þ¤»¤ó¡£
+ ¤½¤Î¾ì¹ç¤Ïomega¤ò»È¤Ã¤¿lambda¤òºî¤ê¤Ê¤ª¤¹É¬Íפ¬¤¢¤ê¤Þ¤¹¡£
+
+ °Ê²¼¤Ë¡¢TeX¤¬/usr/local°Ê²¼¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Æ¤¤¤ë¾ì¹ç¤ÎÎã¤ò¼¨¤·¤Þ
+ ¤¹¡£
+
+ ³ÎǧÊýË¡)
+
+ $ ls -l /usr/local/bin/lambda
+
+ ¡Ö/usr/local/bin/lambda -> aleph¡×¤Èɽ¼¨¤µ¤ì¤ë¾ì¹ç¤Ï¡¢°Ê²¼¤Îºî¶È¤ò¹Ô¤Ã
+ ¤Æ²¼¤µ¤¤¡£
+
+ $ cd /usr/local/bin
+ $ sudo rm lambda
+ $ sudo ln -s omega lambda
+ $ cd /usr/local/share/texmf/web2c
+ $ lambda -ini lambda.tex
+
+ °Ê¾å¤Ç¤¹¡£