Entries from 2012-03-01 to 1 month
java で Android アプリケーションを書くのが嫌になりました。矢張り java より scala でしょう。一から作る場合は giter8 で適当にやれば、特に問題なくできるわけですが、既存のプロジェクトに scala コードを追加する場合、どうやればいいかよく分からな…
ってどうするのが Java らしいのかなあみたいな。 public class Base { public static class A { ... } public static class B { ... } private A a; private B b; private Base(A a, B b) { this.a = a; this.b = b; } public static Base createA(...) { r…
android 2.2 まで Calendar#setTimeZone メソッドや、Calendar.getInstance メソッドの引数による TimeZone の指定が正しく動作しないという問題がありました。http://code.google.com/p/android/issues/detail?id=6184より詳細には、何かしらの TimeZone を…
旧聞になりますが「大学生の4人に1人「平均」分からず 数学基本調査、論理力欠如明確に」より引用。 「偶数に奇数を足すと必ず奇数になる」ことを数式と文章で説明する中2レベルの問題 ということらしいので coq を使って自分が中二レベルあることを証明…