脳log[2011-08-18～]

最終更新: 2011-08-21T01:48+0900

♪ [SakuraEditor] 正規表現検索。トリック。不完全。

 (?imx-imx)        孤立オプション
                     i: 大文字小文字照合
                     m: 複数行
                     x: 拡張形式
 (?imx-imx:式)     式オプション

 補記 1. 文法依存オプション
  + ONIG_SYNTAX_RUBY
    (?m): 終止符記号(.)は改行と照合成功
  + ONIG_SYNTAX_PERL と ONIG_SYNTAX_JAVA
    (?s): 終止符記号(.)は改行と照合成功
    (?m): ^ は改行の直後に照合する、$ は改行の直前に照合する

サクラエディタが自動で mフラグをくっつけて m/pattern/km みたいなのを正規表現ライブラリに渡すので油断していた。インラインでフラグを変更する方法がある。

ところで、mフラグは実装間で意味に一貫性が無く、また鬼車のフラグも間違いを誘うような名前をしているので注意が必要。みんな ECMAScriptに倣え！

 + 孤立オプションの有効範囲は、その孤立オプションを含んでいる式集合の終わりまでである
   例. (?:(?i)a|b) は (?:(?i:a|b)) と解釈される、(?:(?i:a)|b)ではない

フラグの意味に加えて、その有効範囲の面倒くさいことよ。これに対処するくらいなら他の方法を考えるレベル。Onigmoは PCREみたいに、パターンのコンパイル時オプションとして「改行」を意味する文字を指定することに対応してくれないのかな。>NEWLINE CONVENTIONS(pcre.txt)

mフラグを OFFにする目的は何かといえば、JavaScriptと bregonigにおいては $ と ^ が改行前後にマッチしないように、Rubyにおいては . が改行にマッチしないように、ということだ。

「$ と ^ が改行前後にマッチしないように」は言い換えると「^ と $ が文書の頭と末尾にだけマッチするように」ということだが、サクラエディタにおいては従来、文書の先頭・末尾と各行文字列の先頭・末尾は区別できず、各行文字列末尾と改行直前の区別は曖昧だった。であれば、この問題は複数行検索が実現するときまで先送りしても差し支えないだろう。(ないよね？)

最終更新: 2011-08-20T02:11+0900

♪ [ProjectEuler] Problem 96, Problem 97, Problem 99, Problem 93

 Problem 96

ナンバープレイス。30秒くらいかかります。数独ソルバは前にも書いたことがある(20100511)。その時とくらべてしたことといえば優先度を付けたくらい。場合によってそれが効果的なのは Problem 83のとき(20110325p01.03)に実感してる。

def main
	tl3digits = []
	numarr = ''
	DATA.each_line{|line| line.chomp!
		if /^\d{9}$/ =~ line
			numarr << line
			tl3digits << solve(numarr)[0,3].to_i if numarr.size == 9*9
		else
			numarr = ''
		end
	}
	puts "#{tl3digits.size} puzzles were solved."
	puts "The sum of 3-digit numbers is #{tl3digits.inject(&:+)}."
end

def solve(nums)
	pns = possible_numbers(nums) # [[index,X,Y,...],...]
	pns_shortest = 10
	pns_shortest_index = -1
	pns.each_with_index{|pn,i|
		if pn.size-1 < pns_shortest
			pns_shortest = pn.size-1
			pns_shortest_index = i
		end
	}
	if 10 <= pns_shortest
		return nums # solved!
	elsif 0 == pns_shortest
		return nil # false branch. no solution.
	else
		pn = pns[pns_shortest_index]
		index = pn.shift
		return pn.map{|n|
			nums_ = nums.dup
			nums_[index] = n
			solve(nums_)
		}.compact[0] # nil or solution
	end
end

def possible_numbers(nums)
	pns = []
	(0...9).each{|y|
		(0...9).each{|x|
			i = index(x,y)
			next unless nums[i] == ?0
			pns << [i] + ((?1..?9).to_a - determined_numbers(nums, h_indices(x,y)) - determined_numbers(nums, v_indices(x,y)) - determined_numbers(nums, b_indices(x,y)))
		}
	}
	return pns
end

def index(x,y)
	return x + y*9
end
def h_indices(x,y)
	return y*9 ... (y+1)*9
