roundを試していたら偶数と奇数で振る舞いが違っていた ghci> round 3.4 3 ghci> round 3.5 4 ghci> round 4.4 4 ghci> round 4.5 4 ghci> round 4.6 5 そういうもの？？？

俺の携帯(AU W33SA)は対応していなかった。リクエストヘッダーにAccept-Encodingが入ってこないため、gzip圧縮は行われない。他の携帯は対応しているかもしれないので、設定をしておいても問題はないと思う。

JSPのPageディレクティブにはsessionという属性がある。このデフォルト値はtrueのため、何も指定しないとJSP画面を表示した時点でSessionIDが生成されてしまう。セッションが不要なケースではsession="false"として明示的にセッションを使わないように指定す…