LaTeX メモ： Emacs 28.1 以降のバージョンにおける AUCTeX の設定

-

最近 PC を新調したとき、emacs の設定変更が必要になったことがあった。取り急ぎ、AUCTeX まわりに限定してここに記録しておきたい。ここで、emacs と AUCTeX については、Emacs 28.1（現時点での最新バージョンは 28.2）, AUCTeX 13.1.4 にアップグレードした。

その後、AUCTeX で LaTeX ファイルを C-c C-c しようとすると、


Latex: problems after [0] pages


というエラーが出て、コンパイルに失敗する。具体的には、以下のような症状である。


auctex - Emacs gives me "Latex: problems after [0] pages" - TeX - LaTeX Stack Exchange
https://tex.stackexchange.com/questions/232273/emacs-gives-me-latex-problems-after-0-pages


その解決策は、上記ページを参考にして、


(add-hook 'LaTeX-mode-hook
  (lambda ()
     (add-to-list 'TeX-expand-list
              (list "%(extraopts)" (lambda nil TeX-command-extra-options)))))


という一文を、.emacs.el などの初期化ファイルに書いておけばよい。以上。


…


ということでエントリが終わってもいいのだが、emacs の初期化についても多少調べたことがあるので、ついでにメモしておきたい。


emacs の初期化ファイル（ここでは .emacs とする）に上記のような設定変更を行い、いつものようにバイトコンパイルした。すると、28.1 からは、以下のような warning が出るようになったのである（ここでは私のホームディレクトリを "/home/taro/" とした）：


Warning (comp): Cannot look-up eln file as no source file was found for /home/taro/.emacs.elc Disable showing Disable logging


このようなメッセージは初めて見たので、最初は当惑した。そもそも "eln file" とは何なのか。

実は、emacs 28 から、従来の byte compile に加え、native compilation がサポートされるようになったのである。

native compile については、Emacs Lisp info の "18 Compilation of Lisp to Native Code" に簡単なドキュメントがあるが、その技術についてより詳しく知りたければ、以下の論文：


Bringing GNU Emacs to Native Code
https://zenodo.org/record/3736363


を参照すればよい。2節まで読めば十分だろう。簡単に言うと、従来の byte compile は、elisp を汎用的な byte-code （いわゆる中間コード）にコンパイルしていた。そこでどんなマシンでも、一度コンパイルすれば code は同じという利点があったが、VM 上の実行となるため、実行時マシンのアセンブリによる直接的な実行と比べれば、速度の点から問題があった。

一方、native compilation においては、libgccjit を用いて、マシンの実行時コード（native code と呼ばれる）が出力される。当然ながらこのとき GCC（GNU Compiler Collection）による最適化も利用できる。結果として、byte compile と比較すると、native compile は 2.3 倍から 42 倍の速度向上を実現できたという。もちろん、native compile はマシンごとに実行されるので、byte code のような汎用性はない。

まとめると、JIT（Just-In-Time）コンパイルという技術は最新ではないが、いまだに emacs は進化を続けている。そう思うと、感動するものがあった。

ちなみに、私の emacs 28.1 では、(native-comp-available-p) を評価しても結果は nil となることから分かるように、native compile はできない。今後、時間があるときに以下のページを参考にして emacs を libgccjit つきでビルドしてみたい：


[Home] Gcc Emacs
https://www.emacswiki.org/emacs/GccEmacs


話は多少長くなったが、eln というのは、native compile された elisp ファイルの拡張子のことである。現状、native compile は単独で行われるのではなく、同時に byte compile も行われる（elisp info の "18.1 Native-Compilation Functions" 参照）。その結果だろうか、単に byte compile するだけであっても、ソースとなる elisp ファイルがないと、上記のような警告が出るようになってしまったようだ。

しかし、eln ファイルはマシンごとに違うので、デバッグの際にソースとなる elisp がないと困るとかいう理由ならまだ分かるが、byte compile だけでも上記のような警告が出るのは納得いかない。そもそも分かりにくいだろう。

