tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20150102 16:42 新年なので新しいことを始めてみようと思って24の将棋で振り飛車封印して居飛車指しまくってみたけど、形の把握に気を取られてびっくりするくらい読みが抜けてなんか面白い。あると思ってた持ち歩が一枚もなくて緊急事態、紐付いてると思ってた駒がタダなどが多発している
20150102 21:28 #topcoder おつかれさまでした(数え上げ地獄セットだったのでunratedでほっとしている)
20150102 21:36 #topcoder easy:やった med:K=1の場合だけ解けたがそれ以上が全然わからず絶望 hard:問題を読んだ(面白そう)
20150102 21:38 RT @laycrs: EASYは一番小さいのと一番大きいのを全探索して,コンビネーションを足していった.MEDIUMは2^Kノードのオートマトン作って行列べき乗.HARD開けない.
20150102 21:39 あっっっっっ言われて見ればその通りだこれmed瞬殺できないといけないジャンルの問題だった。巧いなあ… https://t.co/56MfR9dfWW
20150102 22:01 厳密かつわかりやすく書き下すのが面倒くさい問題文、「存在しうるすべての解釈の中でサンプルが合うのは1通りだけになるようにサンプル用意したから疑問点はサンプルから察せ!」みたいなことがやりたくなる。そして形式手法等を応用してフォーマルに「~」を保証したりしたい
20150102 22:10 実家の積CDのうちデータ化してなかったのリッピングしてたんだけど、残り方見ると15年前の自分はベスト盤は吸い出さない方針だったぽい。HDD容量の問題と、曲が重複するの嫌とかだろうけど、今ならデータが多い分には後処理できるからとりあえずやっちゃえ、と当然考えるので、時の流れを感じる

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0