単一のコンシューマ機でどこまで解けるか、決算と現場のどちらが正しいか、専門用語は本当に必要か。 手を動かして確かめたことを置いています。
Technical Reports
囲碁3編と将棋1編。囲碁の3編は単一の RTX 5090（Blackwell sm_120 / Core Ultra 9 285K, WSL2）による求解で、 前2編は同じマシンで律速点が逆になる対、3編目はその証明そのものを素材に、 ニューラルネットが何を持っていて何を持っていないかを測ったものです。 将棋の1編は速さではなく目的関数を疑ったもので、 規則が変わっているのにエンジンの目標が変わっていない、という話です。
Solving 7×7 Killall-Go Opening JA on a Single RTX 5090
NeurIPS 2023 の分散 killall-go ソルバ（Wu et al., Game Solving with Online Fine-Tuning）を Docker 非使用で WSL2 にネイティブ再現し、7×7 開局 JA を完全求解。判定は原著実測と一致（loss）。
コード・問題・初期モデル・設定を固定したまま計算基盤だけ 2017年世代（1080Ti×12 / 384スロット）から 2026年世代（5090×1 / 24スロット）に替わるため、世代間システムベンチマークとして読めます。 スロット当たりノード処理 2.00×、必要探索量 0.59×。後者はトレーナを同一GPUに同居させたことによる モデル配信頻度 19× の寄与と見ています。GPU律速。
Solving Cho Chikun Life-and-Death Problems on a Single RTX 5090
RZ（relevance-zone）ベースの死活ソルバ（Shih et al., IEEE ToG 2025）で趙治勲事典117問をスイープ。 ハード世代とアルゴリズム（RZS-TT / RZS-PT）だけを振る 2×2 行列で、両者の寄与を交絡なしに分離。
NN は 765,523 パラメータと極小で GPU 実利用率は約23%。つまりこれは GPU ベンチではなく
CPU世代ベンチ（Haswell 2014 → Arrow Lake 2024、L2 キャッシュ12倍）で、killall-go 編とは律速点が逆です。
USE_POTENTIAL_RZONE の決定的 segfault を特定・修正し、知識フラグが証明目的には不健全であることも示しました。
当初は28問が「手法律速」で残りましたが、スレッド数を2→20に上げるだけでこの結論は覆り、117/117 全問証明に至っています。
Right Zone, Wrong Verdict
RZ（relevance zone = 証明が依存する点集合）は現行の死活ソルバの中核ですが、 既に解けた局面にしか存在しないため大盤へスケールしません。 「NN で先読みできないか」は自然な問いでも、正解データを持っている人がほとんどいない。 第1弾で求解した JA の証明木は全証明済みノードに RZ を持っているので、それを正解に KataGo を測りました。
当初の仮説「不確実性の帯 ≒ RZ」は乱択以下で反証（AUC 0.357）。 一方で符号付き ownership は AUC 0.910 で復元し、幾何ベースライン（0.807）を明確に上回ります。 RZ は争点ではなく生死が問われる一団の潜在的勢力圏でした。 副産物として、証明済みの負例1,021件を加えた均衡集合で測ると 勝敗判定は AUC 0.411 — 順序が反転しています。同じ盤面で、 どこが戦場かは AUC 0.910、誰が勝つかは AUC 0.411。
入玉宣言法24点法における将棋AIの到達限界
プロ公式棋戦は2013年10月から24点法ですが、将棋AIは27点法を前提に作られています。 floodgate の公開棋譜 1,868,968局から相入玉 16,780局を抽出し、その差が実戦でどう現れるかを測りました。
24点法の勝ち（31点）は定義上、相手から最低4点を奪わなければ届きません。各陣営の駒の総点が27点しかないからです。 一方「敵陣に10枚」は打ち込みで点数を失わずに進みます。2つの宣言条件は難易度が正反対で、 10枚条件を満たす局面が 8.9% しかないのは難しいからではなく、既存エンジンがそれを目指していないためです。 所有31点ある側の 58% が、勝てる材料を持ちながら変換できずに終わっています。
これは振る舞いの証拠ですが、dlshogi の入玉用入力特徴には 先手28点 / 後手27点 という閾値が 焼き込まれています。27点法が、エンジンの振る舞いだけでなく入力表現の水準で 前提になっている、ということです。
副産物として、floodgate が2024年に Max_Moves を 256→512 に変えていたことが分かりました。
これだけで宣言到達率が 19.4% → 41.4% に跳ね上がるため、2024年を挟んだ年次比較は成立しません。
あわせて24点法を目的関数に持つ終盤特化エンジンを実装しています（GPL-3.0）。
Notes
日産分析ノート
日産自動車（7201）をめぐる分析ノート。決算数字の逆算と、現場からの検証。
定期巡回型回収業務における配車設計
配車設計を最適化（ルート・頻度）・予測（在庫推論）・転移（未知のマップへの適応）の三問題に分解し、 閉形式・混合整数計画・階層ベイズ・方策学習の使い分けと検証方法を論じたもの。
References
AIコーディング辞典
AIコーディングの語彙を平易な言葉に翻訳した辞典。 AI Coding Dictionary の日本語版。
中学受験 学習ガイド
理科・社会・国語・算数の出題傾向別おすすめ本リスト。
SICC 構造台帳
シンガポール国際商事裁判所の判決148件の事実認定部だけを構造化した台帳。 投資ストラクチャー47件（ビークル連鎖×法域×失敗モード）と、 訴訟という現実の敵対的攻撃を受けた条項の戦績15件（条項×帰趨×準拠法）。 載っている構造は「よく使われる」ではなく「よく揉める」の標本である点に注意。
司法試験租税法まとめノート
弘文堂『ケースブック租税法』（第6版）の第1編「租税法の基礎理論」から第3編「法人税法」までを対象に、 ロースクールの講義で扱われた 71ケースの解答とリファレンスを再構成したもの。 司法試験で租税法の成績が全国1位だった当時のノートが原本です。
法律のノートが古びるのは、本文よりも先に条文の側です。 そこで e-Gov 法令API から引用条文 111条の現行全文を取得して各ケースに折りたたみで添付し、 原本の執筆時点（2024年12月9日）から改正された 27条にバッジを付けました。 さらに税大講本（令和8年度版）および現行条文と対照して、校訂注8件を該当箇所に併記しています （給与所得控除の最低保障額 55万円→65万円、公益信託法制の整備に伴う所得税法59条・60条の改正など）。
方針として、本文は原本のままにしてあります。加筆も訂正もせず、 ズレは本文を書き換えずに注記として隣に置く。何が当時の理解で何が後の改正かが、読んだまま分かります。 判例・裁判例の内容は更新していません。
Handbooks
生成AIの社内研修で使ったハンドブック。掲載しているプロンプトはすべて実物で、コピーしてそのまま使えます。 機能名ではなく頼み方を持ち帰ってもらうことを目的に組んであります。
Gemini 実務活用ハンドブック
Gmail・カレンダー・スプレッドシート・ドライブ。すでに毎日開いている画面のどこで効くのかを、実演20項目でたどったもの。 Google Workspace 連携マップから Deep Research・Canvas・Gems まで。
Copilot & ChatGPT 実務活用ハンドブック
Microsoft 365 Copilot と ChatGPT を、どちらを開くかの線引きから整理したもの。 社内ナレッジ検索・会議・週報・Office 三種は Copilot、出力制御と思考は ChatGPT。 併用の型（2つをつなぐリレー）と、越えてはいけない線も扱っています。
職種別プロンプト集
営業・マーケ・人事・バックオフィスの型を職種別に。道具は問わず、Gemini でも Copilot ＋ ChatGPT でもそのまま動きます。 「ないものは書かない」を制約に入れる、評価と修正を1ターンにしない、といった外すと壊れる作法を先に置いてあります。
Case Law
判例・裁判例を分野や利用場面から引くためのページと、個別論点の検証メモ。
破棄判例に学ぶ — 最高裁の考え方
最高裁の破棄判例を破棄事由と分野から引く。
音楽フェスと著作権
著作権・商標の裁判例を利用シーンから引く。
商法536条3項の任意規定性 — 判例DB検証
匿名組合・審級チェーンの検証メモ。
飲食店 店舗賃貸借の判例争点
借地借家法の争点整理。
株式等に対する差押命令申立書の審査
振替株式・株券不発行株式の執行事務と関連判例（マニュアル補遺）。
関連: 司法試験租税法まとめノート（References）
Chemical Regulation
化学物質 法規制 横断検索
特化則・有機則・安衛法・毒劇法・PRTR を1検索で横断。全77,707物質、裾切り値と GHS つき。
SDS AI判定
SDS を読み込ませて法規制の該当を判定（要ログイン）。
触媒カタログ
遷移金属触媒・有機分子触媒 179件を反応から引く。構造式・GHS・実測収率・結晶構造つき。
Daily
media.patentllm.org
公式リリースと変更履歴を毎日追う技術メディア。 llama.cpp / vLLM / Ollama、Anthropic・Gemini の API、MCP、NVIDIA・AMD、SQLite、Rust・Cloudflare、 そして将棋・囲碁・チェスのエンジン。RSS。
Services
| PatentLLM | 特許検索 |
| HanreiLLM | 判例検索 |
| SubsidyDB | 補助金データベース |
| HoureiLLM | 法令×判例の横断セマンティック検索。日本・米国（州法/連邦 USC・CFR）・各国（要ログイン） |
| PatentLLM AI | 特許の検索・分析・ランドスケープ（要ログイン） |
| HanreiLLM DB | 判例データベース（Gemini による分析・ファクトチェックつき）（要ログイン） |
| Nemotron Apps | ローカル LLM（Nemotron 9B）のチャット・履歴ダッシュボード（要ログイン） |