https://twitter.com/kinaba のログ (twilog の方が便利です。)
@kururu_goedel 僕の場合、証明系「を使ってプログラムを書く」部分では、発想を変えなさいと言ってくれるのは嬉しい面もあります(証明しやすいようにプログラムを構造化する、という視点のお陰でかえって楽に書けることも)。「証明を書く」部分については辛いなあというのに同意です | |
http://ipl-www.cs.uec.ac.jp/jssst2009/program.html#4C 橋本さんの「プログラム運算のためのCoqライブラリ」とかは、この手の証明を書くときの発想(の仕方のひとつ)には確かに近い気がして面白いなあ、と思った | |
#SRM スタンバイ。落ち着いてMediumを片付けるのが目標 | |
もうだめだ…(最近これしか言ってない) #SRM | |
500はもっとガンガンTLEする解がsubmitされてるかと思っていた。みんなえらい #SRM | |
red 14人だー http://www.topcoder.com/tc?module=AlgoRank&cc=392 | |
この500のタイプのDPが苦手。まず dp[i+1][x] = Σ_{k=0,w,2w,...} (dp[i][x-k]) みたいなのが頭に浮かんで、これそのまま実装するとO(N^2)でTLEだー死ぬーと30分近く慌ててからやっと正解に行くことが多い。しかし次は負けない!#SRM | |
"A Pearl on SAT Solving in Prolog" http://www.cs.kent.ac.uk/pubs/2010/2970/index.html 公開されてる。週末までに誰かが読んできて僕に解説してくれるというイベントがきっと発生すると信じている。 | |
UC2010 http://arn.local.frs.riken.jp/UC10/ って東大なのか。見に行こうかな | |
@natsutan なにかのぴったり整数倍の波長になっている波だけ自分と打ち消さずに残る、とかを使って整数値だけフィルタして残すみたいなのもありそう。 | |
@ikegami__ paper deadline がまだなのでプログラムは勘弁してあげて下さい>< | |
「九マイルは遠すぎる」を読んでいた。今まで読んだことがなかったのだ。それで探偵役のひとの名前が、ニコラス・ウェルト教授なのだけど、なにかPascalでも設計してそうな名前だなぁと一度顔写真が浮かんでしまうともうダメで、完全にそのイメージになってしまった。 |