Scalaでは時刻操作のためにJavaライブラリであるjoda-time(と、そのScala用便利ラッパーであるnscala-time)を使うことが多い。JVM言語の良い所だ。今回はタイムゾーンTZ操作にまつわるメモ。 withZoneでタイムゾーン表記を変更する DateTimeに対して定義され…

ScalaのテストフレームワークであるところのScalaTestのドキュメントを読んでいたら便利なメソッドを発見したのでメモ。実はもうみんな知ってるかもしれない。 等価性比較 ScalaTestでは、Matcherという便利なメソッドを使って等価性や存在判定などのテスト…

最近は、好きなアーティストや、「あの曲なんだったっけな〜！」とがんばって思い出すみたいなことがあるような曲は、CDで買うようにしている。 というのも、以下のようなことが起こったため。 ネット帯域がなんか無駄なのではないか？という気持ちになった …

理解できないものに遭遇したとき、人間は割とすぐに白黒付けようとする。しかも、理解できる範囲でこれを行おうとするのだから、大抵うまくいかない。 自分がビットコインで卒論を書いたときもそうだった。当時はMt.Goxが破綻していた頃で、ビットコインに対…

仕事でコードを書いていて、タイトルのようなケースに遭遇した。 val a, b, c, ... = ??? // 定数 val x = f(a) // なんかを計算したり生成する val y = g(x, b) val z = h(y, c) ... val 最終的に欲しい値 = (x, y, z) こういうの。 これがもし仮に以下のよ…

最近Markdown編集ソフトウェアであるObsidianでブログなどの原稿を書くようになった。 blog.3qe.us このソフトウェア自体は便利なのだが、マシンをまたいだ同期機能は有料という仕様になっており、そのためOSを切り替えて作業している時などにはちょっと面倒…

zmmの開発で、背景として動画を使いたいというリクエストがあった。よく考えるとffmpegで最終的に合成しているのだから動画でも合成はできなくもなさそう。いったんchromiumが吐き出すレンダー画像を透過にして、あとから動画と合成すればよいのだ。 という…