memo

Ubuntu インストール後にとりあえず入れたものたち

新しい PC に Ubuntu インストールしてからとりあえず使えるようになるまでに入れたものメモ。 lv: なんか常用してるけど入ってなかったので。 stumpwm: ウィンドウマネージャ。clisp と sbcl が黙ってても一緒にインストールされました。 emacs23: これがな…

「非常に」に近い意味の言葉

ちょうどいいのが見つからないなー,と思うことがよくあるので調べて並べてみました。 おおいに: 数値化できないものについていう かなり: 普通ではないの意,他の語よりは弱い きわめて: これ以上ない程度のときにいう。硬い感じ ごく: 量などが少ないとき…

バックアップを USB メモリと unison で

自宅 PC のバックアップをとってないことに気付いたので何とかしようと思いました。 とりあえずバックアップ対象は ~/ 以下だけでいいことにする ~/ 以下が実は 200MB ぐらいしかないので USB メモリに入る ということで以下,今日やったことをだらだらと書…

abstract に含まれる単語の比較をしてみた

雑誌ごとの傾向の比較をするための客観的な指標はないかなと思って,試しに abstract に現れる単語を比較してみました。知識があればもっと数学的に裏打ちされた何かを使うところなのでしょうが,よくわからないので適当に当たりをつけて見比べるだけ。Web o…

論理系の雑誌まとめ

探してみました。ついでに最近の論文のタイトルを眺めて特徴を比較してみました。でもあんまり読めてる自信ないので鵜呑みにしないでください。 Algebra and Logic http://www.springer.com/mathematics/algebra/journal/10469 http://math.nsc.ru/~alglog/…