Memo

Emacsとtrampとzsh

trampを使えば、sudoやsshを通してファイルを編集できる。 しかし、ログインシェルをzshにすると、うまくtrampを使えない。 これはzshの機能が邪魔をしているらしい。 そこで、 http://www.sssg.org/blogs/naoya/archives/764 にあるように .zshrc に修正を…

HaskellでGUI #2 FliptItの改良:FFIの利用

(今回は GUI というより FFI な気がする.でも目的は GUI だからいいか.)前回作成した GUI の FlipIt を改良した.改良は以下の2点 周期を増加. 解を表示. 周期の増加 前回は マスの変化が 白→黒→白→黒→… だったが,今回はこの周期を変更できるようにし…

IPA フォントの進化形

最近リリースされたみたい.Takao Font Takao Fonts in LaunchpadIPAex Font プレス発表 IPAフォント新シリーズの公開:IPA 独立行政法人 情報処理推進機構詳しいことは知らない.

pointer and const - const Struct* const* s ? -

まず基本から. const Struct s; // s is a const Struct.const Struct* s; // s is a (non-const) pointer to a const Struct.Struct* const s; // s is a const pointer to a (non-const) Struct.では, const Struct** s; const Struct* const* s; const …

1月に読んだ本らしい

同じ本の2冊購入を防ぐ為に読書メーターを利用しているのだが, それに先月分の読書をまとめてくれる機能があった. テストと記録を兼ねて利用してみる. 1月の読書メーター読んだ本の数:11冊読んだページ数:3697ページ犬はどこだ (創元推理文庫)読了日:0…

これからは xz だ,gz ではなく(bz2はいらない子)

Archlinuxのメーリングリストで xz 形式のパッケージをサポートしてはどうか,みたいな話があった(かいつまんで見ただけなので情報は不正確かも).詳しくは以下のメールを探してください. [arch-dev-public] [PATCH] Support xz compressed packages そこ…

aspell メモ

標準の設定だと,英語の単語チェックのときに,「日本語の辞書がない」という意図しないエラーがでる. ~/.aspell.confに以下を記述すればよい. lang en_USしかし,aspellは便利だ.日本語にもこういう単純ミスチェッカーのようなものがあってもよいのに.

そういえば,Javaでは拡張for文があったなぁ

int[] xs = new int[10]; // ... for (int i = 0; i < 10; i++) System.out.println(xs[i]); というfor文が int[] xs = new int[10]; // ... for (int x: xs) System.out.println(x); と記述できる.これは良い. ただ,値を書き換えることはできないみたい…

(解決)libpngのヴァージョンを1.2から1.4にしたらptexliveが使えなくなった