end
def v_indices(x,y)
	return (0...9).map{|y| x + y*9 }
end
def b_indices(x,y)
	i = index(x-x%3, y-y%3)
	return [i, i+1, i+2, i+9, i+10, i+11, i+18, i+19, i+20]
end
def determined_numbers(nums, indices)
	return indices.map{|i| nums[i] }.reject{|n| n == ?0 }
end

main;

__END__
content of sudoku.txt here.

 Problem 97

Bignumがある Rubyでは関係ないけど、64ビット整数を前提に小細工(ループ展開)。

ten = 56866
978807.times{
	ten = (ten * 256) % 10000000000
}
p (ten + 1) % 10000000000

 Problem 99

場違いに簡単な問題。

max_lineno, max_number = 0, 0
lineno = 0
DATA.each_line{|line| line.chomp!; next if line.empty?; lineno += 1
	base, exp = *line.split(",", 2).map(&:to_i)
	number = exp * Math.log(base)
	max_lineno, max_number = lineno, number if max_number < number
}
p max_lineno
__END__
content of base_exp.txt here.

 Problem 93

スクリプトは不完全。4つの数{1,2,5,8}と四則演算とカッコを使って 36を作る方法がわからない。

Ops = [:+, :-, :*, :/].freeze
Ops3 = Ops.product(Ops, Ops).freeze
max_fnxn = 0 # fnxn: first non-expressive number
max_fnxn_c4 = nil
(0..9).to_a.combination(4){|c4|
	xns = [true]
	c4.permutation.to_a.product(Ops3).each{|_| nums, ops = *_
		num = nums.last.to_f
		3.times{|i|
			num = num.send(ops[i], nums[i])
		}
		xns[num.to_i] = true if num.finite? and 0 < num.to_i and num.ceil == num.floor
	} # 24 * 64
	fnxn = xns.index(nil) || xns.length
	if max_fnxn < fnxn
		max_fnxn = fnxn
		max_fnxn_c4 = c4
	end
} # 210
puts "{#{max_fnxn_c4.sort.join(',')}} forms 1 to #{max_fnxn-1} numbers."

例えば、(5 - (1/2)) * 8 = 36。数字の順列 ABCDと演算子の順列___をそのまま連結して A_(B_(C_D)) を作るだけでは全ての式を網羅できてなかった。左右対称になるのを除いて、次の 3通りに順列と順列を組み合わせた。((A_B)_C)_D, (A_(B_C))_D, (A_B)_(C_D)

Ops = [:+, :-, :*, :/].freeze
Ops3 = Ops.product(Ops, Ops).freeze
Evaluate = lambda{|exp|
	s = []
	until exp.empty?
		h = exp.shift
		if h.kind_of?(Symbol)
			s[-2] = s[-2].send(h, s[-1])
			s.pop
		else
			s.push(h)
		end
	end
	return s[-1]
}
max_fnxn = 0 # fnxn: first non-expressive number
max_fnxn_c4 = nil
(0..9).to_a.combination(4){|c4|
	xns = [true]
	c4.map(&:to_f).permutation.to_a.product(Ops3).each{|_| nums, ops = *_
		[
			[nums[0], nums[1], ops[0], nums[2], ops[1], nums[3], ops[2]], # ((A_B)_C)_D
			[nums[0], nums[1], nums[2], ops[0], ops[1], nums[3], ops[2]], # (A_(B_C))_D
			[nums[0], nums[1], ops[0], nums[2], nums[3], ops[1], ops[2]]  # (A_B)_(C_D)
		].each{|exp|
			num = Evaluate.call(exp)
			xns[num.to_i] = true if num.finite? and 0 < num.to_i and num.ceil == num.floor
		} # 3
	} # 24 * 64
	fnxn = xns.index(nil) || xns.length
	if max_fnxn < fnxn
		max_fnxn = fnxn
		max_fnxn_c4 = c4
	end
} # 210
puts "{#{max_fnxn_c4.sort.join(',')}} forms 1 to #{max_fnxn-1} numbers."

最終更新: 2011-08-04T03:29+0900

♪ [tDiary] PageDownキーによるスクロール量をごにょごにょするプラグイン。

日と日の境が行き過ぎてしまわないようにスクロール量を制限する。

