Onion開発日記

_ [ジョギング]5.3km,33分,85,142

今日は寝坊したので、夕方に走ることに。涼しかったので、わりと気持ちよく走ることができた。

_ [ジョギング]10.6km,1時間6分,85,154

例によって夜更かしして寝坊したので、まっ昼間から走ってみる。ああ、なんか、最近になって再び生活リズムが崩れてきた気がする。明日からはまた朝から走るぞ、と書いても特に意味は無いが、書いておかないと決意が鈍ってまた寝坊しそうな気がするので一応書いておく。

_ [ジョギング]10.6km,1時間7分,88,154

うーむ。昨日よりも、疲労の度合いが激しい。ペースとしてはほとんど変わらないはずなんだが。昨日の分の疲労が蓄積してるのだろうか。

_ [その他]上位互換性と下位互換性

よく思うのだが、上位互換性と下位互換性という用語は、どちらがどちらだか混乱する気がする。英語のupward compatibilityとdownward compatiblityだと意味はすぐわかるのだが。なんで、上向き互換性や下向き互換性という訳語が主流にならなかったのだろうか。

_ [Java]ワイルドカードの下限境界の使い道

Jより引用:

下限境界って、どういう状況を意図したものなんだ？

この辺の理論的な話は詳しく無いので置いておくとして、実際のところ、型パラメタがメソッドの仮引数の型として使われるようなGenericなクラスを扱うときに必要になります。以下では、このことを、リストをソートするメソッドの定義を例として説明してみることにします。間違った説明の仕方をしている可能性はおおいにあるので、識者の方、もし見ておられたら、ツッコミをお願いします。

まず、リストを表すインタフェースList

interface List<E> {
  boolean add(E o); //末尾に要素を追加する
  ...
  E get(int index); //index番目を取得する
  ...
  E set(int index, E o); // index番目の要素にoを設定する
}

と、2つのオブジェクトを比較するためのインタフェースComparator

interface Comparator<T> {
  int compare(T t1, T t2);
}

があったとして、Listの要素をComparatorを使って比較してソートするメソッドsortを書くことを考えてみます。素直に考えると、任意の型のListと、その型のオブジェクト同士を比較するComparatorを引数に取るメソッドを書けば良いことになるので、次のように、型引数Tを取るGeneric Methodを書けばいいように思えます。

void <T> sort(List<T> lst, Comparator<T> c){
  ...
}

これで、任意の型のListについて、その型同士を比較するComparatorを渡してソートすることができますから、一見問題無いように見えます。

しかし、IntegerがObjectを継承していることを利用して、Object同士をhashcode値に基づいて比較するComparator<Object>型のオブジェクトを用いてInteger型のリストをソートしたくなったとします。ここで、List<Integer>型の変数numListとComparator<Object>型の変数objCompがあったとすると、これらに対するsortメソッドはsort(numList,objCmp)のようになります。しかし、これは型エラーになります。というのも、T=Integerとすると、sortメソッドのシグネチャはsort(List<Integer>, Comparator<Integer>)となりますが、Comparator<Integer>はComparator<Object>のスーパータイプでは無いためです。

ここで、ワイルドカードの上限境界を使って、sortメソッドを次のように定義すれば良いと思われるかもしれません。

<T> void sort(List<? extends T> lst, Comparator<T> comp){
  ...
}

こうすると、T=Objectのとき、sortメソッドのシグネチャはvoid sort(List<? extends Object>, Comparator<Object>)となり、List<? extends Object>はList<Integer>のスーパータイプであるため、上のようなケースでも、sortメソッドを呼び出すことができるようになります。

しかし、これではメソッドsortを定義することが実質的にできなくなります。というのは、このsortメソッドは内部でlstを変更するE set(int,E)などのメソッドを使用する必要がありますが、lstの型はList<? extends T>であるため、setのようにListの型パラメタEを取るメソッドを呼び出すことができないためです。

この問題を解決するには、ワイルドカードの下限境界を使って、sortメソッドを次のように定義します。

void <T> sort(List<T> lst, Comparator<? super T> cmp){
  ...
}

このようにsortメソッドを定義すると、T=Integerのとき、sort(List<Integer>, Comparator<? super Integer>)となり、Comparator<? super Integer>は、Comparator<Object>のスーパータイプなので、sort(numList, objComp)のように呼び出しても、型エラーになりません。また、下限境界では、型パラメタをメソッドの仮引数に取るメソッドは呼び出すことができますから、cmpに対してcompareを呼び出すこともできます。

Java 5.0の標準ライブラリ中(特にコレクションライブラリ)でも、ワイルドカードの下限境界はそれなりに使われており、例えばjava.util.Collections#sortメソッドのシグネチャは、まさに上で定義したものとほぼ同じになっています。

_ [言語]LL Ringの言語

セッション内容より

