SPOJ SHORTEN

http://www.spoj.pl/SHORTEN/ をお試し中。といってもKAMILとSIZECONの２問解いただけ。

うーん。

• CodeGolfのように出力が表示されないのがいらつく
• KAMILみたいなんはまあまあ。題意をcoverしたinputが出題されているんだろうなあ，というのが推測でしかできないのでいらつく
• 1行目がnumber of test casesで，余分なtest caseが入ってる入力があるとかいうのにいらつく
• scoreがexcept symbols with ASCII code <= 32.ってなってるせいか上位陣が変態（多分それ系だよね？）
• SLEXSORTなんてnumber of test casesで各テストケースに行数か。うっとうしい…

ということでイマイチ乗り気になれないので終了にしよう。shinhさんにSIZECON勝ったことだし。

ICFPC 2010 (2)

無駄にじっくり時間をかけた回路ゴルフが終わり，車と燃料の仕様をkuma-な方のとこをカンニングさせて頂，

ようやく本番に入ることができました。なるほどなるほど…

「素因数分解だ」って話が出てきたのも納得。非線形整数計画問題という話も。

さて，一応専門なわけだし，定式化頑張って線形に落としてみるかな…と考え中。見込みアリ。

しかし，http://wiki.freaks-unidos.net/weblogs/azul/icfp-2010のLogを使って線形化っていうのが話としては面白そうだなー。

でもソルバーは今時lp_solveはないよなー。

ICFPC 2010

どこぞでこっそりやってるぞということを宣言しているのですが，あまり時間が取れずfuelのtritsを送るくらいが精一杯かなぁ…

ゲートの動作でつまづいて時間を食い過ぎた…

東大助教 アニリール・セルカン氏の件が凄いことになっている

よいしょ。そろそろここで書きますか。

楽天研究開発シンポジウム2008ではまつもとゆきひろ氏と並んで基調講演をするなど，精力的な講演活動を行っている，宇宙エレベーターの考案者・宇宙物理学者・元宇宙飛行士候補・スキー金メダリストという信じられない肩書を持った東大助教のアニリール・セルカン氏という人物がいるそうです。

ところが，2ちゃんねるの理系全般板で業績の一つのPRLを起点にして，その経歴・業績のほとんどに対して虚偽や捏造，剽窃・盗用などの疑いが提示されています（まとめWiki, まとめBlog, 英語Blog）。

そして先日，2スレ781(お知らせブログ)のコテハンを使っていた人が，その調査結果をまとめて東京大学競争的資金の不正利用窓口に通報したとのこと（/.Jへのタレコミ記事）です。


ということで，サマーウォーズの栄おばあちゃんの言葉「落ち着いて，一つ一つ自分にできる，自分にしかできない」ことをやっていこうと思って，tineye検索の自動化ツールを提供しました。まだあまり有効に活用できていないですけど。

まだまだ全貌のはっきりしない事件ですが，東大が対処することはもちろん，それ以外の各方面でも変化が起きるのではないでしょうか。

サマーウォーズの世界の「電話」

どこぞに向けて。黒電話は電話線から供給される電源があります。

あそこまでインフラをOZに独占されている世界であれば，電話交換網も既にOZにおきかえられているのでしょう。携帯で電話するにもアカウントが必要なのですから。

・・・小説版で栄おばあちゃんがメールしてたのは，黒電話で入力したのだろうか・・・音声入力？


あと，ちょっと別のことやってるのでサマーウォーズ関連のエントリ作成が滞っております。
しばらくお待ちください。

Bloggerのフィード

「先頭のみ」にしているとタグが除去されて一定文字数で打ち切られる…のかなぁ？　多分そんな感じ。あと，カスタムドメインの「不明なファイルのホスト」で302を返しているからLDRとかでフィードの集約ができないようだ。302→301じゃダメみたいだ。

うーん…Blogger が302返す限りはどうしようもないよな。DNS変えて，リバースプロキシ的にいじって，で出来なくはないけど…むぅ，悩ましい。

サマーウォーズの大罪：「2つの不適切なメッセージ」その2「システムへの盲従」

（書きかけです）
2つ目の不適切なメッセージは「システムへの盲従」だ。




以下，4バージョン全てのネタバレを含めて語って行くので気になる方は自己防衛をよろしくお願いします。前のエントリに引き続きややネタバレ強めです。