用語集

カスタム水冷ポンプ比較。Laing D5(Xylem製・4800rpm max・1500L/h・静音・低ヘッド)・D5 Strong(モーター強化)・D5 Next(Aquacomputer・OLED+sensor内蔵)・Laing DDC(高ヘッド圧・2800-4800rpm・騒音大・低流量)・Bitspower D5 Vario・EKWB D5 PWM・Alphacool D5・SFF向けDDC人気・大型水冷D5・Reservoir+Pump Combo・2026年D5 PWM/Next定番。

デジタルビジュアルインターフェース。VGAの後継として開発されたデジタル映像伝送規格。HDMIの前身となった技術で、現在はレガシー化が進む

概要

Apache Software Foundation が管理する深層学習コンパイラスタック。モデルの計算グラフを入力として受け取り、CPU・GPU・NPU・FPGA 等の多様なハードウェア向けに自動最適化されたコードを生成する。AutoTVM と Meta Schedule による自動チューニングが特徴。

2023年Apache TVM project + OctoML共同発表TVM Unity・Industry-leading Apache TVM multi-target AI compiler + Industry-leading Relax IR Industry-emerging unified IR paradigm + Industry-leading TVM Unity multi-target compilation Industry-leading evolution・Industry-leading Apache TVM 2017年UW Tianqi Chen Pioneer + Industry-leading multi-target CPU/GPU/NPU/Edge AI compiler Industry-leading position。

松下 / 東芝 / 日立連合が 1997 年策定の DVD 系書換可能規格。10 万回書換可能・カートリッジ収納で信頼性高く、業務用バックアップ・PC データ保存に 2000-2010 年代利用、Blu-ray / USB に後継された規格。

2017年8月28日DeepL公開Translator。Pro 業界Pro Mainstream Neural Machine Translation Top + Pro Linguee辞書基盤 + Pro Jaroslaw Kutylowski Pro CEO主導 + Pro 32+言語対応 + Pro $50M Series B + Pro $2B+ Valuation Pro Famous + 2024-Pro DeepL Voice + 2025-Pro DeepL Write Pro公開 + 累計2009-2025年16年Heritage。

コスパ空冷tower(2024-2026年)。DeepCool AK620(Dual Tower 6 heatpipe・2x 120mm PWM・260W TDP・$60・¥8000)・AK620 Digital(LCD表示・$80)・Thermalright Phantom Spirit 120 SE($35・低価格王・220W TDP・Asassin同等)・Phantom Spirit EVO・Peerless Assassin 120(legacy・$40)・Frost Spirit 140 V3(140mm)・Aqua Elite($25 budget)・Thermalright Burst Assassin 120/140・Noctua NH-U12A($110)・2026年 Phantom Spirit/AK620 ¥8000以下定番。

2024年Deepgram公開Nova-3 ASR。Pro 業界Pro Mainstream商用Streaming ASR最高速度 + Pro 米国San Francisco Deepgram + Pro 2012-Deepgram設立 + Pro 36+言語対応 + Pro <300ms Latency + Pro $0.0043/min + Pro Multilingual Code-Switching + 累計2012-2026年14年Heritage継承代表機。

DeepSeek OSS LLM(中国High-Flyer Quant・2024-2025)。DeepSeek V3(671B MoE・37B active・2024年12月・API $0.14/1M)・DeepSeek R1(Reasoning・o1競合・2025年1月・MIT License)・DeepSeek R1 Distill(Llama/Qwen base 7B-70B蒸留)・FP8 Training・Mixture-of-Experts 256 expert・推論$2.19/M token(Cache hit$0.14)・Ollama: deepseek-r1:32b-q4 for local・OpenAI o1並benchmark + OSS重要性・2026年 Enterprise OSS採用加速、GPU需要押し下げ論。

DeepSeek発中国LLMシリーズ。DeepSeek V3/V3.1(671B MoE・37B active)・R1(推論特化・OpenAI o1対抗)・R1 Distill(1.5/7/14/32/70B)・V3-0324・Coder V2/V3・Prover・VL2・Janus Pro・Math・DeepSeek V4(2026年Q2予定)、FP8 training・Multi-head Latent Attention(MLA)独自、2026年OSS MoE定番。

DeepSeekが2025年5月28日にリリースした推論モデルの大幅アップデート版。671B MoEアーキテクチャを維持しながらAIME 2025で72.6%・LiveCodeBench v5で57.4%と前世代比で大幅向上。MIT Licenseで完全オープンソース公開。

DeepSeekが独自開発したMixture-of-Expertsのエキスパート割り当て機構。細粒度エキスパート分割・共有エキスパート・補助損失フリーバランシングを組み合わせ、DeepSeek-V2/V3の高い性能と推論効率を支える中核技術。従来MoEに比べ負荷不均衡問題を解消しながら専門化を促進する。

DeepSeek AIが2024年5月に発表した形式定理証明（Formal Theorem Proving）特化LLM。Lean 4形式言語でMathLibベースの数学定理を機械検証可能な形で証明し、miniF2F-testで64.2%・ProofNet-testで25.3%を達成。V1.5では88.9%まで向上。

DeepSeekが2024年6月に公開したMoEアーキテクチャ採用のコード生成特化LLM。総パラメータ236B（アクティブ21B）で336の対応プログラミング言語を持ち、128Kトークンのコンテキストウィンドウを備える。

DeepSeek 2025年1月発表 OSS reasoning モデル。OpenAI o1 同等性能・MIT ライセンス・$2.19/1M・AIME 79.8%

2024年11月DeepSeek発表R1 Lite Preview・Industry-leading reasoning preview + Industry-leading 91.6 MATH benchmark + Industry-leading 52.5 AIME + Industry-leading DeepSeek R1 Lite Preview reasoning LLM preview 2024。

DeepSeek が 2025 年 1 月に公開した推論特化型オープンソース LLM。DeepSeek V3 をベースに強化学習で Chain of Thought 能力を獲得し、o1 に匹敵する数学・コーディング性能を実現。

中国のDeepSeekが2025年1月に公開したオープンソース推論モデル。強化学習（GRPO）で推論能力を獲得し、OpenAI o1と同等の性能をMITライセンスで提供。

DeepSeekが2025年1月に公開したオープンソース推論モデル。強化学習のみで推論能力を獲得し、OpenAI o1と同等性能を無料公開したことで世界に衝撃を与えた。