研究で 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^)＼

Carbon Emacs -> Cocoa Emacs に移行してみた。 http://www.emacsformacosx.com/ からダウンロードした。よく使っていた機能がいくつか動かなかったのでメモ。 Font carbon-fontが効かなくなったので。 英文がMonaco, 日本語がヒラギノ角ゴ、10px。 ただ全角…

早く慣れたいです。友人におすすめされてscreenではなくtmuxを入れてみたのですが、ライトユーザーなので違いはあまりわかりませんが、デフォルトで使いやすくできてて、とっつきやすいような気はします。ただ、tmuxは使っているとすぐフリーズして困りまし…

やっぱscreenにした。

昨日で長いようで短かったインターン生活が終わりました。いろいろ思ったことなど。 プログラミングについて。 知識も経験も足りなすぎる。 読み返すと分からない見通しの悪いコードばかり書いてしまった 人のコードを読むのに慣れてない、読むのにめっちゃ…

UTPCに参加しました． 12問中5問通して29位でした． 起きたら12:10だったのと，DPで一箇所MODをとってないところがあったりして2回WA出したのが諸ぼんぼり最後はずっと座標変換＋回転の問題をやっていたのだけど，全然答え合わなくて悲しかったｗ オートマト…

ICPC国内予選に id:keitanxkeitan と id:kouri128 さんと参加しました！ 目標は10位以内だったけど，11位でした． アジア予選にはでれるらしいけど… ちゃんと練習セッションやっとけば…ごめんなさい…Aはやるだけで簡単なんだけど，サブミットするファイル間…

模擬国内予選楽しかったです． ライブラリのVerifyもできたしｗ ただ最後に東大ですら解けない問題に解けそうと思って突っ込んでしまったのが失敗だったなぁと思います． Dを３人で考えてたら解けてたかもしれないなぁと… 周りが解けてる問題が見えないのっ…

概要 有向グラフが与えられて，エッジにはコストがついている． N頂点あったら，1番の頂点からN人の人をすべての頂点に行き渡るように移動させて， そこから１番に返ってくるような，すべての人についてのコストの和の最小値を答えるという問題． 頂点も辺も…

今更だけどサブミッション用のスクリプトを公開してみる…ｗ submit 1000.cc みたいな感じでコマンドを実行すると，1000にサブミットできるだけという低機能(^p^)↓のrubyスクリプトをpku用のディレクトリに置く http://halwhite.s352.xrea.com/pku.txt ファイ…

はじめて500解けたわーい． 250落ちたしょぼーん．250は考え方はあってるんだけど，数字を消して書き換えるしか出来ない→桁を増やしちゃいけないって言うことを理解できてなくて，つねに10桁になるまで生成しては比較ってやってしまったorz500は解いてる最中…

レーティングが1632になったわーい． topcoderもこれくらいになりたい． 出来は簡単な方の３問しか解けなかったけど…id:nodchipさんの日記を見ているとA問題について，2^16通り試すと書いてあったんだけど， １行ごとに見ていって１行全部黒かったら白く塗る…

SQLite Managerという便利なソフトがあるんですが，Firefoxのプラグインなので重いクエリを実行するとfirefoxごと固まるので困っていたのですが，SQLite ManagerがXULRunnerに対応していたので別プロセスで起動できるようになりました．http://code.google.c…

無差別vacuum! Dir["/Users/account/Library/Application Support/Firefox/profiles/*.default/*.sqlite"].each do |x| puts "sqlite3 '" + x + "' vacuum" system "sqlite3 '" + x + "' vacuum" puts "sqlite3 '" + x + "' reindex" system "sqlite3 '" + x…

はいはい0点0点 こんなんじゃダメだお

Easy RabbitNumbering うさぎにユニークにナンバリングする方法が何とおりあるか，みたいな問題． うさぎごとに数字の最大値が決まっているから，最大値が小さい方のうさぎから決めて， 後のうさぎは前のうさぎが使ってない数字を使えばいい． Medium Nisoku…

概要 100個の町とそれをつなぐ双方向のエッジがいくつかある． すべての町に，発掘された金の量と，金をしまっておける量が設定されている． すべての金をしまえるように，金を移動したい． すべての金の移動パスの中で，一番離れているエッジの長さ，を最小…

なんか簡単な問題 main(m,h){for(gets(&m); ~scanf("%d:%d",&h,&m); m?puts("0"):printf("%d\n",h<13?h+12:h-12));} 89Bgets(&m)とかテキトウなことやってみたら動いたｗでもテキトウにやってたんじゃだめだよね… 研究室にあったショートコーディングの本読…

macbook air is so hot(低温やけど的な意味で) IEEEXtreme 2009 の賞品が届いた http://d.hatena.ne.jp/kkishi/20100302/1267526885僕はお菓子買ってきて応援してたくらいですが(*つ∀｀*)

DevFest審査通ったー！ので，書いたコードとか晒してみるｗ 暗号通信 メールアドレスをシーザー暗号で暗号化して送りつける問題 小文字しかなかったので大文字は無視！ phpって1文字ごとに処理するのめんどくさいなぁーと思った． っていうかphpで書く必要は…

なんかけいたんがゴルフしてたから真似してみる！ 初ゴルフです． main(i,c){ for(scanf("%d",&c); ~scanf("%d",&c); printf("%d %d QUARTER(S), %d DIME(S), %d NICKEL(S), %d PENNY(S)\n", i++,c/25,c%25/10,c%25%10/5,c%5));} 146B（改行除く） テストケ…

概要 x^y == k (mod Z) となるyを求める． 解法 素因数分解と同じで離散対数問題を解くのは大変なんだけど，Hashtableを使うとO(√Z)で計算できるというのを初めて知った． Baby-step Giant-stepアルゴリズムと言うらしい． http://en.wikipedia.org/wiki/Bab…

（｀ェ´）ぴゃ〜 Div1に残りたいororogの日記 http://d.hatena.ne.jp/ororog/

卒論に書いた文章より日記＋PKUのほうが長いんじゃないか疑惑…

概要 ホーン節とは，(n1&n2&... => p) という形をした論理式．(niもpも否定がつかない) ホーン節の論理積が与えられ，それを充足するような真理値割り当てを求める． 式の長さは，20000文字以内． 解法 構文解析をして，ホーン節の集合を求める． 右辺に変数…

概要 5x5のフィールドが与えられて，7つの連続するマスを選ぶ． マスにはHかJが書いてあって，7こ選んだとき，Jの方が多くなる選び方は何とおりあるか． 解法 まず，ダメだった解法は，25C7 = 480700 なので，全部生成して，それが条件を満たしているか，Uni…

概要 1 乳搾りをすると病原菌が混ざり合うが，Kまでは混ざってもOK． 最大何匹までokか？ 解法 DこのうちK個，混ざってもいい病原体を選んで，全部チェック． bit combinationの列挙が役に立った． // bit combination // comb(N, K) int N, K; for(int comb…