暫定案、後で修正。日本語だと複数形がないので、複数形の代わりに「ナントカセット」とする。 セオリー論 プログラミング 論理 ストリング図 指標 インターフェイス 推論規則セット スパイダーセット〈アイコンパレット〉 ソート 型 命題 ワイヤー（のラベ…