Floating Log 2012/10

読む速度・聞く速度

最近、英語のポッドキャストを聞いているときに思ったのだが、英語で話されているのを聞いて理解できる速度が文章を読める速度を越えている。 これはかなり衝撃的。 というのも、日本語では明らかに逆だから。 だからこそ何となく英語でも(日本語よりも遅いにしろ)読む方が速いと思い込んでいた。 でも、聞いて理解できると思う速度のわりと早口の英語に追い付く速度で(それが文章に起こしてあったとしても)読めないと認めざるを得ない。

特にオチは無いのだが、英語の教科書を読むより講義を聴く方が効率的なのかもしれないと思ったという話。

COMA ゼミ

COMA ゼミ で喋ってきた。 グラフに付随する edge polytope の Ehrhart 多項式を代数的に計算しようという話。 去年前半に書いた論文の話で、自分が考えた部分はまだしも、前提知識というか背景知識というか先人が切り開いて整備してくれていた部分がだいぶあやふやになっていて難儀した。

eix がブリンクして見づらい

eix-0.27.1 になって、出力がやたらブリンクするようになって、見づらいこと甚だしい。 などと文句を言っているバグがあるか探したけど無かった。 え、みんなこれ平気なの?

とりあえず、パッチを当ててみよう、と ebuild の中を覗くと src_prepare に epatch_user という行があった。 これはどこかにパッチを置くと勝手に当ててくれるやつだ、とまでは思い出したが、勿論詳細は思い出せないのでぐぐる。

• epatch_user; # FTW (M0RONIC CODER IN LOL WAY)
• 6.f. 非標準のpatchをあてる (Gentoo Linux x86 ハンドブック)

/etc/portage/patches/ だった(prefix の場合は当然前に EPREFIX が付いた場所)。

diff -ur src/eixTk.orig/ansicolor.cc src/eixTk/ansicolor.cc
--- src/eixTk.orig/ansicolor.cc	2012-09-19 06:11:02.000000000 +0900
+++ src/eixTk/ansicolor.cc	2012-10-05 00:00:00.000000000 +0900
@@ -147,7 +147,7 @@
 			static const unsigned int kLen = 10;
 			char buf[kLen];
 			if(iscol < 0) {
-				snprintf(buf, kLen, ";%d;5;%s", static_cast(col), curr.c_str());
+				snprintf(buf, kLen, ";%d;25;%s", static_cast(col), curr.c_str());
 			} else {
 				snprintf(buf, kLen, ";%d", static_cast(col));
 			}
diff -ur src/eixTk.orig/ansicolor_print.cc src/eixTk/ansicolor_print.cc
--- src/eixTk.orig/ansicolor_print.cc	2012-09-20 02:29:48.000000000 +0900
+++ src/eixTk/ansicolor_print.cc	2012-10-05 00:00:00.000000000 +0900
@@ -54,7 +54,7 @@
 void
 Display::output(CalcType color, CalcType fg, CalcType bg)
 {
-	printf("\x1B[%s38;5;%d;48;5;%dm%3d ",
+	printf("\x1B[%s38;25;%d;48;25;%dm%3d ",
 		(bold ? "1;" : ""),
 		static_cast(foreground ? color : fg),
 		static_cast(foreground ? bg : color),

このパッチを /etc/portage/patches/app-portage/eix-0.27.1/ に適当な名前で置いて emerge すればブリンクしなくなる。 (5 が blink, 25 が no-blink らしい)