カリー化 ＝ ラムダ抽象 ＝ 随伴転置 を $`\lambda`$ として ベータ等式： $`\lambda ; \lambda^{-1} = \mathrm{id}`$ エータ等式： $`\lambda^{-1} ; \lambda = \mathrm{id}`$ 指数を描くために、モノイド閉圏、オダンゴ、留め金、池袋 - 檜山正幸のキマイ…

テンプレート充填問題、段階的に解空間を細分・詳細化する。 テンプレート充填問題のパラメータと未知項。パラメータが既知項を与える。 テンプレート充填問題の解空間からのイプシロン記号による取り出し。冠詞 a, the の意味論。 テンプレート充填問題があ…

動詞-名詞の問題 動作・行為を表す動詞と、状態・状況・自体（～であるコト）を表す動詞（非行為動詞） be動詞以外に、exist, belong, live, inhabit も非行為動詞 動詞から作られる三種の名詞： ～するコト（事態、状況のモノ化）、～する人（行為者）、～…

$`\newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\mbf}[1]{ \mathbf{#1} } \newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\twoto}{\Rightarrow } \newcommand{\In}{ \text{ in }} \newcommand{\T}[1]{\text{#1} } \require{color} \newcommand{\NT}…