bibtex を選択し参照の形で挿入する Anything 情報源 Anything-BibTeX を作りました。 Emacs に標準添付の RefTeX を利用しています。 この記事は Emacs Advent Calendar jp: 2011 : ATND の 27日目の記事です。 そもそも bibtex ってなにさ 論文などを執筆…

これは、Theorem Proving Advent Calendar の11日目の記事になります。 Why の Emacs 上での開発環境について紹介します。 ちっとも証明してないですが、凄い方々の凄い記事の間の箸休めということで一つ。 why-mode tmiya さんによる3日目の記事で紹介され…

流行りに乗って Advent Calendar に参加してみたくなったのではてダ始めました。 投稿テストを兼ねて自己紹介をとりとめもなく書いてみます。 身分 現在大学院生です。プログラムの静的検証を研究しています。 来年からは名古屋の方で就職予定。 プログラミ…