スパイダーグラフ (2) スパイダーグラフ 補足 スパイダーグラフ：チャンネルと描画 スパイダーグラフ：絵は大ざっぱに描くべし スパイダーグラフの起原と用途いつ頃からか、直観主義論理の“ある種の双対”となる論理のシーケント計算をスパイダー計算と呼ぶこ…