2011年04月06日のツイート
@kururu_goedel: @tmiya_ はい、確かそう書いてありました。
2011-04-06 20:18:27 via TweetDeck to @tmiya_
@kururu_goedel: @white_sep 知らないというか、「なんか定着しちゃったから変えられないけど、全然イメージわかないよね(笑)」っていうか
2011-04-06 12:59:13 via TweetDeck to @white_sep
@kururu_goedel: 素人ですが、少し形式手法について調べたときに何度も例になっていたパリの地下鉄は、効率化のところまで証明しながらやったと書いてあったはず。非効率なコードから始めて、より効率的なコードが同じ挙動になるか証明しながら開発していったとか。
@kururu_goedel: @cauchy_schwarz ついでなので、リーマン予想を肯定的にも否定的にも証明してからもどってくるライフハック
@kururu_goedel: なんで「面積が無限になるようなpを…」って書いてあるときに、improper integralの収束だけを論じて、その積分が面積になるってことを一言も言わないんだ?全然わからないよ。
@kururu_goedel: なんで「面積が無限になるようなpを…」って書いてあるときに、improper integralの収束だけを論じて、その積分が面積になるってことを一言も言わないんだ?全然わからないよ。
@kururu_goedel: 買ってくればいいのだけれどもそんな時間ない
@kururu_goedel: やべー、間違えて挽いてないコーヒー豆買ってきちゃった。挽く機械ないので今日はコーヒー抜きか。厳しい。