状況 1) ptexliveをインストール(libpngのヴァージョンは1.2,) 2) libpngをアップグレード(1.2→1.4) 3) ptexliveが使えない(dvipdfmxでlibpng12.so.0が無いよとエラー) 4) ptexliveを再コンパイルすれば良いのでは→ エラーでた.\(^o^)/ ログは以下(約1.5…

11770 - Lighting Away

http://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&category=117&problem=2870&mosmsg=Submission+received+with+ID+7753701有向グラフが与えられる.何個の頂点を選べば,それらから出る有向道で頂点を被覆できます…

深さ優先探索1回で強連結成分分解 C++

前回の続き.今回は強連結成分分解する. しかも,DFS1回だけ実行. アルゴリズムは非常にシンプル.そして,結構分かりやすいと思うのだが. アルゴリズムの解説等は以下が比較的分かりやすいと思う. http://www.ics.uci.edu/~eppstein/161/960220.html#sc…

OpenOffice.org 3.2

OpenOffice.org 3.2がリリースされていた.http://www.openoffice.org/dev_docs/features/3.2/アップデートしてみた. 起動が速くなってた. まだ,ほとんど使っていなから,なんとも.

C++ かんすうないかんすう ない

C++ には関数内関数がないらしい. struct使えば,似非関数内関数は作れるが, この似非関数内関数は親関数の変数に触ることができない.例えば,以下のプログラムはコンパイルエラーになった. // test.cpp int main() { int c = 0; struct Func { void ope…

PKU では Runtime,UVa では Accepted.なにがなんだか.

問題は Partitioning for fun and profit. 雰囲気. 入力は自然数 m, n, k. m を n 個 の昇順な自然数に分割する分割を考える.分割の間に辞書式順序を入れたときの k 番目の分割を求める. 例えば,m = 5, n = 3, k = 1 なら,求める分割は [1, 1, 3]. …

最小全域木 クラスカル法

UnionFindさえあれば,結構簡単に実装できるのね. ただ,正しく動くかほとんど確認していないので,バグがあるかも. // disjoint_set.h #include <iostream> using namespace std; class UnionFind { private: int *root, *rank; // root < 0 のときはサイズの情報 p</iostream>…

有限体上での連立方程式(ガウスの消去法)

有限体上で連立方程式を解くプログラム(ガウスの消去法の実装). 基本は実数体上のガウスの消去法と同じ. 除算を有限体での逆元にするだけ(拡張ユークリッドの互除法). ランク落ち?対策は思ったより簡単だった. 例えば,2元体上で 1 1 1 1 1 1 0 1 0…

昭和基地

% cat /proc/acpi/thermal_zone/THRM/temperature temperature: 20 C計測ミスなのか?それとも普通なのか?20℃って,体温よりもずいぶん低い.

Update祭 in Archlinux

昨日あたりに,パッケージの大量のUpdateがありました. 大量のUpdate,その理由は たぶん,libjpeg, libpngのバージョンがあがったので,それに対応して,依存しているパッケージがリビルドされた.その反映. Update,しかし不具合 gtk2のアップデート時に…

fun

http://d.hatena.ne.jp/shunsuk/20100127/1264587276風雲! ITおじさん 第74話「Twitterデビュー」:CodeZine(コードジン)

メビウス関数

Möbius Function -- from Wolfram MathWorldメビウス関数のリストが欲しい.つまり,[μ(1), μ(2),… ,μ(n)]が欲しいと.このとき,Haskellでどう書くか.ぱっと思いつく選択肢:(a) 定義にしたがって,素因数分解して,素因数を数える.これを,1からnまで…

Assuming driver cache:write through

/var/log/error.logに kernel: sd 4:0:0:0: [sdc] Assuming drive cache: write throughというメッセージが記録されていた. 気になったので,調べてみた. ちなみに,sdcはUSB接続の外付けHDD.結論:問題ないみたい. 情報源: http://ossmpedia.org/messa…

条件付期待値

条件付期待値はスカラーではなく,実数値関数だった.

firefox 3.6 をインストールした.

今現在,なにが変わったのか分からない.(追記:新しいタブを開くとすぐ右に開くようになった.いままでは最右端だった気がする)自分でビルドしてインストールした. PKGBUILDなどはAURのfirefox-brandedとほぼ同じ. ただ,xulrunner-1.9.2が必要みたいだ…

firefox 3.6

http://mozilla.jp/press/releases/2010/01/21/ http://tomoshibi.mozilla.jp/firefox 3.6 が今日の午前2時ぐらいにリリースされるらしい. 3.5がでたと思ったら,もう3.6か. 気になったこと 加速度センサー API 近年発売されているノートパソコンやモバイ…

nspluginwrapper が ダウンロードできないよ.

http://gwenole.beauchesne.info/projects/nspluginwrapper/ さぁ,どうしたものか. 一時的に利用できなくなっているのだと信じることにする.解決 nspluginwrapper - 落書き、時々落学

GW-US54GXSのために,zd1211rwを再コンパイルした.

概要 USB無線LAN子機 GW-US54GXSはそのままでは使えなかった. モジュールのソースに変更を加え,コンパイルしなおしたら,使えた. 参考 Ubuntu日本語フォーラム / Ubuntu 9.10 でPLANEX GW-US54GXSが使えない やったこと zd1211rwに修正が必要.そこで,ソ…

wireless setup (wpa) の メモ

前置き WPAだと,iwconfigだけでは接続できなくて,wpa_suppliantが必要だった. 手間取ったので,メモを残しておく. 参考 WPA supplicant - ArchWiki やったことなど. 無線LANの機械には WPA-PSK(AES) と書いてあった.設定ファイルの作成. # mv /etc/wp…

SKK の辞書を結合した.

L辞書をお使いで、PCに余力がおありなら、各種の固有名詞を体系的に補うjinmei, geo, station, propernounの併用をお勧めします。 http://openlab.ring.gr.jp/skk/wiki/wiki.cgi?page=SKK%BC%AD%BD%F1#p8と,あったので,結合してみた. skkdic-expr2 SKK-JI…

ext3をext4に変換した.

http://ext4.wiki.kernel.org/index.php/Ext4_Howto#Converting_an_ext3_filesystem_to_ext4 のとおり. 何が変わったのか分からん.とりあえず,メモ.

drmがなんかエラー吐いてる

/var/log/error.log にあった. Jan 10 20:33:21 brahman kernel: [drm:edid_is_valid] *ERROR* Raw EDID:何をどうすれば良いのか全く分からない. ちなみに,/var/log/Xorg.0.logには % grep "^(EE)" /var/log/Xorg.0.log (EE) Chicony USB Wireless HID Re…