研究で SMT (Satisfiability Modulo Theories) solver を使ってなにかしてみようというお話になったので、よくある数独ソルバーを作ってみました。 SMT solver とは、 SAT solver の便利バージョンのようなもので、変数、配列、関数などを定義できて、それら…

java の言語仕様では、 o instanceof C の結果は、o が null だったら必ず false になると決まっているそうです。 Java Puzzlers, puzzle 50 より。 public class Point { private int x_, y_; // ... @Override public boolean equals(Object o) { if (!(o …

iPhone アプリ作る Android アプリ作る 英語の問題集終わらせる データベース勉強する 修論のテーマ考える 留学生とラパウザに行く 花粉症手術する TopCoder に復帰する 免許取りなおす 春はまけぼの。

計算間違えしててうっかり失効の時期を逃してしまった／(^o^)＼