USB 3.0 x 2 Powered USB 3.0 x 1 スマホ充電に便利 Lenovo OneLink x 1 Lenovo仕様の外部入出力 HDMI x1 ディスプレイ RJ-45 LANケーブル マイクロフォン/ヘッドフォン・コンボ・ジャック Princeton PTFBKF-27Wは、 HDMI ×2 アナログDSubミニ15ピン ×1

わざと見つけにくい所に置いているような、、、 保管庫→その他のオプション→詳細設定→エクスポート

代数系の種類という意味でドクトリンを使うとして、ドクトリンの事例には次のようなものがある。 mon モノイド grp 群 cat 圏 mon-cat モノイド圏 symm-mon-cat 対称モノイド圏 br-mon-cat ブレイド付きモノイド圏 str-2-cat 厳密2-圏 これらのドクトリン（…