https://twitter.com/kinaba のログ (twilog の方が便利です。)
http://ranha.kerox.info/proofparty/?%B0%CE%BF%CD%A4%BF%A4%C1%A4%CE%BB%C4%A4%B7%A4%BF%A4%B3%A4%C8%A4%D0 を見て面白いなーと思って "名言 証明" でググってみたらブロントさんが何度も現れた | |
http://zibada.ru/finals/ #ICPC 11時からか。応援ウォッチ。Petr の実況があるぽい→ http://77.41.63.3/icpc2010/finals.html | |
@ikegami__ ふむふむ。ありがとうございます。今度探してみます | |
User Interaces for Theorem Provers http://www.informatik.uni-bremen.de/uitp/ というワークショップがあるんだー。暇ができたらちょっと見てみよう | |
#ICPC http://cm.baylor.edu/ICPCWiki/attach/Problem%20Resources/2010WorldFinalProblemSet.pdf 問題セットktkr | |
二次元マップ歩くの多いな。C:100万×100万、障害物1000個。↑と→だけで右上に行けるマスの数。E:20×9、左上から右下までの↑↓→←で自分と斜めにも接さぬ最長パス。I:8×8。(0,0)始め(1,0)終わりで全マス通り指定された1/4,2/4,3/4地点を通るパスの数」 | |
#ICPC 半分過ぎで7位!いい調子だ! http://zibada.ru/finals/ | |
更新止まったけどPendingは出るのかー。http://cm.baylor.edu/scoreboard/index.html 東大Aに再submit行ったが果たして | |
http://cm.baylor.edu/ICPCWiki/Wiki.jsp?page=Results%20World%20Finals%202010 14位かあ。世界は強いなあ。コンテスタントのみなさまお疲れ様です。Aは気合いでやればできそうに一見みえるけど、結局全く解かれていないということは、どんな罠があったんだろか… | |
めしさんが突如現れて面白そうなTechReportを置いて去っていった夕方であった http://www.ieice.org/ken/paper/20100125haUv/ http://www.ieice.org/ken/paper/20100125Oau1/ タルスキタルスキ | |
本人のページに公開されてる原稿もあった http://www.cs.toronto.edu/~kawamura/index_j.html | |
@hirekoke よくあることです | |
@chunjp @nyaxt というか単に「pで割れる数を消す」段が for(q=p;;){(q+=p)を消す} じゃなくて foreach(q∈残り){if(q%p==0)qを消す} なので、+=pでスキップルンルンせず残りを全部なめてる分遅いってだけでは。本質的には。 | |
PPL2010のショートプレゼンに小ネタを投げるなどしてみた。発表までにはもっとネタがふくらんでるといいなあくらいの勢いです。タイムラインにいらっしゃる皆様はどのくらいPPLにいらっしゃるのだろうか | |
@fkm http://isw3.kankyo-u.ac.jp/ppl2010/ こういう集まりです。夜な夜な金比羅様にお参りしながらプログラミングの話をする闇の集会だそうです(嘘 | |
そしてICALP( http://icalp10.inria.fr/ )に向けて論文書いてます。締切がまるで締切のようにヤバい。ひい。"ICALP"でtwitter検索してもほぼ引っかからずつまらんと思ったのだけど自分でも全然書いてないんだから人の事言えないなーと思って書いてみる | |
@kmizu ですねえ>四国ちょっといいかも。/ 自分の場合逆にちょっと遠くて疲れるよね、どうしよう…みたいな気持ちも少しありましたが…(^^;; |