はじまりはいつもこんな感じ。 ボックス＆ワイヤー図、オダンゴ図、ストリング図は、本質的には同じ図式法。ワイヤリングの絵だよ。 多入力多出力（n-in m-out）を1入力1出力だと思うにはタプルを考えるといい。絵で描くなら、何本かのワイヤーをリボンケー…

イイカゲンな型システムを求めて - 檜山正幸のキマイラ飼育記 (はてなBlog) に出てきた圏の変種に2通りの定式化を与えてみる。1つ目は、イイカゲンな型システムを求めて - 檜山正幸のキマイラ飼育記 (はてなBlog)に書いてあることを素直にそのまま反映させた…