まあ私は横着なので、emacs の初期化ファイルとしていまだに .emacs を使っていたので、ソースがないと判断されたのだろう。.emacs.el と名前を変えて、再度 byte compile すると、警告は出なくなった。

.emacs はさすがにどうかと思うが、そもそもホームディレクトリに dot file を置くのも古いスタイルなので（emacs info の "49.4.4 How Emacs Finds Your Init File" 参照）、今後改善していきたい。




関連エントリ




コメント

コメントを投稿

このブログの人気の投稿

LaTeX メモ - 数式における「|」 （縦線, vertical bar）の扱い（その2）

-
イメージ
このエントリは，以前書いたもの（ LaTeX メモ - 数式における「|」 （縦線，vertical bar）の扱い（その1） ）の続きである．すぐに書こうと思っていたのに，もう４ヵ月近くもたってしまった． Microsoft の Word のような WYSIWYG エディタとは異なり，LaTeX は，文書の論理的な構造を記述するシステムである（ 脚注1 ）．つまり，文書の作成者は，その文書の論理構造に注力すべきであって，その文書の書式はクラスファイルやスタイルファイルにまかせるべきと考えられている． ところが，LaTeX を使い始めの人は，見栄えを調整しようとして， \hspace , \vspace , \medskip , \bigskip , \\ などを駆使し，とにかく見た目だけを考えた原稿を書いてくる．論文の原稿などは再利用されることが多いのに，これでは再利用性が損なわれることおびただしい． しかしながら，そうはいっても，文書を美しく整形するためには，文書作成者自身が見栄えを考えなければならないことは多々ある．たとえば，数式における「|」 （縦線，vertical bar）の扱いなどもそうであり，今回はそれについて書いてみたい．なお，いつもと同様，このエントリでは AMS LaTeX パッケージを利用するものとする． 集合表現 以前の記事（ LaTeX メモ - 数式における「|」 （縦線，vertical bar）の扱い（その1） ）にも書いたが，数式における縦線「|」には多義性があり，適切な文書整形が難しい．その一つの例として，集合の記述がある．たとえば，普通に \{x | P(x) = 0 \}  と書いたとすると，区切りの縦線の両隣のスペースが詰まる結果になる（図1参照）． 図1 これを回避するために，いくつかの方法がある．たとえば， 「 \, 」「 \: 」「 \; 」を使って縦線の隣に少しスペースを空ける， \mid を使う， braket.sty の \set , \Set  を使う などである．これらの場合について，図2にフォーマット結果を示す． 図2 いろいろと意見はあるかもしれないが，個人的にはやはり \mid を使ったものが最も簡便で見栄えもいいように思う． ただ， \set を使う必要はほとんどないと思...
続きを読む

博士号取得者が高校教師になるということ

-
今月は別のエントリを書く予定だったが，時間的に難しそうなので，その内容は4月以降にして，教師ということについて書いてみたい．これは，以下のような，考えさせる記事を読んだからである．なお，私は理系の人間なので，このエントリの内容は，理系の話に限定させていただきたい． 「高学歴ワープア」から高校教師というキャリアパスはどうか？ http://www.newsweekjapan.jp/reizei/2013/03/post-543.php 昔から，大学にポジションを見つける（いわゆる，アカポスに就く）ということは難しかったが，特に最近は，厳しい状況になっている．このような情況は，数学や物理といった，基礎分野で特に顕著である．たとえば，今の若手の助教の公募は，基本的に3年から5年の任期付きで，テニュアトラックがあれば御の字というような厳しい内容であるが，それでも，応募倍率が100倍を超えるケースはよく聞く．数学や物理の分野で博士号をとれるというのは，極めて優秀な頭脳を持っているということであるが，それでも，アカポスにつくことは非常に困難なのである．このような事情は，企業の研究所についても同様である． したがって，博士号を取得したとしても，自分の好きなように研究を続けていける人は少数だろう．多くの人が，程度の差こそあれ，意にそまない仕事についていると考えられる． こういった状況であるから，博士号取得者のキャリアパスとしての高校教師というのは（高校の教師も狭き門ではあるが），いろいろと議論はあっても，やはり考慮に入れるべきことではないだろうか．そして，私は，そのような人は，生徒にとって素晴らしい教師になれると信じているのである． このことについて，はてな匿名ダイアリーで，以下のような記事があった： 良い研究者は良い教師ではないかもしれない http://anond.hatelabo.jp/20130205153622 さらっと書かれているが，この記事にはとても共感したので，よく覚えている．私が教えを受けた高校や大学の先生の中で，今でも記憶に残っているのは，やはり，その科目や専門分野を先生自身が面白くまた大好きだと思っているような先生方である．そのような先生方の授業には，情熱があったし，そのことに刺激や感銘を受けたものであった．教育において最も大事なのは，そのような情熱ではないだ...
続きを読む

