このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2017-10-03から1日間の記事一覧

ストライプ計算の基本

お絵描き 高次圏論 論理

マッカーディのストライプ図を使った計算と推論。CからDへの関手圏での計算。マテリアル計算の事例。 素材 ストライプ図 説明 ワイヤー Cの対象 ワイヤーノード Cの射 シース内ブランク Cのモノイド積 空ワイヤー Cの単位対象 シース 関手 ケーブル 関手の値…

ケーブル（電線）のシース

画像 お絵描き

シース（外部被覆）の材質としては、PVC（ポリ塩化ビニル）、PE（ポリエチレン）などが使われる。*1 *1:記事： http://www.aim-ele.co.jp/tech/metal-tech15/ 画像： http://www.aim-ele.co.jp/tech/metal-tech15/images/hifuku.jpg