m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 Mx 2018 用語法 メタ(形容詞)＝我々が生きている現実世界の … 対象(形容詞)＝我々が調査と考察の対象（目的物）とする数学的モデル（対象演繹システム）内の … 例： メタ記号 vs. 対象記号 メタ変数 vs. 対象変数 メタ命題 vs. 対象命題 メタ定理 vs. 対象定理 メタ側がモヤッとしている例： メタ言語 vs. 対象言語 メタ構文 vs. 対象構文 メタ論理 vs. 対象論理 メタ数学 vs. 対象数学 機械的に（語感とかニュアンスとかは一切考慮しないで）「メタ」と「対象」を付けて区別する。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181121%2F1542782614" title="メタレベルと対象レベル - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-11-21 15:43:34 rich https://m-hiyama-memo.hatenablog.jp/entry/20181121/1542782614 1.0 100%