m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 Mx 2018 絵を中心に考えるしかないだろう。で、絵のノードだが、誤解を招きそうな気がしてきた。ノード → スパイダーと改名したほうがいいかも知れない。グラフ理論の頂点とは違って、むしろ近傍部分グラフみたいなものだから。スパイダーは脚を持つ。脚の付け根をピンと呼び、「ピン付きノード＋ワイヤー」と考えることもある。ピンの代わりにジャック（穴、凹）があり、ワイヤー側にプラグ（凸）があると考えてもいい。ワイヤーラベルは、ピン／ジャック／プラグのラベルになる。物理的、器具的な比喩は、繋がればなんだっていいスパイダーが、「定理、推論、証明、推論規則、論理的公理、分野固有の公理」などに対応する。スパイダーに関する性質と… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181116%2F1542340839" title="続・意味不明な言葉達 対策 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2018-11-16 13:00:39 rich https://m-hiyama-memo.hatenablog.jp/entry/20181116/1542340839 1.0 100%