AI Tech Journal · JA / EN

最新のAI関連技術を、
徹底解説。

出たばかりの論文を、その日のうちに。基礎理論から半導体・業界の勢力図まで、前提知識ゼロで読める技術誌。

どこから読む目的から選べます

教科書 42 章 体系 6 分野 学生モード 48 単元 論文精読 6 本 動かす 触って動かす図 用語集 1240 語

今日の新着毎日更新

📄 2026-10-21 · 論文解説 Refusal in Language Models Is Mediated by a Single Direction — 「断る」はモデル内部の1本の方向だった Refusal in Language Models Is Mediated by a Single Direction チャットモデルが有害な依頼を断る振る舞いは、残差ストリームの中の1本の方向で仲介されている。有害・無害の指示での活性化の差分 論文解説 · ★ ◆ 2026-10-13 検証データの割合は何対何にするのか — 振って測ったら、効いていたのは割合ではなく件数だった 手元のデータを訓練と検証に分けるとき、8:2 なのか 7:3 なのか。候補30通りのモデル選択を2,000回くり返して、割合 機械学習の基礎 ◆ 2026-09-27 ダークシリコンとは — 置けるのに、同時に光らせられない チップに置けるトランジスタは増え続けるのに、同時に動かせる割合は世代ごとに下がる——これがダークシリコンです。なぜそうなるの スケーリングと電力 ◆ 2026-09-23 · 論文解説 ゼロから学ぶフーリエ変換 — 信号を純音の重ね合わせとして読む Théorie analytique de la chaleur 時間軸に描かれた信号は、本当に知りたいことを隠している——そこにどの周波数が、どれだけ入っているのか。この記事はフーリエ変換 数値計算 🎲 2026-09-23 · 論文解説 ゼロから学ぶベイズの定理 — 99%正確な検査が、なぜコイン投げになるのか An Essay towards solving a Problem in the Doctrine of Chances ベイズの定理は条件付き確率をひっくり返す4つの記号であり、同時に人が確率をいちばん取り違える場所でもある。この記事は条件付き 確率・統計 ◆ 2026-08-27 LDPCとTurbo符号 — 5Gと宇宙探査を支える誤り訂正 シャノンが1948年に「存在する」と証明し、45年間だれも作れなかった符号。軟判定・対数尤度比・信念伝播という3つの道具で、 符号化の理論 · ★ 🔐 2026-09-23 · 論文解説 ゼロから学ぶRSA暗号 — 公開鍵を支える数論 "Rivest RSAは「掛けられるが外せない鍵」を公開できるようにする。この記事は合同算術から積み上げる——鍵生成、2回のべき乗剰余、そし セキュリティ ◆ 2026-10-21 · 論文解説 Holi-World — 一人称の録画から「部屋の台帳」を自動で作り、空間と時間の推論を教える Holi-World: Building Holistic World Intelligence from Human-Ego Experience 一人称視点の撮影装置で撮った録画から、部屋の形・置かれた物・手で動かされた物の軌跡を自動で台帳にし、約8万問の空間・時間QA 時系列データ系 · ★ 🏭 2026-08-29 半導体サプライチェーン全体地図 — 砂からチップまで誰が何を握るか 1個のチップが世界を何周もして生まれるまでを、設計(EDA/IP)→製造装置→材料→ファウンドリ→OSATの順に1本で通す。 サプライチェーン ◆ 2026-08-27 連立方程式の解き方 — 直接法と反復法 橋のたわみも部屋の温度もガウス過程回帰も、計算機にやらせる段では Ax=b という同じ形に化けます。消していく直接法（LU） 数値計算 · ★ 📐 2026-09-13 · 論文解説 ゼロから学ぶ主成分分析（PCA） — 固有ベクトルはデータの軸 On Lines and Planes of Closest Fit to Systems of Points in Space 相関したデータの雲には「木目」がある——いちばん大きくばらつく方向だ。主成分分析（PCA）はその木目を見つける仕掛けである。 線形代数 ◆ 2026-08-25 HLSとDASH — 動画が届くまでのプロトコル 配信されている動画は「流れて」いるのではなく、数秒ぶんの小さなファイルを順番にダウンロードしているだけです。セグメントとマニ 現場のメディア実務 ◆ 2026-08-29 上流工程を1から — 要件定義で勝負がつく理由 要件定義→基本設計→詳細設計という流れは、なぜこの順番なのか。間違いを見つけるのが遅れるほど直す費用が指数的に膨らむ「分岐の 開発プロセス ◆ 2026-10-20 · 論文解説 Dynamic Band Splitting — 音源分離の「帯の仕切り」を、混ざった音ごとに学習で動かす Learning Where to Split: Dynamic Band Splitting for Audio Source Separation 帯域分割型の音源分離は、人が決めた周波数の仕切りをどの音にも使う。DBS は帯の本数を固定したまま、仕切りの位置と幅を混ざっ 音声系 · ★ ◆ 2026-09-06 RAG vs ファインチューニング — どちらを、いつ選ぶか LLMを賢くする二大手法を、知識の鮮度・コスト・幻覚・データ量の4軸で比べる。比喩→仕組み(式)→動く図→判断表→現場の落と RAG・検索拡張 🏭 2026-08-29 半導体材料の上流 — ウェハ・フォトレジスト・特殊ガス 砂だったシリコンが「9が11個」の純度になり、1本の巨大な単結晶として引き上げられ、光で溶ける化学膜を塗られるまで。CZ法の サプライチェーン ◆ 2026-08-27 並行処理を1から — ロック・アトミック・メモリモデル データ競合はなぜ起きるのか、なぜテストで再現しないのかを前提知識ゼロから解説。ロック・アトミック操作・CAS・メモリモデルま 並列・分散 · ★ ◆ 2026-09-13 · 論文解説 ゼロから学ぶ勾配降下法 — 学習の幾何学 An overview of gradient descent optimization algorithms 「学習する」モデルは、全体を見渡せない曲面の上を、坂を下るように歩いている。この記事はその1枚の絵から勾配降下法を組み立てる 微分と最適化の数学 ◆ 2026-08-25 · 論文解説 Opusはなぜ最強か — 現代音声コーデックの設計 Definition of the Opus Audio Codec 話し声用と音楽用に分かれていた音声コーデックを、SILKとCELTという2つのエンジンを1本のビットストリームに束ねて統合し 音声圧縮 · ★ ◆ 2026-08-29 要件定義の技術 — 「言われた通り」が失敗する理由 依頼者の言葉をそのまま実装すると、なぜ動くのに使われないものができるのか。顕在要求と潜在要求、ユースケース、非機能要件の数値 開発プロセス 🏋 2026-10-12 · 論文解説 Transformers Stop Thinking Too Early — 3行で止まる参照追跡を、1層のランク8 LoRAが50行へ伸ばす Transformers Stop Thinking Too Early, and a Tiny LoRA Fixes It 事前学習済みLLMは文脈内の変数参照を2〜3行しかたどれない。全重みを凍結したまま初期の1層にランク8のLoRA（約6.5万 学習手法・アライメント · ★ 🏭 2026-08-29 製造装置メーカーの世界 — ASML・AMAT・TEL・Lamは何を作っているか チップ製造は「積む・写す・削る・洗う」の反復で、その1動作ずつに専用の機械と専門メーカーがいる。工程と装置の対応を整理したう サプライチェーン · ★ ◆ 2026-08-27 【実装】自動微分を自作する — 100行のミニPyTorch Valueクラス1つから始めて、演算子オーバーロード・トポロジカル順序・勾配の加算までを組み上げ、その上にニューラルネットを 数値計算 · ★ 🎲 2026-08-27 · 論文解説 統計学習理論 — なぜ学習は汎化するのか Understanding Deep Learning Requires Rethinking Generalization 有限個の例しか見ていないのに、なぜ未知のデータに答えられるのか。Hoeffdingの不等式からVC次元・PAC学習まで汎化の 確率・統計 · ★ ◆ 2026-08-25 · 論文解説 ニューラル圧縮 — 学習するコーデック End-to-end Optimized Image Compression JPEGの量子化テーブルもH.264の予測モードも、人間が実験して手で決めた表でした。ニューラル圧縮はその設計自体をデータか 動画圧縮 · ★ ◆ 2026-08-29 見積もりとスコープ — 不確実性コーンと握り方 「いつ終わりますか」に点で答えるから外れる。不確実性コーン、三点見積もり、バッファが足し算にならない理由、参照クラス予測、そ 開発プロセス · ★ 📄 2026-10-11 · 論文解説 From Evidence to Action: How Tool-Using Agents Fail — 失敗の診断指標と介入実験を本文から読む From Evidence to Action: How Tool-Using Agents Fail 道具を使うエージェントの失敗を「調べる・動く・つなぐ」の鎖に分けて測ったSafeActBench論文を、本文と付録まで読んで 論文解説 · ★ 🏭 2026-08-29 IPコアとファブレス — Armが1円も製造せず世界を握る仕組み 設計図だけを売る会社が、なぜチップ産業の中心に座れるのか。ライセンス料とロイヤリティの構造、自社開発との損益分岐出荷量、ソフ サプライチェーン · ★ ◆ 2026-08-26 · 論文解説 確率的データ構造 — 数えずに数える Space/Time Trade-offs in Hash Coding with Allowable Errors (Bloom ブルームフィルタ・HyperLogLog・Count-Minスケッチを前提知識ゼロから解説。「少しだけ間違える権利」と引き換 データ構造 · ★ 🎲 2026-08-27 · 論文解説 最適輸送 — 分布を運ぶ数学 Sinkhorn Distances: Lightspeed Computation of Optimal Transport 2つの確率分布の距離を「砂を運ぶ最小コスト」として測るのが最適輸送。Wasserstein距離の定義から、実用の主役であるS 確率・統計 · ★ ◆ 2026-08-25 · 論文解説 ニューラル音声コーデック — EnCodecとLLM音声の土台 High Fidelity Neural Audio Compression MP3やOpusが人手で「捨て方」を設計したのに対し、ニューラル音声コーデックは符号化そのものを学習し、音を有限個の整数トー 音声圧縮 · ★ ◆ 2026-08-29 アーキテクチャ設計 — 後から変えられないものを見分ける 設計判断のうち、後から安く取り消せるものと二度と戻せないものをどう見分けるか。可逆性の測り方、ADR（設計決定記録）の書き方 開発プロセス · ★ 🤖 2026-10-10 · 論文解説 SafeActBench — 道具を使うエージェントは「実行」より手前で失敗する From Evidence to Action: How Tool-Using Agents Fail 「結果が合っていた」は「根拠があって動いた」ことを意味しない。656件のSafeActBenchと10構成の実測で、失敗の多 エージェント 🏭 2026-08-29 EDAツールを1から — チップは「ソフトウェアで書かれている」 最先端チップの数百億個のトランジスタは、誰も手で並べていない。設計者が書くのは図形ではなく文章（RTL）で、それを論理合成・ サプライチェーン · ★ ◆ 2026-08-26 近似アルゴリズム — 厳密を諦めて保証を取る 最適解を諦める代わりに「最悪でも◯倍以内」という値札を付ける技術。近似比の定義から、貪欲アルゴリズムの保証を最後まで証明する 計算量と評価 · ★ 🎲 2026-08-27 モンテカルロ法を1から — 積分をサイコロで解く 解けない積分は、乱数を降らせて平均を取れば近似できます。大数の法則がなぜ 1/√N の遅さを生むのか、重点サンプリングで何が 確率・統計 · ★ ◆ 2026-08-25 WebP・AVIF・JPEG XL — 画像コーデック世代交代 JPEGより明らかに効率の良い後継が3つも出たのに、Webの画像はいまだJPEGだらけです。新顔3つの出自、なぜ静止画コーデ 画像圧縮 · ★ ◆ 2026-08-29 AI時代の上流工程 — コードが安くなると何が価値になるか 実装コストが下がると、費用の内訳のどこが残り、何が相対的に高くなるのか。決める費用と手戻り費用の関係を式で押さえたうえで、A 開発プロセス · ★ 📄 2026-10-10 · 論文解説 EVISKILL — エージェントの手順書を「再生できる証拠」で書き換える EVISKILL: Grounding Skill Evolution in Replayable Evidence LLMエージェントの手順書（スキル）を経験から自動で改訂するとき、修正ごとに根拠となる実行区間を記録し、その区間だけを再実行 論文解説 · ★ 🏭 2026-08-29 半導体の地政学 — 輸出規制とサプライチェーン再編を技術から読む チョークポイントはなぜそこにできるのかを、物理・固定費・暗黙知の3条件から説明する。規制が数値のしきい値で書かれる技術的理由 サプライチェーン · ★ ◆ 2026-08-25 NP完全を1から — 「解けない」ではなく「検証は速い」 NPはNon-Polynomialの略ではありません。「答えを見せられたら速く確認できる」というクラスの話です。P vs N 計算量と評価 🎲 2026-08-27 · 論文解説 カーネル法とガウス過程 — NN以前の王者 Practical Bayesian Optimization of Machine Learning Algorithms 深層学習が来る前、分類の王座に座っていたのはSVMとカーネル法だった。高次元へ持ち上げるコストをタダにする「カーネルトリック 確率・統計 · ★ ◆ 2026-08-22 動き補償を1から — 動画圧縮の9割はここ 動画のビットの行き先を決めているのは、変換でも量子化でもなく入口の予測です。ブロックマッチングが本当は何を最小化しているのか 動画圧縮 · ★ ◆ 2026-08-27 ファイルシステムを1から — 「保存した」は何を保証するか エディタが「保存しました」と言った直後に電源が落ちたら、そのファイルは残るのか。図書館の目録という比喩から出発して、ブロック OSと実行環境 · ★ ◆ 2026-10-09 · 論文解説 STEPQuant — Delta則の再帰状態は「いつ・どこの」量子化誤差が効くのか STEPQuant: When and Where Errors Matter in Delta-Rule Recurrent State Quantization 線形注意の再帰状態は固定サイズでも、同時リクエストが増えると重みより大きなメモリを食う。素直に低ビット化すると誤差が更新のた 時系列データ系 · ★ 🔬 2026-08-27 NANDフラッシュの物理 — 電子を閉じ込めて記憶する 電源を切っても消えないのはなぜか。絶縁体の島に電子を閉じ込めてしきい値電圧をずらす、というたった1つの原理から、トンネル書き デバイス物理 · ★ ◆ 2026-08-25 焼きなましと遺伝的アルゴリズム — 厳密に解けない時の実務 最適解を保証しない探索法が、なぜ現場の配送計画やスケジューリングを支えているのか。局所探索の3点セットから、焼きなましの温度 探索と最適化 · ★ ◆ 2026-08-27 ヤコビアンとヘッセ行列 — 多変数の微分を図で ヤコビアンは「その場の拡大鏡」、ヘッセ行列は「その場の曲がり具合」。局所線形化から、固有値による地形の分類、ニュートン法が理 微分と最適化の数学 · ★ ◆ 2026-08-22 MP3と心理音響 — 「聞こえない音」の科学 MP3が捨てているのは「無い音」ではなく「有るのに聞こえない音」です。最小可聴閾・臨界帯域・マスキングの広がりという耳の穴を 音声圧縮 ◆ 2026-08-27 · 論文解説 分散データベース — CAP・レプリケーション・合意 In Search of an Understandable Consensus Algorithm (Raft) — Diego Ongaro データベースを2台に増やした瞬間、「どちらが正しいのか」という新しい問いが生まれます。レプリケーション・クォーラム・CAP定 データベース · ★

