{
  "moduleInfo": {
    "name": "sougou-connectors-catalog-lite",
    "version": "2.0.0",
    "step": 1678,
    "purpose": "catalog.json の 軽量版。 note を 除き 列形式にすることで、 AI の テキスト欄に 直接貼付可能な 大きさ (40KB 未満) に 収めた 索引。 catalog-2.0.0.json からの 機械的派生。",
    "publicApi": [
      "fields",
      "rows"
    ],
    "keyConcepts": [
      "rows は fields の順に 並んだ 配列。 1 行 = 1 項目 (CSV と 同じ構造)",
      "446 項目、 15 章 = 12 章 + 付録 A/B/C",
      "chapter × 件数 (実データ rows[i][2] から 導出、 出現順): 学校の教科 36 / 学問分野 37 / 資格 51 / 教育学 15 / 哲学 23 / 理論 31 / 思想 25 / 倫理 19 / 装置 34 / 回路 52 / コネクタ 48 / ソフトウェア 57 / PC完結メーター一覧 5 / 空気中からの発電 3 / Rei 向けコネクタ候補 10",
      "id は catalog.json の id と 同一 (001-446 の 全球一意)、 full 版と 突き合わせ可能",
      "STEP 1676 self-description contract 8 field 準拠 (初 外部インスタンス 派生)"
    ],
    "relatedModules": [
      "sougou-connectors-catalog (full 版。 note と 全 field を 含む)",
      "src/aios/self-description-contract (STEP 1676)"
    ],
    "honestScope": [
      "note (説明文) を 含まない。 項目の 意味を 知るには full 版を 参照",
      "full 版から 機械的に 生成される 派生物。 手で 編集してはならない (ドリフト検出 test あり)",
      "実行されるコードではない — 静的 JSON 1 本、 スクリプトでも MCP サーバでもない",
      "元資料『学問・技術 総合一覧』2026-08-19 は 藤本伸樹 単独著作 (2026-09-02 確認済)"
    ]
  },
  "license": "AGPL-3.0-or-later OR Commercial",
  "copyright": "Copyright (c) 2026 Nobuki Fujimoto",
  "generatedAt": "2026-09-02T02:35:00Z",
  "itemCount": 446,
  "derivedFrom": "catalog-2.0.0.json",
  "fullVersionUrl": "https://rei-aios.pages.dev/data/sougou-connectors/catalog-2.0.0.json",
  "fields": [
    "id",
    "term",
    "chapter",
    "group"
  ],
  "rows": [
    ["001","国語","学校の教科","小学校"],
    ["002","算数","学校の教科","小学校"],
    ["003","理科","学校の教科","小学校"],
    ["004","社会","学校の教科","小学校"],
    ["005","生活","学校の教科","小学校"],
    ["006","音楽","学校の教科","小学校"],
    ["007","図画工作","学校の教科","小学校"],
    ["008","家庭","学校の教科","小学校"],
    ["009","体育","学校の教科","小学校"],
    ["010","外国語(英語)","学校の教科","小学校"],
    ["011","道徳","学校の教科","小学校"],
    ["012","総合的な学習","学校の教科","小学校"],
    ["013","特別活動","学校の教科","小学校"],
    ["014","国語","学校の教科","中学校"],
    ["015","社会","学校の教科","中学校"],
    ["016","数学","学校の教科","中学校"],
    ["017","理科","学校の教科","中学校"],
    ["018","音楽","学校の教科","中学校"],
    ["019","美術","学校の教科","中学校"],
    ["020","保健体育","学校の教科","中学校"],
    ["021","技術・家庭","学校の教科","中学校"],
    ["022","外国語","学校の教科","中学校"],
    ["023","道徳","学校の教科","中学校"],
    ["024","総合","学校の教科","中学校"],
    ["025","特別活動","学校の教科","中学校"],
    ["026","国語","学校の教科","高校"],
    ["027","地理歴史","学校の教科","高校"],
    ["028","公民","学校の教科","高校"],
    ["029","数学","学校の教科","高校"],
    ["030","理科","学校の教科","高校"],
    ["031","保健体育","学校の教科","高校"],
    ["032","芸術","学校の教科","高校"],
    ["033","外国語","学校の教科","高校"],
    ["034","家庭","学校の教科","高校"],
    ["035","情報","学校の教科","高校"],
    ["036","理数","学校の教科","高校"],
    ["037","数学","学問分野","形式科学"],
    ["038","論理学","学問分野","形式科学"],
    ["039","統計学","学問分野","形式科学"],
    ["040","情報科学","学問分野","形式科学"],
    ["041","計算機科学","学問分野","形式科学"],
    ["042","物理学","学問分野","自然科学"],
    ["043","化学","学問分野","自然科学"],
    ["044","生物学","学問分野","自然科学"],
    ["045","地球科学","学問分野","自然科学"],
    ["046","天文学","学問分野","自然科学"],
    ["047","哲学","学問分野","人文学"],
    ["048","倫理学","学問分野","人文学"],
    ["049","宗教学","学問分野","人文学"],
    ["050","歴史学","学問分野","人文学"],
    ["051","考古学","学問分野","人文学"],
    ["052","文学","学問分野","人文学"],
    ["053","言語学","学問分野","人文学"],
    ["054","美学・芸術学","学問分野","人文学"],
    ["055","文化人類学","学問分野","人文学"],
    ["056","法学","学問分野","社会科学"],
    ["057","政治学","学問分野","社会科学"],
    ["058","経済学","学問分野","社会科学"],
    ["059","経営学・商学","学問分野","社会科学"],
    ["060","社会学","学問分野","社会科学"],
    ["061","教育学","学問分野","社会科学"],
    ["062","地理学","学問分野","社会科学"],
    ["063","心理学","学問分野","社会科学"],
    ["064","国際関係論","学問分野","社会科学"],
    ["065","工学","学問分野","応用・実践系"],
    ["066","医学","学問分野","応用・実践系"],
    ["067","歯学","学問分野","応用・実践系"],
    ["068","薬学","学問分野","応用・実践系"],
    ["069","看護学","学問分野","応用・実践系"],
    ["070","農学","学問分野","応用・実践系"],
    ["071","獣医学","学問分野","応用・実践系"],
    ["072","建築学","学問分野","応用・実践系"],
    ["073","環境学","学問分野","応用・実践系"],
    ["074","医師","資格","国家資格 — 業務独占"],
    ["075","歯科医師","資格","国家資格 — 業務独占"],
    ["076","薬剤師","資格","国家資格 — 業務独占"],
    ["077","看護師","資格","国家資格 — 業務独占"],
    ["078","弁護士","資格","国家資格 — 業務独占"],
    ["079","司法書士","資格","国家資格 — 業務独占"],
    ["080","行政書士","資格","国家資格 — 業務独占"],
    ["081","公認会計士","資格","国家資格 — 業務独占"],
    ["082","税理士","資格","国家資格 — 業務独占"],
    ["083","弁理士","資格","国家資格 — 業務独占"],
    ["084","社会保険労務士","資格","国家資格 — 業務独占"],
    ["085","不動産鑑定士","資格","国家資格 — 業務独占"],
    ["086","一級建築士","資格","国家資格 — 業務独占"],
    ["087","電気主任技術者","資格","国家資格 — 業務独占"],
    ["088","危険物取扱者","資格","国家資格 — 業務独占"],
    ["089","医療系各種","資格","国家資格 — 業務独占"],
    ["090","保育士","資格","国家資格 — 名称独占・必置"],
    ["091","栄養士・管理栄養士","資格","国家資格 — 名称独占・必置"],
    ["092","介護福祉士","資格","国家資格 — 名称独占・必置"],
    ["093","社会福祉士","資格","国家資格 — 名称独占・必置"],
    ["094","精神保健福祉士","資格","国家資格 — 名称独占・必置"],
    ["095","宅地建物取引士","資格","国家資格 — 名称独占・必置"],
    ["096","旅行業務取扱管理者","資格","国家資格 — 名称独占・必置"],
    ["097","通訳案内士","資格","国家資格 — 名称独占・必置"],
    ["098","基本情報技術者","資格","IT・技術"],
    ["099","応用情報技術者","資格","IT・技術"],
    ["100","情報処理安全確保支援士","資格","IT・技術"],
    ["101","データベーススペシャリスト","資格","IT・技術"],
    ["102","ネットワークスペシャリスト","資格","IT・技術"],
    ["103","AWS/Azure/GCP各認定","資格","IT・技術"],
    ["104","CCNA","資格","IT・技術"],
    ["105","LPIC","資格","IT・技術"],
    ["106","統計検定","資格","IT・技術"],
    ["107","G検定","資格","IT・技術"],
    ["108","E資格","資格","IT・技術"],
    ["109","英検","資格","語学・検定"],
    ["110","TOEIC","資格","語学・検定"],
    ["111","TOEFL","資格","語学・検定"],
    ["112","IELTS","資格","語学・検定"],
    ["113","HSK","資格","語学・検定"],
    ["114","日本語能力試験","資格","語学・検定"],
    ["115","漢検","資格","語学・検定"],
    ["116","数検","資格","語学・検定"],
    ["117","簿記","資格","語学・検定"],
    ["118","電気工事士","資格","技能・現場"],
    ["119","ボイラー技士","資格","技能・現場"],
    ["120","フォークリフト","資格","技能・現場"],
    ["121","玉掛け","資格","技能・現場"],
    ["122","施工管理技士","資格","技能・現場"],
    ["123","消防設備士","資格","技能・現場"],
    ["124","無線技士","資格","技能・現場"],
    ["125","教育哲学","教育学",""],
    ["126","教育史","教育学",""],
    ["127","教育社会学","教育学",""],
    ["128","教育心理学","教育学",""],
    ["129","教育行政学","教育学",""],
    ["130","カリキュラム論","教育学",""],
    ["131","教育方法学","教育学",""],
    ["132","教科教育学","教育学",""],
    ["133","特別支援教育","教育学",""],
    ["134","生涯学習論","教育学",""],
    ["135","比較教育学","教育学",""],
    ["136","教育工学","教育学",""],
    ["137","教育測定・評価論","教育学",""],
    ["138","幼児教育学","教育学",""],
    ["139","高等教育論","教育学",""],
    ["140","形而上学","哲学","分野別"],
    ["141","存在論","哲学","分野別"],
    ["142","認識論","哲学","分野別"],
    ["143","論理学","哲学","分野別"],
    ["144","倫理学","哲学","分野別"],
    ["145","美学","哲学","分野別"],
    ["146","心の哲学","哲学","分野別"],
    ["147","言語哲学","哲学","分野別"],
    ["148","科学哲学","哲学","分野別"],
    ["149","数学の哲学","哲学","分野別"],
    ["150","政治哲学","哲学","分野別"],
    ["151","法哲学","哲学","分野別"],
    ["152","宗教哲学","哲学","分野別"],
    ["153","現象学","哲学","分野別"],
    ["154","解釈学","哲学","分野別"],
    ["155","西洋哲学","哲学","地域・伝統別"],
    ["156","分析哲学","哲学","地域・伝統別"],
    ["157","大陸哲学","哲学","地域・伝統別"],
    ["158","インド哲学","哲学","地域・伝統別"],
    ["159","中国哲学","哲学","地域・伝統別"],
    ["160","日本哲学","哲学","地域・伝統別"],
    ["161","イスラーム哲学","哲学","地域・伝統別"],
    ["162","仏教哲学","哲学","地域・伝統別"],
    ["163","集合論","理論","形式・数理"],
    ["164","圏論","理論","形式・数理"],
    ["165","モデル理論","理論","形式・数理"],
    ["166","証明論","理論","形式・数理"],
    ["167","再帰理論","理論","形式・数理"],
    ["168","ゲーム理論","理論","形式・数理"],
    ["169","情報理論","理論","形式・数理"],
    ["170","計算理論","理論","形式・数理"],
    ["171","複雑系理論","理論","形式・数理"],
    ["172","カオス理論","理論","形式・数理"],
    ["173","圏論的意味論","理論","形式・数理"],
    ["174","相対性理論","理論","自然科学"],
    ["175","量子論","理論","自然科学"],
    ["176","場の理論","理論","自然科学"],
    ["177","統計力学","理論","自然科学"],
    ["178","進化理論","理論","自然科学"],
    ["179","プレートテクトニクス","理論","自然科学"],
    ["180","ビッグバン理論","理論","自然科学"],
    ["181","社会システム理論","理論","社会・人文"],
    ["182","構造主義","理論","社会・人文"],
    ["183","批判理論","理論","社会・人文"],
    ["184","言説理論","理論","社会・人文"],
    ["185","記号論","理論","社会・人文"],
    ["186","文学理論","理論","社会・人文"],
    ["187","メディア理論","理論","社会・人文"],
    ["188","組織理論","理論","社会・人文"],
    ["189","制度論","理論","社会・人文"],
    ["190","自由主義","思想","政治・社会"],
    ["191","保守主義","思想","政治・社会"],
    ["192","社会主義","思想","政治・社会"],
    ["193","共産主義","思想","政治・社会"],
    ["194","アナキズム","思想","政治・社会"],
    ["195","共和主義","思想","政治・社会"],
    ["196","民主主義思想","思想","政治・社会"],
    ["197","フェミニズム","思想","政治・社会"],
    ["198","環境思想","思想","政治・社会"],
    ["199","ポストコロニアリズム","思想","政治・社会"],
    ["200","仏教思想","思想","宗教・霊性"],
    ["201","儒教","思想","宗教・霊性"],
    ["202","道教","思想","宗教・霊性"],
    ["203","神道","思想","宗教・霊性"],
    ["204","キリスト教神学","思想","宗教・霊性"],
    ["205","イスラーム思想","思想","宗教・霊性"],
    ["206","ユダヤ思想","思想","宗教・霊性"],
    ["207","ヒンドゥー思想","思想","宗教・霊性"],
    ["208","啓蒙思想","思想","潮流"],
    ["209","ロマン主義","思想","潮流"],
    ["210","実存主義","思想","潮流"],
    ["211","プラグマティズム","思想","潮流"],
    ["212","ポストモダン","思想","潮流"],
    ["213","構造主義/ポスト構造主義","思想","潮流"],
    ["214","トランスヒューマニズム","思想","潮流"],
    ["215","徳倫理学","倫理","規範倫理学"],
    ["216","義務論","倫理","規範倫理学"],
    ["217","功利主義","倫理","規範倫理学"],
    ["218","契約論","倫理","規範倫理学"],
    ["219","ケアの倫理","倫理","規範倫理学"],
    ["220","道徳実在論/反実在論","倫理","メタ倫理学"],
    ["221","認知主義/非認知主義","倫理","メタ倫理学"],
    ["222","道徳心理学","倫理","メタ倫理学"],
    ["223","生命倫理","倫理","応用倫理学"],
    ["224","医療倫理","倫理","応用倫理学"],
    ["225","環境倫理","倫理","応用倫理学"],
    ["226","情報倫理","倫理","応用倫理学"],
    ["227","AI倫理","倫理","応用倫理学"],
    ["228","工学倫理","倫理","応用倫理学"],
    ["229","研究倫理","倫理","応用倫理学"],
    ["230","企業倫理","倫理","応用倫理学"],
    ["231","動物倫理","倫理","応用倫理学"],
    ["232","戦争倫理","倫理","応用倫理学"],
    ["233","性倫理","倫理","応用倫理学"],
    ["234","オシロスコープ","装置","測定"],
    ["235","ロジックアナライザ","装置","測定"],
    ["236","マルチメータ","装置","測定"],
    ["237","LCRメータ","装置","測定"],
    ["238","電力計/パワーアナライザ","装置","測定"],
    ["239","スペクトラムアナライザ","装置","測定"],
    ["240","ネットワークアナライザ","装置","測定"],
    ["241","周波数カウンタ","装置","測定"],
    ["242","温度計/サーモグラフィ","装置","測定"],
    ["243","照度計","装置","測定"],
    ["244","騒音計","装置","測定"],
    ["245","安定化電源","装置","電源・信号源"],
    ["246","電子負荷","装置","電源・信号源"],
    ["247","ファンクションジェネレータ","装置","電源・信号源"],
    ["248","任意波形発生器","装置","電源・信号源"],
    ["249","バッテリシミュレータ","装置","電源・信号源"],
    ["250","はんだごて","装置","加工・実装"],
    ["251","リワークステーション","装置","加工・実装"],
    ["252","ホットプレート","装置","加工・実装"],
    ["253","リフロー炉","装置","加工・実装"],
    ["254","顕微鏡","装置","加工・実装"],
    ["255","3Dプリンタ","装置","加工・実装"],
    ["256","CNC","装置","加工・実装"],
    ["257","レーザーカッター","装置","加工・実装"],
    ["258","FPGA開発ボード","装置","計算・実験"],
    ["259","SBC","装置","計算・実験"],
    ["260","MCUボード","装置","計算・実験"],
    ["261","SoM","装置","計算・実験"],
    ["262","GPUワークステーション","装置","計算・実験"],
    ["263","データロガー","装置","計算・実験"],
    ["264","恒温槽","装置","環境"],
    ["265","ESD対策一式","装置","環境"],
    ["266","真空ポンプ","装置","環境"],
    ["267","シールドボックス","装置","環境"],
    ["268","抵抗","回路","受動"],
    ["269","コンデンサ","回路","受動"],
    ["270","インダクタ","回路","受動"],
    ["271","トランス","回路","受動"],
    ["272","水晶振動子","回路","受動"],
    ["273","フェライトビーズ","回路","受動"],
    ["274","ダイオード","回路","能動素子"],
    ["275","BJT","回路","能動素子"],
    ["276","MOSFET","回路","能動素子"],
    ["277","IGBT","回路","能動素子"],
    ["278","SCR/TRIAC","回路","能動素子"],
    ["279","フォトカプラ","回路","能動素子"],
    ["280","増幅","回路","アナログ機能"],
    ["281","フィルタ","回路","アナログ機能"],
    ["282","発振","回路","アナログ機能"],
    ["283","比較器","回路","アナログ機能"],
    ["284","基準電圧","回路","アナログ機能"],
    ["285","電流センス","回路","アナログ機能"],
    ["286","リニアレギュレータ","回路","電源"],
    ["287","降圧","回路","電源"],
    ["288","昇圧","回路","電源"],
    ["289","昇降圧","回路","電源"],
    ["290","絶縁型","回路","電源"],
    ["291","チャージポンプ","回路","電源"],
    ["292","LDO+DC-DC複合","回路","電源"],
    ["293","論理ゲート","回路","デジタル"],
    ["294","フリップフロップ","回路","デジタル"],
    ["295","カウンタ","回路","デジタル"],
    ["296","シフトレジスタ","回路","デジタル"],
    ["297","マルチプレクサ","回路","デジタル"],
    ["298","LUT","回路","デジタル"],
    ["299","ステートマシン","回路","デジタル"],
    ["300","クロックツリー","回路","デジタル"],
    ["301","リセット回路","回路","デジタル"],
    ["302","ADC","回路","変換・境界"],
    ["303","DAC","回路","変換・境界"],
    ["304","レベルシフタ","回路","変換・境界"],
    ["305","絶縁","回路","変換・境界"],
    ["306","ドライバ","回路","変換・境界"],
    ["307","TVS","回路","保護"],
    ["308","ヒューズ","回路","保護"],
    ["309","ポリスイッチ","回路","保護"],
    ["310","逆接続保護","回路","保護"],
    ["311","過電流/過熱保護","回路","保護"],
    ["312","ピンヘッダ/ソケット","コネクタ","物理 — 電気"],
    ["313","JST","コネクタ","物理 — 電気"],
    ["314","Molex","コネクタ","物理 — 電気"],
    ["315","Dupont","コネクタ","物理 — 電気"],
    ["316","ターミナルブロック","コネクタ","物理 — 電気"],
    ["317","バナナプラグ","コネクタ","物理 — 電気"],
    ["318","SMA/BNC/U.FL","コネクタ","物理 — 電気"],
    ["319","XT60/XT30","コネクタ","物理 — 電気"],
    ["320","D-sub","コネクタ","物理 — 電気"],
    ["321","IDC","コネクタ","物理 — 電気"],
    ["322","FFC/FPC","コネクタ","物理 — 電気"],
    ["323","M.2","コネクタ","物理 — 電気"],
    ["324","PCIe","コネクタ","物理 — 電気"],
    ["325","DIMM","コネクタ","物理 — 電気"],
    ["326","USB","コネクタ","物理 — 汎用"],
    ["327","HDMI","コネクタ","物理 — 汎用"],
    ["328","DisplayPort","コネクタ","物理 — 汎用"],
    ["329","RJ45","コネクタ","物理 — 汎用"],
    ["330","RJ11","コネクタ","物理 — 汎用"],
    ["331","3.5mmジャック","コネクタ","物理 — 汎用"],
    ["332","SATA","コネクタ","物理 — 汎用"],
    ["333","電源DCジャック","コネクタ","物理 — 汎用"],
    ["334","M12円形","コネクタ","物理 — 産業"],
    ["335","DINレール端子","コネクタ","物理 — 産業"],
    ["336","Kelvin","コネクタ","物理 — 産業"],
    ["337","テストポイント","コネクタ","物理 — 産業"],
    ["338","プローブクリップ","コネクタ","物理 — 産業"],
    ["339","UART","コネクタ","通信プロトコル"],
    ["340","SPI","コネクタ","通信プロトコル"],
    ["341","I²C","コネクタ","通信プロトコル"],
    ["342","I³C","コネクタ","通信プロトコル"],
    ["343","CAN","コネクタ","通信プロトコル"],
    ["344","RS-232/422/485","コネクタ","通信プロトコル"],
    ["345","1-Wire","コネクタ","通信プロトコル"],
    ["346","JTAG","コネクタ","通信プロトコル"],
    ["347","SWD","コネクタ","通信プロトコル"],
    ["348","Ethernet","コネクタ","通信プロトコル"],
    ["349","USB","コネクタ","通信プロトコル"],
    ["350","LVDS","コネクタ","通信プロトコル"],
    ["351","MIPI","コネクタ","通信プロトコル"],
    ["352","API","コネクタ","ソフト的コネクタ"],
    ["353","SDK","コネクタ","ソフト的コネクタ"],
    ["354","ドライバ","コネクタ","ソフト的コネクタ"],
    ["355","ミドルウェア","コネクタ","ソフト的コネクタ"],
    ["356","メッセージブローカー","コネクタ","ソフト的コネクタ"],
    ["357","ETL","コネクタ","ソフト的コネクタ"],
    ["358","iPaaS","コネクタ","ソフト的コネクタ"],
    ["359","MCP","コネクタ","ソフト的コネクタ"],
    ["360","KiCad","ソフトウェア","EDA・設計"],
    ["361","Altium","ソフトウェア","EDA・設計"],
    ["362","LTspice","ソフトウェア","EDA・設計"],
    ["363","ngspice","ソフトウェア","EDA・設計"],
    ["364","Qucs","ソフトウェア","EDA・設計"],
    ["365","FreeCAD","ソフトウェア","EDA・設計"],
    ["366","OpenSCAD","ソフトウェア","EDA・設計"],
    ["367","Fusion 360","ソフトウェア","EDA・設計"],
    ["368","Gowin EDA","ソフトウェア","FPGA・HDL"],
    ["369","Vivado","ソフトウェア","FPGA・HDL"],
    ["370","Quartus","ソフトウェア","FPGA・HDL"],
    ["371","Yosys","ソフトウェア","FPGA・HDL"],
    ["372","nextpnr","ソフトウェア","FPGA・HDL"],
    ["373","Apicula","ソフトウェア","FPGA・HDL"],
    ["374","Verilator","ソフトウェア","FPGA・HDL"],
    ["375","GTKWave","ソフトウェア","FPGA・HDL"],
    ["376","cocotb","ソフトウェア","FPGA・HDL"],
    ["377","SymbiYosys","ソフトウェア","FPGA・HDL"],
    ["378","PlatformIO","ソフトウェア","組込み"],
    ["379","Arduino IDE","ソフトウェア","組込み"],
    ["380","STM32CubeIDE","ソフトウェア","組込み"],
    ["381","pico-sdk","ソフトウェア","組込み"],
    ["382","OpenOCD","ソフトウェア","組込み"],
    ["383","probe-rs","ソフトウェア","組込み"],
    ["384","Zephyr","ソフトウェア","組込み"],
    ["385","FreeRTOS","ソフトウェア","組込み"],
    ["386","PyVISA","ソフトウェア","計測・制御"],
    ["387","SCPI","ソフトウェア","計測・制御"],
    ["388","LabVIEW","ソフトウェア","計測・制御"],
    ["389","sigrok/PulseView","ソフトウェア","計測・制御"],
    ["390","InfluxDB+Grafana","ソフトウェア","計測・制御"],
    ["391","Node-RED","ソフトウェア","計測・制御"],
    ["392","NumPy/SciPy","ソフトウェア","数値・解析"],
    ["393","pandas","ソフトウェア","数値・解析"],
    ["394","Julia","ソフトウェア","数値・解析"],
    ["395","Octave","ソフトウェア","数値・解析"],
    ["396","R","ソフトウェア","数値・解析"],
    ["397","SageMath","ソフトウェア","数値・解析"],
    ["398","Mathematica","ソフトウェア","数値・解析"],
    ["399","Lean4/Mathlib","ソフトウェア","形式手法"],
    ["400","Coq","ソフトウェア","形式手法"],
    ["401","Isabelle","ソフトウェア","形式手法"],
    ["402","Agda","ソフトウェア","形式手法"],
    ["403","Z3","ソフトウェア","形式手法"],
    ["404","TLA⁺","ソフトウェア","形式手法"],
    ["405","Alloy","ソフトウェア","形式手法"],
    ["406","Git","ソフトウェア","開発基盤"],
    ["407","Docker","ソフトウェア","開発基盤"],
    ["408","CI/CD","ソフトウェア","開発基盤"],
    ["409","Make/CMake","ソフトウェア","開発基盤"],
    ["410","uv/poetry","ソフトウェア","開発基盤"],
    ["411","Nix","ソフトウェア","開発基盤"],
    ["412","pywinauto","ソフトウェア","自動化"],
    ["413","pyautogui","ソフトウェア","自動化"],
    ["414","Playwright","ソフトウェア","自動化"],
    ["415","Selenium","ソフトウェア","自動化"],
    ["416","AutoHotkey","ソフトウェア","自動化"],
    ["417","マイク系","PC完結メーター一覧",""],
    ["418","カメラ系","PC完結メーター一覧",""],
    ["419","モーション系","PC完結メーター一覧",""],
    ["420","電波系","PC完結メーター一覧",""],
    ["421","その他","PC完結メーター一覧",""],
    ["422","証明済み","空気中からの発電",""],
    ["423","仮説/研究段階","空気中からの発電",""],
    ["424","思弁的","空気中からの発電",""],
    ["425","arXiv / OEIS","Rei 向けコネクタ候補","実利のあるもの"],
    ["426","Mathlib / Lean4","Rei 向けコネクタ候補","実利のあるもの"],
    ["427","Zenodo / ORCID","Rei 向けコネクタ候補","実利のあるもの"],
    ["428","SEED_KERNEL","Rei 向けコネクタ候補","実利のあるもの"],
    ["429","SAT(大正新脩大藏經テキストデータベース)","Rei 向けコネクタ候補","哲学・思想系"],
    ["430","PhilPapers / Stanford Encyclopedia of Philosophy","Rei 向けコネクタ候補","哲学・思想系"],
    ["431","CiNii / J-STAGE","Rei 向けコネクタ候補","哲学・思想系"],
    ["432","保存形式","Rei 向けコネクタ候補","記憶コネクタ"],
    ["433","書き込み権限","Rei 向けコネクタ候補","記憶コネクタ"],
    ["434","忘却","Rei 向けコネクタ候補","記憶コネクタ"],
    ["435","ラムダ計算","理論","形式・数理"],
    ["436","型理論","理論","形式・数理"],
    ["437","時相論理","理論","形式・数理"],
    ["438","Homotopy 型理論 (HoTT)","理論","形式・数理"],
    ["439","量子ビット (qubit)","回路","量子"],
    ["440","Hadamard (H)","回路","量子"],
    ["441","Pauli ゲート (X/Y/Z)","回路","量子"],
    ["442","CNOT (制御 NOT)","回路","量子"],
    ["443","位相ゲート (S / T)","回路","量子"],
    ["444","Toffoli (CCNOT)","回路","量子"],
    ["445","測定 (measurement)","回路","量子"],
    ["446","リセット (reset)","回路","量子"]
  ]
}