へんろう宿 （井伏鱒二）

-
以前，といってももう2か月も前になるが， 私の note  で，井伏鱒二について触れた．今回のエントリでは，その作品について，もう少し書いてみたい． 井伏鱒二の作品としては，「黒い雨」や，教科書にもよく載る「山椒魚」の二つが最も有名だろう．しかしながら，私がまず思いつくのは，「駅前旅館」や「へんろう宿」という，二つの小説である．この記事では，後者について書いてみたい． 「へんろう宿」は，非常に短い作品である．ドラマチックな展開もない．しかし，この掌編は，しみじみ私の記憶に残っている． この作品のストーリーは，以下のようなものだ．著者である「私」は，所用で土佐を訪れ，遍路岬で宿をとる．その土地では，遍路のことを，「へんろう」と云うのであった．そして，「私」が泊まった「へんろう宿」には，奇妙な風習があったのである． このへんろう宿は，宿屋としては貧弱であるが，5人も女中がいた．3人のお婆さんと，2人の女の子である．そして，その日の夜遅く，「私」の泊まっている隣の部屋で，一人の宿泊客と，この宿の一人のお婆さんが，酒を飲みながら話をしているのである．「私」はそのとき眠っていたのだが，二人の話し声で，目を覚ましてしまった．そのお婆さんは，へんろう宿の女中のこれまでの人生について語っているのであった． 「（中略）一ばん年上のお婆さんがオカネ婆さん，二番目のがオギン婆さん，わたしはオクラ婆さんと言います．三人とも，嬰児（あかご）のときこの宿に放（ほ）っちょかれて行かれましたきに，この宿に泊まった客が棄（す）てて行ったがです．いうたら棄て児（ご）ですらあ」 ひょうひょうとした御婆さんの口ぶりであるが，内容は衝撃的である．なんと，この宿の5人の女中は，全員，もともとは捨て子だったのである．幼い赤子をかかえた親が，遍路岬を道中する途中，その赤子を持て余し，へんろう宿に捨て子をする．へんろう宿には，そんな奇妙な風習があったのだ． お婆さんの話を聞いた宿泊客は，捨て子をする親の料簡を不審がる．そして，お婆さんと客の会話は続いていく． 「戸籍面はなんとするのやね．女の子でも戸籍だけは届けるやろう．嫁にも行かんならんやろう」 「いんや，この家で育ててもろうた恩がえしに，初めから後家のつもりで嫁に行きません．また，浮気のようなことは，どうしてもしません」 「はてなあ，よくそれで我慢が続い...
続きを読む

水仙 （太宰治）