• adjust_scroll.js
• adjust_scroll.rb*

うっとうしいかな？ スムーズスクロールも効かないしな。でも AutoPagerizeの機能の一部としてあってもいいような気もする。

動作確認済み> Firefox 5.0, Internet Explorer 9, Safari 5.0.2, Opera 11.50

最終更新: 2011-07-24T00:52+0900

♪ [COSMOS] はじめての OC. それから、メモリと GPUのアップグレード。

 CPU倍率の上限を x14から x16へ。

PCSX2がコアを使い切ってるから CPUがネックになってる可能性もあるかと思って(ビジーウェイトかもしれんけど)。それに、半端な 3コア CPUとはいえ Black Editionでもあることだし。

FSBが 200MHzなので CPUの動作周波数の上限が 2.8GHzから 3.2GHzへ。CrystalMark2004R3のスコアの変化は以下の通り。

D2D, OGLは CPUの管轄外なのか変化なし(表から省いた)。HDDが下がったのだけわからないけど MEMを含めて全体にスコアアップ。

アイドル時の消費電力は 2W増加。気のせい気のせい。

 メモリの転送速度を PC3-8500(DDR3-1066)から PC3-10600(DDR3-1333)へ。

使用中の FireStixの SPDが DDR3-1066(533MHz)の 7-7-7-20. オーバークロック向けということで DDR3-1333(667MHz)でも動く(らしい)。新しいメモリの SPDは DDR3-1066(533MHz)の 7-7-7-20から 685MHzの 9-9-9-25まで。XMPによれば 1.65Vまで盛ることで DDR3-1600(800MHz)の 9-9-9-24で動作する。電圧を盛る選択肢はないので、両方のメモリモジュールにそこそこ仕事をしてもらうためには FireStixの転送レートを引き上げなければいけない。

BIOSで FSB/DRAM Ratioを変更する。4枚とも 667MHzの 8-9-9-25で動いてる。どちらもレイテンシ 13nsecの、同じ程度に遅い DDR3メモリだ。同じ DDR3といえども下手すれば 2倍以上転送速度が違ってくることを今まで知らなかった。>DDR3 SDRAM - Wikipedia

アイドル時の消費電力は増えない。

 メモリ(DDR3-1333 4GB)×2を追加。

アイドル時の消費電力は 4W増えた。CrystalMark2004R3のスコアにメモリの量は関係なかった。

 SAPPHIRE ATI RADEON X1600Proから SAPPHIRE ATI RADEON HD6850に換装。

ドスパラで買った。DiRT3のクーポンコードが付いてたし、噂されてるように補助電源が 2個になってるということもなく 1個だった。

パッケージ。今まで使ってた SAPPHIREの RADEON X1600の箱はコルムオンラインとタイアップしたもので結構気に入ってる。すべすべの腹部とぷよんぷよんの二の腕と胸を持ち、そして口元から上が描かれてない(つまり想像上の美人にしかなりえない)女性のもの。それが同じ SAPPHIREなのに HD6850はなんだろう。あの年増は。

長さ。マザーボードは 790FX-GD70. 一番上の 2スロットに取りつけると右端が、使用中の SYSFAN1のファンコネクタに衝突するかしないか。危ないところだった。2番目の 2スロットに取りつけると JMicronの提供する青い SATAコネクタが使えなくなる。3番目の 2スロットに取りつけると SYSFAN2コネクタが使えない。X1600に取りつけてた VGAクーラー MUSASHIの方がこの HD6850より長かったよ。じゃあなんで SYSFAN1が使えてたかといえば「サウスブリッジのヒートシンクにぶつかり、SYSFAN1コネクタに 1-2mm干渉し(MUSASHIを少し下に曲げた)、IDEコネクタに被さりながら(M/Bから 1cmほどはみでてる)、とりあえず収まった。」ということだった。ケースは十分でも M/B上にも長尺グラボの敵が存在する。

ファンは外排気。外部コネクタ部分にスリットがあるが、アイドル時の回転数(33%)ではティッシュを揺らすこともできなかった。扇風機もケースファンもぶん回ってるので静音性はまだ確かめられない。

アイドル時の消費電力は、メモリ増設による +4Wを相殺してなお 8W減った。実質 -12Wということ。

 Windows Experience Indexの変化。