この記事はつらぽよ Advent Calendar 2013 - Adventarの4日目です。現在適応障害からのうつ病で休職しています。 休職を決定するまでの初期症状を振り返ってみます。 あくまで一例であり、また全部がうつによるものかは分かりませんが、心当たりのある方は医…

この記事は進捗Advent Calendar 2013 - connpassの3日目です。艦これは2-4攻略に向けて航空戦力の拡充を図っているところです。 先日のイベントではE-2をギリギリ抜けました。 いずれにせよ電と鳥海のかわいさにはなんら問題ありませんのでご安心ください。 …

この記事は LL/ML Advent Calendar 第2ラインの7日目です。 Scheme 開発環境の Geiser を紹介します。 Gieser とは Geiser は Emacs 向け Scheme 開発環境で、処理系と連携した REPL の機能を重視しています。 処理系に依存する各種機能や REPL から利用する…

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