新着の論文・モデルを見る →

元の論文を読んで書いた解説。各記事に論文ページとPDFへのリンクを付けています。

◉AI248

  1. 論文解説: Holi-World — 一人称の録画から「部屋の台帳」を自動で作り、空間と時間の推論を教える ★ 会員 arXiv:2610.26549
  2. 論文解説: Refusal in Language Models Is Mediated by a Single Direction — 「断る」はモデル内部の1本の方向だった ★ 会員 arXiv:2406.11717
  3. 論文解説: Dynamic Band Splitting — 音源分離の「帯の仕切り」を、混ざった音ごとに学習で動かす ★ 会員 arXiv:2610.14993
  4. 論文解説: Transformers Stop Thinking Too Early — 3行で止まる参照追跡を、1層のランク8 LoRAが50行へ伸ばす ★ 会員 "arXiv:2609.36585
  5. 論文解説: From Evidence to Action: How Tool-Using Agents Fail — 失敗の診断指標と介入実験を本文から読む ★ 会員 arXiv:2610.07753

すべて見る 248記事 →

▣半導体4

  1. CPUパイプラインと分岐予測 — 1クロックの中の工場 ★ 会員 arXiv:1801.01203
  2. シストリックアレイ — TPUの心臓部を1から ★ 会員 arXiv:1704.04760
  3. GPUのメモリ階層 — HBM・SRAM・レジスタと「移動が支配する」現実 無料 arXiv:2205.14135
  4. AIアクセラレータの設計様式 — GPU/NPU/TPUは何が違うのか ★ 会員 arXiv:1704.04760

