lambda calculus における reduction って簡約だったよね(一瞬「縮約」と書きそうになってしまった)
縮約ってどこの言葉だ……？
縮約 reduction - Google 検索https://www.google.co.jp/search?q=%E7%B8%AE%E7%B4%84+reduction縮約の英訳｜英辞郎 on the WEB：アルクhttps://eow.alc.co.jp/search?q=%E7%B8%AE%E7%B4%84
論理学での contraction が縮約か
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。
