情報系の備忘録

deadが多い、減らない場合はautovacuumされていないかもしれません。

かなり前に書いたものなので間違っているかもしれないです。

(何年か前の書きかけ物) 値の整合性チェック "assume ..."とあれば、それに関してはチェックはいらない

(何年か前の書きかけ物) 初めてスコアが出せそうなアセンブリコンテストを逃してしまったので、深く反省するべきだと思う。 技術、知識不足 次に似たような案件が来るかもしれないので、自分が考える範囲の実装は継続するべき。 スタートの遅さ 登録後すぐに開始できる。。。かもしれないので、現在アクティブになっているプロジェクトに即座に参加してみるのはいいかもしれない。開発期間を多くもらえるかどうか知ることが出来る。 労働時間の不足 モチベーションを長期間維持しつつ、他の要件に囚われないこと、あるいはすぐ片付ける技術を身につけるべき 正直、正月気分で遊んでいた時間が長かった。バグレースの方がまだ時間を使っていた。 生活スタイルとして、開発する時間を習慣付ける。だらだら開発しない。

(何年か前の書きかけ物) AirSRM Practice roomが不調になった時非常に役に立ってくれた AirSRM だけど、最近はよく物足りなさを感じる。 何が物足りないかは割りと明確で、「人のソースや Editorial にアクセスしづらい」ということが挙げられる。 SRMの練習する場合「問題を読んでコードを書く」だけで終わることはほとんど無い。Div 2 Easy ならかれこれ 300 問は解いてきたけど、人のソースを読んでみると文法の見落としや「なるほど」と思える技に出会えたりする。解けない問題について、Editorialを参照することも頻繁にある。 ところが、現在の AirSRM が生成するウェブページは result ページへのリンクを含んでいるだけという状況にある。

$ for i in `git checkout HEAD | grep 'D\s\+' | sed -e 's/D\s\+//'`; do git checkout HEAD -- $i; done