2006-11-01から1ヶ月間の記事一覧

不健全な健全性定理

取り敢えず、本当にそうか?と疑問が残るも健全性の証明が完了する。 本当にそうか? 次は完全性だ。

swallow the gum flavored with my spit

なんか楽しくなってきたw

もう駄目だろうもう駄目でしょう

何故俺なんだ

この日記の内容がすべて以前書いた事があるきがする

デジャブ

stylish

粋なとか流行のとか言う意味らしい。知らなかった。使い道間違えてたな。なんか白っぽい物を見たら取り敢えず「スタイリッシュでつね」とか言ってたな。 あと、アルゴリズムがゴリゴリという表現を思い付いたもその表現にある意味を考えるまで至ってなく。 …

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■

■