m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ Caty プログラム意味論 圏一般論 圏論バイアスによる発言ではあるが、RPCが他の方法に比べて格段に優れているのは、圏論との相性が良いからだ。手続きや状態のキー化（コード化）やマーシャリングは、部分デカルト閉構造で記述できる。同じ圏に複数の部分デカルト閉構造が載るのだが（それは普通）、それぞれから部分デカルト閉圏を作って、部分デカルト閉圏としての圏同値を与える関手や自然同型を考える。これがおよそRPC（より一般にxPC）の定式化になる。遠隔呼び出しに関して言えば、ローカル圏とリモート圏（あるいはクライアント圏とサーバー圏）のあいだの関手を与えればいいのだが、一緒に自然同型が必要で、この自然同型（成分が同型射である自然変換）を与え… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20130419%2F1366340156" title="RPCが良い理由 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2013-04-19 11:55:56 rich https://m-hiyama-memo.hatenablog.jp/entry/20130419/1366340156 1.0 100%