はじめてのにき

_ rakudo

あまりに遅いっつーかどう見てもスラッシングですありがとう系だったので、 そこらを見回したら何故か 512MB の余ってるメモリが発見されたので、 それを刺してコンパイルしてみたらあっというまにビルド進んだ…

しかしゴルフ場外でビルドしようとしてるので、 置く予定の位置でビルドせにゃならんからやりなおし。

(00:33)

_ disk full

u の disk が主に四国のバックアップのせいであふれていた… おかげでゴルフ場の新しい投稿がいくつか消えてしまったぽいので、 再投稿していただければと思います…

(13:43)

_ agrep

というのがあって、 grep ってエラーを許すアルゴリズムの方が速いとか 聞いたことがあったので、インストールしてちょっと試してみたけど GNU grep の方が速かったみたいだ。 なんか勘違いがあるかもしれんが、たぶん agrep -1 でいいと思うんだけど

(20:38)

_ rakudo

Perl6 はどうやら pugs じゃなくて rakudo ってのがあるみたいだ、 ということでインストールしてみてるんだけど、

rakudo/parrot_install/bin/parrot  perl6_s1.pbc --target=pir src/gen_setting.pm > src/gen_setting.pir

の部分が洒落にならんくらい時間がかかる。 うーむ

(20:43)

_ to!

D 言語の std.conv がすごいよくなってるなーと気付いた。 to!(long)(str) とかできるようになってるんだなぁ

(20:44)

_ あとは

• LMNtal: exec is denied 。これはミスかな…
• Asymptote: インストールはしたけどフロントエンド側のコードがまだ
• Arc, Go: バックポートが必要
• DOS: これはなんとかなるんかね…
• Perl6: 前述

あと少しでおわるなー

(20:52)

_ なんだ

Debian package がなんか既にあるじゃないか…

(21:04)

_ rakudo

適当に入れてみたが SEGV 。 はて…

(21:16)

_ 実践デバッグ技法

1時間くらいでさっくり読んだ。 さっくり本だと思う。 いい本だとは思うけど、まぁ初心者向けすぎる感は。 まぁそれでもいくつかああこんなコマンドあったんだってのがあったけど。

というわけで欲しいもの @gdb

• xcode とかにあるような log を残す機能。 break+command+cont連打とかでもいいのかもしれんが…
• 今ある break とか command とかを保存。 save-breakpoints とかあっていいんじゃないの。
• 今の状態を保存してその状態に戻れるように。 record だとたぶん遅くなっちゃうよね。
• 全フレームで info args とか info local がしたい。 thread apply みたいに frame apply とかないのかな。

(00:25)

_ 欲しいもの

• NASDAQの株価の変遷を日本円で表示してくれるサービスかなにか
  • データソースをラクに scrape できるサイトでもいいし
  • GOOG だけでいい
• twitter の新着のオレンジを押すキーバインド

どっちもありそうなもんなんだけどね…

(22:48)

_ 欲しいもの @git

• git stash && git stash clear と同じ意味を持つコマンド
• git pull した時に同じファイルがある場合強制的に上書きする方法
• 既にあるブランチに --track を後からつける方法

どれも絶対あると確信してるんだが。

(22:53)

_ Cプリプロセッサ

http://d.hatena.ne.jp/qnighy/20091107/1257587259

高校1年でこれかーすごいなぁ。

(10:08)

_ 四色問題

http://twitter.com/alohakun/status/5506693038

これで思い出して前に啓蒙書を貸してもらって読んだけど、証明をさっぱり忘れつつあるので記憶を再構成しておこうと思う。うぃっきぺたんを参考にしつつ俺メモ…

http://en.wikipedia.org/wiki/Four_color_theorem

まず一つの点から4本以上線がのびるような頂点があるグラフは考えなくてもいい。

×

があったら

v
|
^

に変換しちゃえば3本のびるグラフに還元できるから。

