2010年06月20日のツイート
@kururu_goedel: 呼びましたか?QT @night_in_tunisi: なんというか、人の痛みとか思いやる気持ちとか、そういうのが微妙にずれているか、そもそも全くない。
@kururu_goedel: よかった、dropboxで復旧できた。
@kururu_goedel: Coq IDEでいろいろやっていたら、キー操作ちょこっとミスったらいきなり終了して1時間くらいやっていたことが一気に消えた。
@kururu_goedel: 呼びましたか?QT @night_in_tunisi: なんというか、人の痛みとか思いやる気持ちとか、そういうのが微妙にずれているか、そもそも全くない。
@kururu_goedel: よかった、dropboxで復旧できた。
@kururu_goedel: Coq IDEでいろいろやっていたら、キー操作ちょこっとミスったらいきなり終了して1時間くらいやっていたことが一気に消えた。