◇計算アルゴリズム5

  1. ゼロから学ぶフーリエ変換 — 信号を純音の重ね合わせとして読む 無料 Fourier 1822
  2. 確率的データ構造 — 数えずに数える ★ 会員 "doi:10.1145/362686.362692
  3. FFTを1から理解する — なぜ畳み込みが掛け算になるのか ★ 会員 "doi:10.1090/S0025-5718-1965-0178586-1
  4. グラフアルゴリズムを1から — 最短経路とその応用 無料 arXiv:1603.09320
  5. ハッシュと近傍探索 — ベクトル検索の下地 無料 arXiv:1603.09320

∫AIのための数学14

  1. ゼロから学ぶベイズの定理 — 99%正確な検査が、なぜコイン投げになるのか 無料 Bayes 1763
  2. ゼロから学ぶ勾配降下法 — 学習の幾何学 無料 arXiv:1609.04747
  3. ゼロから学ぶ主成分分析（PCA） — 固有ベクトルはデータの軸 無料 Pearson 1901
  4. 圧縮＝予測＝知能 — 情報理論から見るLLM ★ 会員 arXiv:2309.10668
  5. 対称性と等変性 — 群論がネットワーク設計に効く ★ 会員 arXiv:1602.07576

すべて見る 14記事 →