2本しかのびてない頂点はつまり、単純に領域数増やしに関わってのは無視できて、孤立した円みたいなヤツも自明に関係なくて、全体を囲むやつとかも外っかわの色のせいで4色じゃ塗れなくなっているとすると、中もどうせ4色で塗れませんよね〜ということで忘れていい。でまぁこのケース忘れることから、隣国が1つしか無い国っていうのもいないとしていい。

次はオイラーの多面体公式

http://ja.wikipedia.org/wiki/%E5%A4%9A%E9%9D%A2%E4%BD%93

頂点の数(V) - 辺の数(E) + 面の数(F) = 2

を使う。なんかしらんけど色をぬる領域が頂点として、隣国との国境が辺、でまぁ地図上の頂点が面として考えている。ややこしいな…

3本線が生えてる頂点しか無いことから、 2E = 3F 。 6V - 6E + 6F = 12 につっこむと、

6V - 2E = 12

頂点から出てる線の数を i とした時に、そういう頂点の数を vi とすると、

6Σvi - Σi*vi = Σ(6-i)*vi = 12

ということは i<6 のものが最低一個無いと左辺が正にならないので、最低一つは隣国の数が5以下の国があるわけだ。そこを攻める。

攻める前に、背理法の準備。ここに4色で塗れない地図があったとして、その中で最小の国数となる地図 G を考える。つまり G から国を 1 つ取り除いたら4色で塗れるようになってしまうようなもの。

さて G は隣国2つしかない国を持てない。その隣国2つの国を取り除いて隣国同士をくっつけた地図も依然として4色で塗ることは不可能で、 G が最小という仮定を壊す。

G は隣国3つしか無い国も持てない。これも隣国3つを取り除いて頂点にしちゃった地図も依然として4色彩色不可能だから。

隣国4つもちょっと賢い理由で無理。隣国4つがそれぞれ全部違う色でかつ自分の色とも違ったとして、赤青黄緑の順でぐるりとまわっているのが隣国で自分が紫とかする。赤の国から出発して、黄→赤→黄→赤→…と交互にたどっていけるパスがあるはず。無いなら黄は赤でいいことになってしまう(はしょりすぎだが)。同じ理由で青と緑を交互にたどるパスもある。さてそれらはどうやって交差してるのでしょうかー無理ー。ということで隣国4つも無理。

5色定理はこの論法で隣国5つのケースも潰せるので、証明できる。ここまではそんなにむつかしくないというか、とても綺麗な論法だったわけだ。

で、5つがむずい。というかその、「隣国5つの国が1つはいるよね〜」という条件だけからではどう考えても矛盾が導けなかったので、「隣国 X の国の回りに隣国 Y の国があるようなパターンか、ほげほげなパターンか、あるいはふがふがなパターンか…のどれかは絶対あるよね〜」とかそんな感じで、パターンをどんどん増やしていって、一個一個潰していく感じでやっていった。でまぁ証明難しげなパターンがあったらそのパターンの中でまたパターン増やして…みたいなことをやって、片っ端からこんぴゅーた様で証明した、っていうような感じだったらしい。

でまぁそいうパターンが証明時で2000近くとかあったんだから、泥臭いことこの上ないという。

最後の部分なんかわかりやすいパターンの例とか本に載ってた気がする。今度立ち読みして再構成しよう…

(10:09)

_ スタック巻戻し…

TODO

• ゴルフ場の続き
• Snow leopard で sevil/w3mimg
• Snow leopard で SDL
• るびま
• メガデモ
• chrome linux の omnibox のコピー(よくわからんがめんどくさそうだ…)
• GCC とたわむれる
• syard とたわむれる
• syard の script.js をちょっと書き直す
• blokus (オワタ)
• テトリス
• TCC は -run をあと少しリファクタリングして push
• TCC x86-64 asm が出たら見てみる
• w3m であそぶ
• chrome key でコピーができると良い
• chrome key は chrome 側の変更が必要 http://shinh.skr.jp/m/?date=20090823#p01
• kevil がなんかおかしい件
• 定額給付金をくれと電話する
• ベッドについて思いをはせる
• bfx は忘れてた
• ada は忘れてた
• grub コード整理

