ソフトウェア・UI特許

1983 年 12 月 23 日、米国カリフォルニア州 Cupertino の Tymshare Inc に所属していた Norman Hardy（KeyKOS / GNOSIS のアーキテクト）は、譲渡人として米国に『Computer security system』を出願し、1986 年 4 月 22 日に米国特許 US4584639A として成立した。本特許は『**capability-based data processing system において、ドメイン（処理単位）・キー（権限単位）・カーネル（権限解決の唯一の機関）・ファクトリ（新ドメイン生成機構）・非感覚キー（情報を引き出せる権限）の組合せ**』を Claim 1 で囲い込み、capability cage の特許化成功例として歴史的に重要。1984-02-06 Tymshare に譲渡、1985-08-01 McDonnell Douglas Corporation に譲渡、1985-12-02 Key Logic Inc に譲渡、という 3 段階の譲渡履歴を経た。本メモは Wikipedia EN KeyKOS / Norman Hardy / Capability-based security 各項・Mark S. Miller の Medium 追悼記事『Norm Hardy's Place in History』・Semantic Scholar『Security in KeyKOS』Rajunas/Hardy 論文・Justia Patents Search Norman Hardy 検索結果・Confused Deputy 論文（Hardy 1988）・Google Patents US4584639A の 6 件二次資料で、KeyKOS の起点特許としての位置づけを verify。Day 28 / Cage Patents 軸 SW Open 終端メモとして、ep97 Yellin/Gosling 型システム cage（情報整合性で囲い込む、特許化成功）／ep98 Bell-LaPadula 政策モデル cage（情報フロー方向で囲い込む、特許化不在）／本メモ Hardy capability cage（権限の物理的配布で囲い込む、特許化成功）の SW Cage 3 形態を完成させる。

Day 28 / Cage Patents 軸 SW Open メモ。1972 年夏、米国空軍 Electronic Systems Division（USAF ESD、Hanscom Air Force Base 所在）の契約のもとで、MITRE Corporation の David Elliott Bell（当時 27 歳）と Leonard J. LaPadula は、軍用多レベルセキュリティの数学的形式化に着手した。1973 年 11 月、MITRE Technical Report 2547 Volume I『Secure Computer Systems: Mathematical Foundations』として政府公開、DTIC Accession Number AD-770768、Air Force Report Number ESD-TR-73-278 で永続アーカイブされた。Bell-LaPadula モデル（BLP）は (1) Simple Security Property「no read up」（高機密度を低クリアランスで読まない）、(2) ★ Property「no write down」（高クリアランスから低機密度に書かない）、(3) Discretionary Security Property（個別アクセス制御マトリクス）の 3 公理を中核とする。本メモは Wikipedia EN Bell-LaPadula model 項・DTIC AD-770768 公式 PDF・Internet Archive ファイルテキスト・Bell 自身の 2005 ACSAC 回顧論文『Looking Back at the Bell-La Padula Model』・Springer Encyclopedia of Cryptography and Security 項の 5 件二次資料で BLP モデルが MITRE TR と CACM 1976 論文として公開されながら、関連特許番号への言及が一切ないことを verify。Day 25 ep89 SW-003 BBN IMP の『ARPA 契約 → Internet STD 39 として 57 年継続公開』形態と並ぶ『適格性壁 (c) 政府契約による公開強制形態』第 2 弾。Cage Patents 軸 SW では『情報理論的政策モデルが特許化されなかった不在パターン』として、ep97 Yellin/Gosling 型システム cage 特許化成功（US5740441A）と ep99 Hardy KeyKOS capability cage 特許化成功（US4584639）の中央に位置づけ、SW Cage 3 形態（型 cage 成功 / 政策 cage 不在 / capability cage 成功）の中央メモ。

