2006-10-24から1日間の記事一覧

"What is a logic, and what is a proof?" (Lutz Strassburger)

キマイラ飼育記さんで紹介されていて(いつも読ませて頂いております)、日曜から読み始めた論文。こちらからダウンロード可能。 10ページ程度のよくまとまったサーベイ論文。前半の内容(論理はpreoderと見なせる)はキマイラ飼育記さんが詳しく紹介されて…

今日はよく晴れる。印刷をしようとすると、何故かプリンターが停止してしまう。 先週末から始めた論文、やっぱり書き進められないでいた。ジグソーパズルでピースが一個欠けている。どうしようかとボーっとしているうちに時間だけが過ぎていく。今日、deskto…