2016-05-01から1ヶ月間の記事一覧

Emacsのデフォルトメジャーモードをlisp-interaction-modeにする方法(version 24.5.1)

Emacs-Lispを使っている人にとって、*scratch*バッファのlisp-interaction-modeは重要ですよね。(C-jでS式を評価できたりします)デフォルトメジャーモードをlisp-interaction-modeにするのは簡単で、init.elに次の一文を加えるだけです。場所:gnupack_bas…

ある文字列の写像の不動点定理

QとRからなる文字列を考えます。 文字列xとyの結合をxyと書いて、ヌル文字を0とします。 以下の写像を考えます。 また、xとf(x)を並べて、と書きます。 例えば、 この時、次の不動点定理が成り立ちます。 例えば、x=Qの時、 x=0の時、

あらゆる言葉が載った辞書

あらゆる言葉が載った辞書を考えます。一番最初に載っている言葉は何でしょうか?正解は「あ」です。次は「ああ」ですね。その次が「あああ」。何ページかめくると、「あああああ・・・」となってますね。それを超えると、今度は「あい」になります。次が「…