◐メディアと圧縮3

  1. ニューラル音声コーデック — EnCodecとLLM音声の土台 ★ 会員 arXiv:2210.13438
  2. ニューラル圧縮 — 学習するコーデック ★ 会員 arXiv:1611.01704
  3. Opusはなぜ最強か — 現代音声コーデックの設計 ★ 会員 RFC 6716

⬢システム基盤3

  1. ゼロから学ぶRSA暗号 — 公開鍵を支える数論 無料 "Rivest
  2. 分散データベース — CAP・レプリケーション・合意 ★ 会員 "USENIX ATC 2014
  3. LLMセキュリティ — プロンプトインジェクションと防御 ★ 会員 arXiv:2302.12173
★ 有料会員になると、全ページが読めます

記事・教科書・学習単元・論文精読のすべてが読み放題。月額¥490、いつでも解約できます。

会員について
✉ 気になるトピックの更新をメールで

自動運転・AIモデル・AIエージェント・半導体など、選んだ分野に新しい論文解説が出たらお知らせします。無料の方でも登録できます。

トピックを選ぶ

ほかの入口

◈ ライブラリ分野ごとに、教科書の章・基礎記事・論文解説・動くラボを1つの巻にまとめています。 📖 教科書42章 🔮 動かす手で動かして確かめる 🏭 業界から業界ごとの技術と勢力図