m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 圏一般論 プログラム意味論 多義語 STEM 文言正規表現 ステイ／メリディスの次の論文、とても良い。 Title: Logic as a distributive law Author: Mike Stay, Lucius Gregory Meredith URL: https://arxiv.org/abs/1610.02247 僕がふだん考えていることだから、問題意識が一致して分かりやすい。本論じゃないところで、（連想で）考えたことも含めていくつかの記事にしようと思う。まず（論旨じゃないけど）連想した多義語の話。 {関数 | 演算(子)?}{記号 | 名}? これを展開すると： 関数記号 関数名 関数 演算子記号 演算子名 演算子 演算記号 演算… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20180125%2F1516876745" 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-01-25 19:39:05 rich https://m-hiyama-memo.hatenablog.jp/entry/20180125/1516876745 1.0 100%