m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ セミナー JavaScript [追記]eqObjが定義されていると仮定できるなら、SomeCat.composable(f, g)（fとgのこの順での結合可能性）は次のように書けますね。 return SomeCat.eqObj(SomeCat.cod(f), SomeCat.dom(g));今度からこう書こう。以前のは直さないけど。[/追記] /* DiscCat.js -- Discrete Category over N *//* 一般的にも使えそうな関数（大域関数） */// 自然数（0を含む）かどうかを判定する function isNaturalNumber(x) { return ( typeof x ===… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20090522%2F1242952108" title="N上の離散圏 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2009-05-22 09:28:28 rich https://m-hiyama-memo.hatenablog.jp/entry/20090522/1242952108 1.0 100%