mimeTeXを使って数式を書くことができるらしいのでテスト． [tex:\varphi(f(x_1, x_2)) = g(\varphi(x_1), \varphi(x_2))] tex記法のエスケープはスーパーpre記法(>||tex notation||

日記でも，メモでもよいので1日1エントリを書く．

「概念」をどのように定義するかというのは別として， ある特定の概念（例えば「人物」や「本」）の定義をどのように与えるか． 概念の定義は，外延的に与える． 概念の性質は，概念の集合から導出する． 概念の性質は知識として利用する． 例．「本」という…