1994 年 12 月 20 日、Sun Microsystems の Frank Yellin と James A. Gosling は『Bytecode program interpreter apparatus and method with pre-verification of data type restrictions and object initialization』を米国に出願し、1998 年 4 月 14 日に米国特許 US5740441A として成立した。これは Java Virtual Machine の bytecode verifier の核を Claim 化した特許で、現代の JVM・Android Runtime・WebAssembly 検証器・.NET CLR にまで連続する『実行前の型検査による sandbox』設計思想の起点である。Day 27 で揃えた物理 Cage 6 形態（ep70 電子 / ep71 電荷 / ep72 分子静的 / ep94 電気 / ep95 分子動的 / ep96 容器）に対し、本特許は『型情報そのものを cage の壁にする』論理 Cage の SW 起点ノートとして位置づける。Claim 1 verbatim は 18 個の従属請求項を率い、(B1) operand stack と registers の data type snapshot 保持、(B2A-D) 仮想 emulation による successor 命令への型情報伝播、(B3) marked instruction の反復処理を 4 ステップの formal な preprocessing 手続きとして囲い込む。Original Assignee Sun Microsystems Inc は 2010 年 1 月 27 日に Oracle Corporation に買収され、Current Assignee は Oracle America Inc。Day 28 Cage Patents 軸 SW Open 起点ノートとして、(1) Claim 1 verbatim の型 cage としての読み、(2) Day 25 ep88 SW-002 FORTRAN 1957 / ep89 BBN IMP 1969 / ep90 Smalltalk 1972 / ep91 LISP 1958 の『適格性壁』形態との対比、(3) Java sandbox の同時代の特許戦略（Sun が言語自体は無料公開しながら verifier だけ特許化した二段戦略）、(4) ep98 Bell-LaPadula 政策モデル cage 特許不在 / ep99 Hardy KeyKOS capability cage 特許化との 3 形態並列、を読み解く。

Day 26 SW サブシリーズ第 6 メモ（適格性壁 (a) pre-judicial era × (c) 政府契約 ハイブリッド形態）。1959 年 4 月 8 日 US DoD Charles Phillips（Director, Data System Research Staff）が Pentagon に主要コンピュータベンダと政府機関を招集 → 1959 年 6 月 4 日 CODASYL（Conference on Data Systems Languages、Committee on Data Systems Languages とも）設立 → Short-Range Committee（6 商業ベンダ + 3 政府機関 + Wegstein 議長）が Grace Hopper FLOW-MATIC を母体に仕様策定 → 1960 年 1 月 8 日 executive committee 承認 → Government Printing Office が COBOL 60 印刷物として公開 → 1960 年 8 月 17 日 RCA 501 で初コンパイル成功 → 12 月 6-7 日 RCA-Univac 互換性デモ。Wikipedia 英語版 COBOL 項・Grace Hopper 項・FLOW-MATIC 項・Yale CS Hopper Story・Britannica Hopper 項・gracehoppers.wordpress.com FLOW-MATIC 解説いずれも COBOL 関連特許番号への言及なしを verify。1960 年は Gottschalk v. Benson 12 年前の判例不在期で、DoD 政府資金（$200M 投入・225 台稼働実績）+ 6 商業ベンダ + 3 政府機関の協同形態が pre-judicial era (a) と政府契約 (c) のハイブリッド形態として成立。Day 25 ep88 SW-002 FORTRAN（(a-1) 企業ラボ単独型）／本日 ep91 SW-009 LISP（(a-2) 学術公開純粋形）／ep92 SW-008 ALGOL 60（(a-3) 国際委員会協同形）と並ぶ第 4 細別。

Day 26 SW サブシリーズ第 5 メモ（適格性壁 (a) pre-judicial era 第 3 件目・国際委員会協同形態）。1960 年 1 月 11-16 日 Paris で開催された 13 名国際委員会会議で策定された ALGOL 60 仕様について、Wikipedia 英語版 ALGOL 60 項・dl.acm.org CACM 1960-05 論文（DOI 10.1145/367236.367262）・1963 年 CACM 6(1):1-17 Revised Report（DOI 10.1145/366193.366201）・ACM Turing Award Naur 2005 公式ページ・同 Perlis 1966 公式ページ・Bauer 経歴いずれも特許番号への言及なしを verify。1960 年は Gottschalk v. Benson の 12 年前の判例不在期で、IFIP（International Federation for Information Processing）+ ACM（米国計算機学会）+ GAMM（ドイツ応用数学力学協会）の 3 組織協同公開形態が pre-judicial era (a) の (a-3) 国際委員会協同サブ形態を構成。Day 25 ep88 SW-002 FORTRAN（(a-1) 企業ラボ単独型）／本日 ep91 SW-009 LISP（(a-2) 学術公開純粋形）／ep93 SW-010 COBOL（(a-4) 政府契約ハイブリッド形）と並ぶ第 3 細別。