• 1 JSR-223 Scripting for Java Platform
• 2 FORTH
• 3 awk
• 4 ActionScript
• 5 Gauche
• 6 JavaScript
• 7 Ocaml
• 8 Haskell
• 9 Ruby
• 10 Perl
• 11 Python
• 12 PHP

……。去年にも増して、何でもアリ感がただようラインナップだ。ついにOCamlやFORTHもLLですか！あと、JSR-223はGaucheが言語名じゃない以上に言語じゃない、というか単なるAPIなのに何で入ってるんだとか、JavaScriptもActionScriptもどちらも言語としてはECMAScript系でほとんど同じでしょ、とかいろいろ言いたくなってくる(awkは去年もあったのでつっこまない)。これだったら、ひょっとして、誰かがJavaとかC#で発表を申し込んでも通ってしまうんじゃなかろうか。もちろん、毎年楽しませてもらっているし、ケチつけるつもりは欠片も無いんだけど、ここまで来ると、LLというか単にプログラミング言語一般のイベントという名目にした方がいいんじゃないかと思ったり。

_ [その他]TA遅刻

今日は、コンピュータリテラシのTAのバイトがあるのに、寝坊して遅刻してしまったorz。駄目駄目だ。来週は遅刻しないようにしないと。

_ [検索]evim 終了

以前、higeponさんの日記でvim -eが話題になったので、試してみてはまったのだろうか。

_ [授業][つくばマラソン]8km,50分

今日のつくばマラソンの授業は、ペデストリアンを南下して電気街方面まで行って帰ってくるというルート。

小雨がぱらついていたが、特に気になる程でもなく、気持ちよく走ることができた。ただ、ペデストリアンの構造上、地面が濡れているとかなり滑りやすくなるので、ときどき滑りそうになって結構怖かった。小雨が降る中を走るのは別にいいのだが、地面が濡れているときは、ペデストリアンはできれば無しにして欲しいものだと思った。

_ [ジョギング]10.6km,1時間5分,86,148

2周目に入ったあたりから急に晴れてきたおかげで、凄まじい暑さになった。汗も凄い量が出てくる。一体どれくらいの量の汗が出たのか調べるために、走る前と後で体重を量って調べてみると、なんと1リットルも出ていた。これからの季節は、特に水分補給に気をつけないといかんな。

_ [食事]寿司

研究室で来週の輪講の資料を作っていると、先輩から回転寿司に行かないかとの誘われたので、行くことに。行ってきたのは、おたる寿しという店。1皿百円ということで、本当は一杯食べたいところだったのだが、そこはダイエット中のため、我慢して6皿までに押さえて、あとはお茶で腹を満たしたのであった。

_ [ウォーキング]9.1km,1時間34分

ここのところ、連日走ったためか足がちょっと疲れ気味のようなので、今日は ウォーキングにしてみた。走っているときよりも、ゆっくり考え事をしたり周りの景色を眺める余裕があって、これはこれで楽しい。

_ [Groovy]キミならどう書く 2.0 - ROUND 1 -

Groovyで書いてみた。まずはこんな感じのコード。

println ((2..100).findAll{x->(2..x/2).every{x%it!=0}})

しかし、実行してみると、何故か2が含まれない。

[3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79
, 83, 89, 97]

たぶん、範囲式の使い方が原因だろうということで、ちょっと調べてみる。

(2..1).each{println it}
=>
2
1

どうやら、(x .. y)で、x>yの場合は、空の範囲を生成するのではなく、x, x-1,x-2,...,yの範囲を生成するようだ。しかも、Groovyの公式ページのドキュメントを見ても、この仕様に関するきちんとした記述が見当たらないorz

仕方無いので、内側のループは2..x/2ではなく、2...xにすることにした。

println ((2..100).findAll{x->(2...x).every{x%it!=0}})

今度は、ちゃんと2も出力されるようになった。

[2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73,
 79, 83, 89, 97]

_ [その他]栄養表示基準

最近、ダイエット中であることもあって、食品を買う前に栄養成分表示を眺めることが多い。で、いつも疑問に思っていたのだが、栄養成分はいつも必ず

1. カロリー
2. たんぱく質
3. 脂質
4. 炭水化物
5. ナトリウム

の順番で並んでいるのだが、これは何かの規則でそうしなければならないと決められているのだろうか。

というわけで、ちょっと調べてみたら、どうやら栄養表示基準という基準によって定められているとのこと。実は常識なのかもしれないが、知らなかった。へぇ。

_ [ジョギング]10.6km,1時間4分,72,148

_ [ジョギング]5.3km,37分

走るのは約1週間ぶりということで、今日は距離を減らして、ペースもゆっくりめで走ってみた。1週間もあけると結構きついかと思ったが、ペースをゆっくりめにしたせいか、特に疲れることも無く走りきることができた。

_ [ジョギング]10.6km,1時間10分

若干雨が降っていたが、気にしない。最近は足に負担をかけない走り方が身についてきたようで、10kmを走ってもあまり疲れないようになってきた。この調子で継続していきたいところだ。