-
このエントリは，先日のエントリ（ ブログ開設9周年と「水仙」（太宰治） ）の続きである． 太宰治の「水仙」は，あまり有名な小説ではないかもしれないが，太宰の作品の中でも佳品の一つだと思う．そして，作品中でも述べられているように，「水仙」は，菊池寛の「忠直卿行状記」を基にしている．忠直卿行状記は大変有名な作品でもあり，多くの方がご存知だろうが，ここでは「水仙」にある簡単な紹介を引用しておきたい： 「忠直卿行状記」という小説を読んだのは，僕（注：太宰のこと）が十三か四のときのことで，それっきり再読の機会を得なかったが，あの一篇の筋書だけは，二十年後のいまもなお，忘れずに記憶している．奇妙にかなしい物語であった． 　剣術の上手な若い殿様が，家来たちと試合をして片っ端から打ち破って，大いに得意で庭園を散歩していたら，いやな囁（ささや）きが庭の暗闇の奥から聞えた． 「殿様もこのごろは，なかなかの御上達だ．負けてあげるほうも楽になった」 「あははは」 　家来たちの不用心な私語である． 　それを聞いてから，殿様の行状は一変した．真実を見たくて，狂った．家来たちに真剣勝負を挑んだ．けれども家来たちは，真剣勝負においてさえも，本気に戦ってくれなかった．あっけなく殿様が勝って，家来たちは死んでゆく．殿様は，狂いまわった．すでに，おそるべき暴君である．ついには家も断絶せられ，その身も監禁せられる． 　たしか，そのような筋書であったと覚えているが，その殿様を僕は忘れることが出来なかった．ときどき思い出しては，溜息をついたものだ． このような忠直卿行状記を通俗的に解釈すれば，権力者の孤独や悲哀といったものになるだろう．だが，太宰は，そのような凡庸な理解を拒否するかのように，この作品の別の真実に光を当てるのである． けれども，このごろ，気味の悪い疑念が，ふいと起って，誇張ではなく，夜も眠られぬくらいに不安になった．その殿様は，本当に剣術の素晴らしい名人だったのではあるまいか．家来たちも，わざと負けていたのではなくて，本当に殿様の腕前には，かなわなかったのではあるまいか．庭園の私語も，家来たちの卑劣な負け惜しみに過ぎなかったのではあるまいか．あり得ることだ．僕たちだって，佳（よ）い先輩にさんざん自分たちの仕事を罵倒せられ，その先輩の高い情熱と正しい感覚に，ほとほと参ってしまっても，その先輩とわか...
続きを読む

英語論文や発表でよく見かける略語

-
英語論文や発表では，よく見かける略語（acronym含む）がある．そういう言葉は初めて見る場合はとまどうものでもあるし，ざっとウェブを検索してみたところ，あまりまとまったページがないようなので，ここに書いておきたい． なお，思いつくだけでも，i.i.d (independent(ly) and identically distributed)，poset (partially ordered set)，a.e. (almost everywhere) 等，専門用語の分かりにくい略語は多いが，きりがないので，なるべく広い分野で用いられているものをあげてみた（実際は，数学関係等，理論的な分野に偏っているかもしれない）． 個人的には，こういう略語はあまり formal ではなく，論文に使うべきではないと考えている．しかしながら，いずれにせよよく見かける表現であるので，ここでまとめておくのも意味があると思う． cf.: （英語ではなくラテン語の）confer.  英語では，compare (with) という意． 比較せよ，参照せよ，というように使われるが，比較せよ（compare）という意味のみで用いるべきという人もいる． esp.: especially et al.: ラテン語．英語では，and others． i.e.: ラテン語．英語では，that is， iff: if and only if lhs, LHS: left hand side rhs, RHS: right hand side resp, RESP: respectively s.t.: such that，あるいは subject to tfae, TFAE: the following are equivalent Th, th, Thm, thm: theorem w/: with w/o: without whp, w.h.p: with high probability 「高い確率で」とは，適当に言ってるのではなく，通常はその意味は厳密に定義される． WMA: we may assume wrt, w.r.t.: with respect to 他にもあれば追記していく．また，誤り等あればご指摘ください． （追記） 英語の略語（abbreviation）や頭字語（acronym...
続きを読む