m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 Mx 2018 用語法 なんかもう、ひたすら単語の選択と（必要なら）造語をしている。いいかげんウンザリはしている。全般的に、用語法において、関数と関数を表す式と関数値の区別が付いてない／付けてないことが分かる。これは普遍的（どこでも見いだせる）な現象だ。関数まわり混同現象と呼ぼう。 値＼引数 個体-引数 型-引数 命題-引数 推論-引数 リーズニング-引数 個体-値 関数,個体族 例：選択関数 例：ヒルベルトε - - 型-値 型族 型構成子, 総称型 例：コンテキスト領域 - - 命題-値 命題関数, 命題族 型総称命題 結合子,命題構成子 例：プロファイル - 推論-値 推論族 型総称推論 命題総称推論, 推論規… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181120%2F1542692986" 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-20 14:49:46 rich https://m-hiyama-memo.hatenablog.jp/entry/20181120/1542692986 1.0 100%