twitter で剰余演算をつかわずに FizzBuzz をどう実装するかというのを見かけて、それだったら…とつくってみたくなった。のでつくってみた。 window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if…

Ubuntu 13.10 にアップグレードしたら日本語入力が日本語配列強制になって難儀していた*1。 ちょっと検索して「キーボード配列は変えられない、クソが！」というエントリーを見てしまったので諦めていたのだけれど、変えられました！コントロールパネルから …

アクションバーに「リフレッシュ」ボタンをつけようとして、次のようなメニューリソースを書いた。 <item android:id="@+id/action_refresh" android:icon="@android:drawable/ic_menu_refresh" android:showAsAction="always" android:title="@string/action_refresh"/> すると "error: Error: Resource is not public. (at 'icon' with value '@android:drawable/ic_menu_re…</item>

ファイルのリストが手元にあって、これらがぜんぶ同じことを確かめたい、ということがあって。いま。 リストの中の任意のふたつを取って組み合わせをつくるってことか。ううーん… foo f (x:xs) = map (f x) xs ++ foo f xs foo _ _ = [] main = do cs <- get…

あまりに駄文なので、もう、どうしよう。でも書いちゃったしなー。ということで。なにを計算するプログラムでしょう？ というお題があって、そりゃあもう気になるじゃあないですか、あなた。 /* precondition: n >= 0 */ int mystery(int n, int *p) { int q…

Java の配列を、一定の長さでちぎって分割したい …って、そういう応用って結構ありそうな気がするんだけど、ない？ということでざっと書いてみた。オブジェクトの配列ならジェネリクスで全部まるっと書けるんだけれど、組み込み型の int や long、 boolean …

ワンライナーでいけることがわかった。 パッケージ名が your.app.package、データベースファイル名が sql.db として、： adb shell run-as your.app.package cat databases/sql.db\ |sed s/\\r$// > sql.dbまず run-as コマンドでパッケージ内のファイルをコ…

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

Windows 7 スタートメニューの各プログラムで表示される「最近使ったもの」や、タスクバーの右クリックで開くジャンプリストの「最近使ったもの」。 とても便利に使っているんだけれど、移動した項目が残り続けて消えないだとか、なにやらわからない理由で表…

先のエントリーと似た感じで、 Cygwin の話。 python スクリプトを実行するために python モジュールを入れたけれど、スクリプトを実行すると次のようなエラーが出て動かない。 'import site' failed; use -v for traceback Traceback (most recent call las…

とある事情で Cygwin を入れることになって、エディターも必要だなあと emacs を入れたところ起動しない。 いや、起動するのだけれどエラーの表示もなしに即終了してしまう。結論としてはバージョン 24.2-1 の emacs には libgnutls26 パッケージが必要で、…

たいていの場合、 Handler を定義するときは UI スレッドを Looper として使う。この場合 Looper を明示的に渡す必要はなく、だから Handler が外側のクラスになる。 class Foo { private static final class MyHandler extends Handler { @Override public …