Day 26 SW サブシリーズ第 4 ノート（適格性壁 (a) pre-judicial era 第 3 件目）。1958 年 9 月 MIT AI Memo No. 1 として McCarthy が単独タイプした「An Algebraic Language for the Manipulation of Symbolic Expressions」を起点に、1958 年秋 Steve Russell が IBM 704 上で eval 関数を初実装、1960 年 4 月 Communications of the ACM 3(4):184-195「Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I」公開、1962 年 Tim Hart + Mike Levin が初の本格コンパイラ実装、という LISP 黎明期 4 年について、Wikipedia 英語版 Lisp 項・dl.acm.org の CACM 1960-04 論文（DOI 10.1145/367177.367199）・MIT AI Memo No. 1 (Stoyan 1984 ACM Symposium 論文経由)・McCarthy 自著「History of Lisp」PDF（jmc.stanford.edu/articles/lisp/lisp.pdf）・ACM Turing Award Laureate McCarthy 1971 公式ページいずれも LISP 関連特許番号への言及なしを verify。Day 25 ep88 SW-002 FORTRAN（pre-judicial era 第 1 件目）／本日 ep92 SW-008 ALGOL 60（pre-judicial era 第 2 件目・国際委員会形態）と並ぶ、SW サブシリーズ『適格性壁 (a) pre-judicial era』形態 第 3 件目。McCarthy の 30 年キャリアで FP 言語提案・状況計算（situation calculus）・circumscription 提案いずれも論文公開で特許化記録なし、Backus／Hoare／Dijkstra／Knuth／Naur／Perlis ら同時代計算機科学者の『学術共同体共通文化』が pre-judicial era (a) 形態の純粋形を支えていた構造を、本日 ep92 ALGOL 60 国際委員会形態／ep93 COBOL 政府契約ハイブリッド形態と並べて 3 細別解像度で示す

Day 25 SW サブシリーズ第 5 メモ。1971 年 Alan Kay 設計の Smalltalk-71 から始まり、1972 年 9 月 Smalltalk-72（Dan Ingalls が約 700 行の BASIC で Data General Nova 用インタプリタを 1972 年 10 月実装）・1973 年 4 月 Xerox Alto 移植・Smalltalk-76 を経て 1981 年 11 月 Smalltalk-80 Version 1 公開（Adele Goldberg ドキュメント）の Xerox PARC Smalltalk について、Wikipedia 英語版 Smalltalk 項・Wikipedia 英語版 Alan Kay 項・Britannica Alan Kay 項・Lemelson-MIT Alan Kay 項・ACM Turing Award Alan Kay 2003 受賞公式ページいずれも特許番号への言及なしを verify。Xerox PARC は Smalltalk-80 を 1981 年に Tektronix/Hewlett-Packard/Apple Computer/DEC の 4 社に『unrestricted redistribution』条件で配布、1981 年 8 月 ACM Computing Surveys 特集号『Special Issue on Smalltalk』で全面公開した。これは ARPA 契約（IMP）と異なり Xerox 自社判断による自発的公開で、企業戦略としての適格性壁形態として SW サブシリーズに位置付けられる。

Day 25 SW サブシリーズ第 4 メモ。1969 年 1 月 ARPA が BBN（Bolt, Beranek and Newman）に 4 ノードネットワーク契約授与・1969 年 4 月 BBN Report 1822『Specification for the Interconnection of a Host and an IMP』Kahn 単独起草・1969 年 8 月 30 日 UCLA Kleinrock 研究室に第 1 号 IMP 配備・1969 年 10 月 29 日 22:30 PST UCLA-SRI 間で初のホスト間接続成功した IMP プロジェクトについて、Wikipedia 英語版 Interface Message Processor 項・Wikipedia 英語版 ARPANET 項・Robert Kahn ACM Turing Award 2004 受賞公式ページ・LivingInternet IMP 記事いずれも特許番号への言及なしを verify。ARPA 契約による政府資金拠出のため成果物が公開仕様化された構造で、BBN Report 1822 は後に Internet STD 39 として確定し、現在も rfc-editor.org で全文公開されている。Day 25 ep88 SW-002 FORTRAN『判例不在期 pre-judicial era』形態と並ぶ『適格性壁 (c) 政府契約による公開強制』形態 第 3 弾。