(16:38)

_ chrome key でコピー

をやろうとしたけどうまくいかんな…

とりあえず background.html にフラッシュ置いたら SEGV した :( まぁ置けないのはいいのかもしれんが SEGV はどうなんだと思ったので 報告するか今度眺めておこうと思う。

次に content script 側でページにフラッシュを つっこむ実装にしてみようとやってみた。 でもどうもうまくいかない。 なんでだろ。

(16:42)

_ Shibuya.lisp

おもしろかった。

• 行ったら UtiLisp の話をしていた
• hcons ってなんか聞いたことあったけどそいうものだったんだなあ
• 24bit address space 楽しそうだなぁ
• 現行の機械だけにあわせてなんか作るとか楽しそうだなぁ
• でも発表者は今はポータブルにした方がいいよねと言ってたそうですね…
• 当然タグポインタ
  • 80 binary cell, atom
  • 90-F0 unused
  • --- signedness ---
  • 00 ret etc.
  • 10 24bit integer
  • 18 floating
  • 20 1 dim array
  • 30 elem array
  • 40 string
  • 50 io stream
  • 60 native function
  • 70 atom
• 大型命令って今ではむしろ…
• optional parameter の実現が面白い。引数の数に応じて call するアドレスを変えることによって引数が少ない時のチェックは消すらしい
• どんな関数でも引数6つぶんくらいのエントリポイントを作って引数がそれ以上だった時のエントリポイントも用意すれば最大チェックも消せるかなぁ、でも引数個数が少ない関数でのオーバヘッドとか大きいかなぁとか妄想した
• あとキーワード引数で似たようなことやれそうだなぁとか妄想した
• Mosh は JIT で速くなりましたかーとか聞いた。 30% とかそのへんの数字らしい。やっぱそんなもんかー。
• 次は竹内先生の昔話
• くだらないシャレになってる命名はいいなぁ。 LIPQ とか USO 800 とか
• プロシンで見たカレンダーがパワーアップしてた
• なんかメモしてなかったからあんまり印象に残ってることがないな…
• あと LT
• github.com/mokehehe/bulletsml
• メル尺度

BulletSML を聞いていて、 何か jsdmkun 作ってる時にコンパイルするアプローチだと アレが難しいよなーと思っていた、アレは何だっただろう… とひたすら思い出していたけど思い出せなかった。 その後一瞬で思い出したんだが単に継続だ。 BulletSML では普通に継続使ってるから問題ないのであった。

(17:20)

_ chromiumExtensionDevCon

んで Shibuya.lisp 終わってから行ったら遅れてた。

というかそもそも今思い出したけど Shibuya.lisp 自体存在をきっちり忘れていて、 というか登録した記憶がきっちり無くて、 masa_edw さんの twitter を見て 「あー今日 Shibuya.lisp かー俺も行きたかったなぁ」 と思ってサイト見たら何か登録されていて 焦って飛んでいったとかいうそんなこんな。

で chrome の方はまぁなんかみんなよく知ってるなぁとかそんなこんな。 extension はやっぱこうまだ API 全然足りないよなぁ。

(17:29)

_ w3mcooksrv

はまぁ悪くはなかったんだけど、 コードが無闇に長いしもう毎回クッキー読み書きする実装でいいんじゃね? と当たり前のことを思ったのでそいう実装を作ってみた。

http://github.com/shinh/w3m/commit/abcedbb2d7222f97157221cf52b00b3b600c6431

これでしばらく使ってみて良さげなら w3mcooksrv はもう捨てよう。

(20:03)

_ こぴー

なんだ JS だけでできるんじゃないか… Linux でもすごくよく動いてるので、 もう chrome linux の omnibox とか忘れていい。

TODO がちまちまと消えていってうれしい

(22:25)

_ thinkpad r61 のバッテリ

死んだみたいだ。

なんか常にオレンジ色のバッテリ表示が点滅しているし、 ためしにケーブル抜いてみたら死んだ。

別に困りはしないんだけど UPS つき PC として買ってるので なんか損した気がするね…

あとこの PC もファンがさわがしい…

(04:16)

_ HTTPS

なんか普通に javascript: とかは w3m に変更無しで 動いたりするようになったわけなんだけど、 https 困ったなーと思った。 普通の https プロキシみたいな動きじゃなくて、 https の URL を HTTP で拾いに行くような挙動を ブラウザがしてくれないと色々めんどうくさい気がする。

(04:20)

_ 中二

http://www.nicovideo.jp/watch/sm1613775

コメントがすばらしすぎた。 何がどうなったらこうなるんだろ

(04:43)

_ <button> タグ

なんで無いのー

そしてこのパッチがどうやって当時動いてたのか、さっぱりわからない…

http://www.sic.med.tohoku.ac.jp/~satodai/w3m-dev/200010.month/1195.html

さっぱりわからんから自分のカンでやるか…

(12:35)

_ <button>

http://github.com/shinh/w3m/commit/c64a257e6bee7bf8b27f6f21892447846b980b02

実装した。 本当に動くかなんか知らない。

(14:04)

_ WebKit proxy

w3m で JS を動かす計画の一環として、 とりあえず休日にごろごろしながら WebKit API 使った HTTP プロキシとかを作っていた。 Gtk+ port の WebKit API (WebKit は環境ごとに API が違う) はまぁなんかあまりなにもできなさそうに見えて実は結構色々できて、 普通の GET くらいはストレスなく動く感じになった。

onload までのタイミングで実行された JS はちゃんと反映されているはず。 画像とか iframe を読みに行くのとか、 layout を走らせようとするのは殺せたと思う。

Gtk+ port は、なんかヘッダだけじゃダメで、 cpp 見ないと signal の仕様とかよーわからんのがキツかった。

でもなんか request のヘッダで 書き換えれないものがあるように思うのがキツい。 wireshark で調べるに、 Cookie が通らない。 Cookie は WebKit 側で処理しちゃってもらってもいいかもだけど、 Accept-Encoding とかも書き変わっちゃって そのへん後々困るかもなぁという感じ。

書き変わってるのは、

• Accept-Encoding: gzip, compress, bzip, bzip2 => identity
• Cookie: ほげほげ => 消えた

とこの2つだけか。

あとまぁそのへん気付いたのは ログイン系の挙動がおかしすぎるからなんだけど、 ログインに関しては cookie を WebKit が処理してくれてれば 勝手にうまいこと行ってくれてもいいはずで、 このへんよくわからんちん。

選択肢としては、

1. クッキーどうにかならんかとか落ちるヘッダがあっても大丈夫かなど、もうちょっと調べてみる
2. loader 使うのはやめて、 soup で自力で html ひろってきて読ませる実装にする
3. w3m が拾ってきた html を渡す実装にする(プロキシをやめる)
4. Qt ポートも見てみる
5. WebKit いじる

などがある気がする。

クッキーはまぁ SoupCookieJar とかに自分でつっこむのもいいし、 WebKit に任せられるならそれもいい気がする。 Accept-Encoding が落ちるのは微妙だねえっていうか これいじってるのはなんでなんだ。 Gtk+ ポートがアホだからとかそんなだったら悲しいから調べる価値はありそう。 まぁ見てる感じ Qt の方が熱心に開発されてはいるんだよな。

HTML に対して loader 使うのをやめるのは悲しいけど、 まぁ実害はそんなにないかもしれない。 あーでも圧縮の展開とかは soup は面倒見てくれない感じかな。 だとするとちょいめんどいか。

プロキシをやめるのはどうせ JS の処理は proxy としてだけではうまいこといかんので、 最終形態としては悪くはないんだけど、 プロキシにしておくと wget とかからも使えていいので なるべくなら避けたい。

Gtk+ やめて Qt に行くのはまぁ十分な API があるならアリ。 ただ調べるのめんどうという理由だけで避けれるなら避けたい。 あと Chromium port の WebKit API の が upstream されたら それでも良さそうな気はする。 user script とかありそうなのは良い。

あともっともっと些細な問題として user stylesheet 読めないってのがある。 layout tests controller とか読む感じでは そもそもサポートされてなさそうな感じがするんだけど、 API はあるんだよな。 Qt もこのへんは無いように見えるのがにんとも。

(16:48)

_ SCM

SVNリポジトリ変えたというかマシンぶっとんで変わったから、 既にチェックアウトされてるものを切り替えるスクリプトを書こうと思って、 適当に ~/bin/svnswitch とかいうファイルを作ろうと開いたら、 既に望みのものがそこにあった。 名前まで一致するのはなんともですね。

それはそうと github はパッチとか簡単に表示されるのはまぁいいんだけど、 git って一人で使うには不便だよなぁと思う。 なんていうか master だけあればいいわけで、 git push/pull でわざわざ sync するのが割とめんどい。 まぁなんかスクリプト書くかな。

(06:25)

_ w3m で history 共有

共有っていうか今のセッションの ヒストリは別に持ってて欲しいんだけど、 保存は常に見た順でしておいて欲しいよね。

クッキーは w3mcooksrv で処理してる今となっては 一番 w3m のうざい部分の一つになってたんだけど、 まぁ別に各プロセスで同期とかして欲しくもないので、 こっちは特にサーバ化とかするまでもないのであった。

http://github.com/shinh/w3m/commit/53a5adaecee42d46efb5b458defe0f1f03ccbeaf

ていうかクッキーも必要なタイミングで毎回読むっていうのも まぁありっちゃありなんだよなぁ。

(15:15)

_ w3m -ppl 14

screen で画像ずれるのってどうするのがいいのかなーと 考えた結果、書いた通りにフラグセットするのがとりあえずよさそう。

(16:24)

_ セレン

i@uco ~> grep '^se ' /usr/share/skk/SKK-JISYO.L
se /セレン/Selenium/┌;罫線/┏;太い罫線/

これなんだろう

(16:25)

_ すのーれぱーど

i@um ~/wrk/sevil> ./dump
Sat Oct 31 17:00:08 um dump[13353] <Error>: kCGErrorInvalidOperation: _CGSFindSharedWindow: WID 40
Sat Oct 31 17:00:08 um dump[13353] <Error>: kCGErrorFailure: Set a breakpoint @ CGErrorBreakpoint() to catch errors as they are logged.
Screen size: (1280, 800)

CGSValue で string 受けるのが CFString になったのかなぁ という感じだったので変えてみたらそれでもなんかエラーが。

(17:01)

_ なんだろうね

仕事が楽しいとかは本気で本当によくないと思っているので、 本当に本気でこれはいけないと思う。

しかしそろそろ本気で英語なんとかならんもんかなぁとか 思うようになってきた。 もちろん努力をする気とか自分のお金を使う気とかは 依然として全くないのだけど、 こう、ラクしてというか何もせずに、 ある日突然うまくなっているべきだと思う。

このままではいけない。 こんな本質的でない問題はいつのまにか勝手に 乗り越えられているべき問題なのである。 例えばアメリカで日本語全面採用とか。 そういう問題意識ばかりがつのっていく。

(16:50)

_ rdtsc

x86 では "A" とかで受けてやればそれだけでいいわけなんだけど、 x86-64 では色々大変みたいだ。

http://d.hatena.ne.jp/rero/20071208/p1

よくわからんけどポータブルな rdtsc としては こんなかんじでいいのかね。

http://github.com/shinh/test/blob/2a7a2bf7dbffae14851725154e187a636bb269ff/rdtsc.c

(17:05)