DOSEIの日記

技術メモ+日常ログ

2008-07-07から1日間の記事一覧

定理・命題の使い分け

定理 (theorem) とは、ある条件で、成り立つことを証明されたもの。定理のうち、以下のように言葉を使い分けることがある。 命題 (proposition) どの特定の定理とも関連付けられていない主張。この用語が単純な証明を含んでいる場合もある。(本来は、単に真…

朝は雨が降ったらしいが、8時ごろはもう小康状態。が、湿度高すぎ。とりあえず、ドライ。1時ごろ、NII。駅でパイナップルを練りこんだパンを買ったのですが、これがまたウマイ。また食べよう。 3時ゼミ。ヨハンに七夕とはなんぞやを教える。ゼミは相変わらず…