Day 25 SW サブシリーズ第 3 本（適格性壁第 2 弾）。1953 年末 Backus 単独提案・1954 年 11 月『The IBM Mathematical Formula Translating System』ドラフト仕様・1956 年 10 月 15 日初版リファレンスマニュアル『The Fortran Automatic Coding System for the IBM 704』公開・1957 年 4 月コンパイラ初出荷の FORTRAN について、Google Patents inventor=Backus／assignee=IBM／priority 1953-1960 で 0 件、ACM Turing Award Backus 公式ページ・Wikipedia 英語版 Backus 項・Britannica Backus 項いずれも特許番号への言及なしを verify。1957 年は米国でソフトウェア特許適格性に関する判例が確立する前で、Gottschalk v. Benson（1972）／Parker v. Flook（1978）／Diamond v. Diehr（1981）／State Street Bank（1998）／Alice Corp v. CLS Bank（2014）の 5 つの最高裁・連邦巡回区判決が後年積み重なって初めて『純アルゴリズム発明の特許適格性』の輪郭が決まった。FORTRAN は『判例より 15 年早い純ソフトウェア発明』であり、IBM がとった戦略は『リファレンスマニュアル先行公開（1956-10-15）＋顧客への無料配布＋ソースコード内部 Trade Secret』の三本柱で、2026 年現在の LLM 基盤モデル『重みは公開しないが API は公開／論文は公開』戦略と問題意識が重なる。Day 24 SW-005 HyperCard（1987 適格性壁、判例 Diamond v. Diehr 直後の unsettled 期）と合わせて SW サブシリーズ『適格性壁』第 1・第 2 弾を確定し、本日 ep89 SW-003 BBN IMP（1969 ARPA 契約・公開仕様）／ep90 SW-004 Xerox PARC Smalltalk（1972 企業ラボ・4 社共有公開）と合わせて 4 件揃い踏みで『適格性壁』形態を 4 つの細別に解像度を上げる

Day 24 SW サブシリーズ 第 3 メモ。1985 年 Atkinson 単独開発開始（コードネーム WildCard）、1986-87 年 Dan Winkler が HyperTalk スクリプト言語追加、1987-08-11 MacWorld Boston で発表、Apple に『無料同梱』条件で譲渡された HyperCard の特許化状況を verify。WebSearch・Wikipedia EN HyperCard 項・Wikipedia EN Bill Atkinson 項・Apple Wiki Fandom・History of Information・OSnews・Science Museum Group いずれにも HyperCard 自体の特許番号は記載なし。Atkinson 単独 Apple-assigned 特許として確認できるのは US4622545（画像圧縮、1986、本日 ep85 で扱った）のみで、HyperCard の核心要素（カード・スタック・HyperTalk・ボタン・スクリプト・リンク）はいずれも Claim 化された記録がない。Day 24 の SW-001/SW-006/SW-007（Engelbart マウス／Atkinson region／Lapson + 共同発明者の cursor control）が **ハードウェア要素を含む** Claim で特許化に成功した一方で、HyperCard は **純ソフトウェア・OS 上のアプリケーション** だったため、1980 年代後半の米国ソフトウェア特許適格性 unsettled 期の壁で特許化されなかった可能性が高い。SW サブシリーズで初めて『適格性壁』形態として記録。

Day 24 SW サブシリーズ 第 2 メモ。1982-07-19 出願・1984-08-07 成立・寿命満了済の Apple ボール式マウス特許 US4464652 を patentimages.storage.googleapis.com PDF（14 ページ・1.08 MB）で一次取得。発明者欄第 1 行は『William F. Lapson, Cupertino』だが第 2 行が pdftotext -raw 出力で『g-lfykihsm L°S Gatos』と OCR 文字化けし、共同発明者の正確な氏名が PDF からは特定不能。WebSearch では『William D. Atkinson』が共同発明者として報告されるが、Wikipedia EN Bill Atkinson 項には US4464652 への言及がなく、二次情報（uspto.report 等）も Cloudflare ブロックで cross check 不能。Claim 1 verbatim はボール式（rotatable ball + domed portion + cut-outs + X-Y position indicating means + biasing means + lock cap/lock tabs/lock ridges による着脱機構）で、Engelbart マウス US3541541 のホイール式（position wheels + transducer + flexible conductor）と検出原理が根本的に異なる。SW サブシリーズ初の『情報壁・OCR 形態』として発掘記録。

Day 24 で SW サブシリーズ第 2 本として、1982 年 9 月 30 日出願・1986 年 11 月 11 日成立の Atkinson 画像圧縮・操作特許 US4622545『METHOD AND APPARATUS FOR IMAGE COMPRESSION AND MANIPULATION』を一次取得した。(1) 発明者は『William D. Atkinson, Los Gatos, Calif.』単独で、Apple 1984 Mac 発表前の 1982 年 9 月 30 日に Apple Computer, Inc. に譲受、(2) Appl. No. 428,635、Filed Sep. 30, 1982、Granted Nov. 11, 1986、出願から成立まで 4 年 1 ヶ月、(3) 1995 年 GATT 発効前出願のため『成立から 17 年』ルール適用で 2003-11-11 に寿命満了済み、(4) Claim 1 verbatim は『display means（複数の display element を選択的に enable）+ memory means（複数の inversion point を保存、各 inversion point は座標を持ち、直交線で contrasting area の境界を形成）+ processing means（inversion point から contrasting area を生成、contrast は以前の inversion point の座標の関数）』の 3 要素で、scanline ごとに『色が変わる点』を順序付きリストで保持して任意形状の閉領域（region）を表現する技法、(5) 後の Spec では『AND / OR / NOT / XOR の 4 つの logic operation を inversion point ordered list 間で実行する』『source bitmap と destination bitmap の間で region を移動する』など QuickDraw RgnHandle データ構造の核心が記述される、(6) 現代の SVG clip-path / HTML5 Canvas Path2D + clip() / iOS UIBezierPath の bool 演算 / ゲームエンジンの polygon collider hit detection / 画像処理の flood fill はいずれも『画面内の任意閉領域を効率的に表現・演算する』という同じ問題意識の派生で、scanline-based / path-based の実装差はあれど 40 年連続している。SW-001 Engelbart マウス（1967 出願 / 手で空間位置を指す）と並んで Apple Lisa/Mac GUI 革命の特許化マップを構成する 1 本として、SW サブシリーズ第 2 本に据えた。

Day 23 で AI 考古学のサブシリーズ群に新たに『ソフトウェア・UI 特許』を立ち上げる第 1 本。題材は 1967 年 6 月 21 日出願・1970 年 11 月 17 日成立・1987 年 11 月 17 日寿命満了の Engelbart マウス特許 US3541541『X-Y POSITION INDICATOR FOR A DISPLAY SYSTEM』。Google Patents PDF（patentimages.storage.googleapis.com 経由）で一次取得すると、(1) 発明者は『Douglas C. Engelbart, Palo Alto, Calif.』単独で、Bill English の共同発明者記載は本特許前面にも Claim にも存在しない（English は SRI 在籍時の実装エンジニア・1968 Mother of All Demos デモ運営担当）、(2) Original Assignee は『Stanford Research Institute, Menlo Park, Calif., a corporation of California』で、1977 年に SRI International に改称、(3) Filed June 21, 1967, Ser. No. 647,872、Patented Nov. 17, 1970、8 Claims、出願から成立まで 3 年 5 ヶ月、(4) 1995 年 GATT 発効前出願のため『成立から 17 年』ルール適用で 1987-11-17 失効、(5) Claim 1 verbatim は『housing + 第 1 / 第 2 position wheel（軸が直交）+ transducer means + flexible conductor means』の 4 要素機械式 X-Y 入力装置を請求、(6) 現代のマウス・タッチパッド・タッチスクリーン・spatial computing は検出原理が根本的に異なる（光学・静電容量・LiDAR）が、『手で空間位置を指す』設計思想は連続する。SW サブシリーズ立ち上げ第 1 本として、化粧品 Phase 1 5 連発（Day 18-22）からの気分転換と、現代 UI の起点特許として広範囲な現代接続を持つ題材を選定。