たけおかラボ
保有特許2022/OCT/21
たけおか@AXE
twitter: @takeoka
www.takeoka.org/~take/1

リレーショナルデータベースを内在するカーネルプログラム、方法及び装置(豊田通商株式会社と、竹岡の共同特許)

特許番号【特許第5711840号】
登録日 【2015年3月１3日】【US Patent No.】 US 10,324,774【Date of Patent】 2019年6月18日
2

「リレーショナルデータベースを内在するカーネルプログラム、方法及び装置」


データベースをカーネル空間内で動作させる「リレーショナルデータベースを内在するカーネルプログラム、方法及び装置」●
かなり広範囲に適用される…

特許番号【特許第5711840号】
登録日 【2015年3月１3日】【US Patent No.】 US 10,324,774【Date of Patent】 2019年6月18日
株式会社ネクスティエレクトロニクスと、たけおかラボ株式会社との共同特許

「リレーショナルデータベースを内在するカーネルプログラム、方法及び装置」
Kernel Program Including Relational Database, and Method andApparatus for Executing Said Program【US Patent No.】 US 10,324,774 【Date of Patent】 2019年6月18日

kernel内 RDB 採用システム例
socket通信は、メモリ空間の絶縁性を保証し、安全な通信である
実際の使用事例では、アプリケーションとkernel内の通信は公開鍵暗号で署名をした電文で行なっている
RDB
APIライブラリ

アプリケーション

socket通信
kernel内 バッファ
アプリケーション認証/電文改ざんチェック
アクセス制御/権限チェック
RDB
Raw-device driver

Kernel
空間FreeBSD kernel

HDDハードウェア

RDBパーティション

5アプリケーションに依存することなくファイルにアクセスする
OSプログラム及び方法(株式会社ネクスティエレクトロニクスと、竹岡の共同特許)

特許番号【特許第6143038号】
登録日 【2017年5月19日】
6

「アプリケーションに依存することなくファイルにアクセスするOSプ
ログラム及び方法」●●●

データファイルに、データへのアクセス手続きを、くっつけておく
OS API経由で、データファイル内のアクセス手続きを呼び出す
どんな形式のファイルでも、データの読み書きができる

特許番号【特許第6143038号】
登録日 【2017年5月19日】
株式会社ネクスティエレクトロニク
スと、たけおかラボ株式会社との共同特許

従来データ・ファイルの場合


データ・ファイルの構造は、各アプリケーションごとに固有である



データ・ファイルへのアクセスや処理は、その固有の構造を知っている手続きによって行われる



データ固有の構造を知っている手続きは、各アプリケーションごとに、個別に内部に持っている

アプリケーションAとまったく異なる、アプリケーションBは、アプリケーションAのデータ構造を知らないため、アプリケーションAが作成したデータに対して意味のある操作を行えない

アプリケーションA
ファイルから1パラグラフ読込み
手続き

ファイルへ
1パラグラフ書出し
手続き

アプリケーションB
ファイルのデータを1ページ分レンダリング
手続き

ファイルから1パラグラフ読込み
手続き

ファイルへ
1パラグラフ書出し
手続き

ファイルのデータを1ページ分レンダリング
手続き

意味のあるアクセス(操作)ができない!
従来OS標準の低位ファイル操作
手続き1 (open)
エントリ・ルーチン

手続き2 (close)
エントリ・ルーチン

データ・ファイル X
アプリケーションA固有のデータ構造

手続き (書出し)
エントリ・ルーチン

手続き (読込み)
エントリ・ルーチン

データ・ファイル Y
アプリケーションB固有のデータ構造

提案方式のファイル (1)アプリケーションA

ファイルから1パラグラフ読込み
手続き呼び出し※単なる呼び出し

アプリケーションファイルへ
1パラグラフ書出し
手続き呼び出し※単なる呼び出し

ファイルのデータを1ページ分
レンダリング
手続き呼び出し※単なる呼び出しB

ファイルから
1パラグラフ読込み
手続き呼び出し※単なる呼び出しファイルへ
1パラグラフ書出し
手続き呼び出し※単なる呼び出し

ファイルのデータを1ページ分
レンダリング
手続き呼び出し※単なる呼び出し

標準ライブラリ・ルーチン
手続き1 (open)
エントリ・ルーチン

手続き (ファイルへ
1パラグラフ書出し)
エントリ・ルーチン

手続き2 (close)
エントリ・ルーチン

手続き (ファイルから1パラグラフ読込み)
エントリ・ルーチン

手続き (1ページ分レンダリング)
エントリ・ルーチン

データXアクセス管理構造体
手続き
手続き
手続き3
手続き4
手続き1 手続き2(ファイルから (ファイルへ(データ(データ1パラグラフ
1パラグラフ(open)(close)読み出し) 書き込み)
書出し)
読込み)
アドレス アドレス
アドレス アドレス アドレス アドレス

(1ページ分レンダリング)

アドレス

手続きは、メモリ上に読み込まれている

手
続
きn+2

手
続き

手
続
きn+1n

手
続き

手
続き

4

手
続き

3

手
続
き

2

1

手
続
き

手
続
き

手続き

データ・ファイルX
手
続き

手
続
き

n+2

n+1n

4

手
続き3

手
続
き

2

手
続
き

1

ヘッダ

データ X 本体異なるアプリケーションAが作成した未知の構造のファイル中のデータにも、アプリケーションBは、正しく、意味のあるアクセス(操作)ができる



提案方式のファイル(2)一つのアプリケーションがあらゆる形式のデータ・ファイルに対して、正しい操作を行える
アプリケーション

データX 読み出し

データY 読み出し

標準ライブラリ・ルーチン
手続き1 (open)

手続き2 (close)
手続き3 (読み出し) 手続き 4 (書き込み)
エントリ・ルーチンエントリ・ルーチンエントリ・ルーチン エントリ・ルーチン

データXアクセス管理構造体

データYアクセス管理構造体

手続き3
手続き4
手続き1 手続き2(データ(データ(open)(close)読み出し) 書き込み)
アドレス アドレス
アドレス アドレス

4

データ X 本体

3

手 手 手
続 続 続
き き き き

2

ダヘ 手
ッ 続

手 手 手 手続 続 続 続き き き き1

データ・ファイル

4

3

2

1

手 手 手 手続 続 続 続き き き き手続きは、メモリ上に読み込まれる

手続き3
手続き4
手続き1 手続き2(データ(データ(open)(close)読み出し) 書き込み)
アドレス アドレス
アドレス アドレス

ダヘ 手
ッ 続

4

3

2

1

4

3

2

1

手 手 手
続 続 続
き き き きデータY本体ルールセットを選択可能な推論エンジンを有するプログラム、装置及び方法(竹岡 単独特許)
特許番号【特許第6224811号】
登録日 【2017年10月１3日】【US Patent No.】 US 11,443,199【Date of Patent】 2022年9月13日
11論理推論AIを高速化する特許「ルールセットを選択可能な推論エンジンを有するプ
ログラム、装置及び方法」
・ルールの集合を「ルール・セット」と呼ぶ・機械学習を使用して、推論対象の内容により、「ルール・セット」を切り替える。
・ルール・セットが小さくなり、論理推論が高速になる
特許番号【特許第6224811号】
登録日 【2017年10月１3日】

「ルールセットを選択可能な推論エンジンを有するプログラム、装置及び方法」

PROGRAM STORAGE MEDIUM,APPARATUS AND METHODPROVIDED WITH RULESET-SELECTABLE INFERENCE ENGINE【US Patent No.】 US 11,443,199 【Date of Patent】 2022年9月13日

本提案システム ブロック図
スケジュールメール

アクション1

生データ

処理対象SNSログ

ルールに基づく
論理推論エンジン

アクション2

前処理

アクション3
機械学習器による処理対象 文の内容によるルールセット切替

文書の内容
認識用
機械学習済みモデル

選択された
ルール・セット

ルール
セット1(事務メール処理ルール)

ルール
セット2
(恋愛メール処理ルール)

通常の論理推論システム
一つのルール集合を使用しているルールが多くなると、探索空間が大きくなる → 探索時間が膨大になる
これからのAIは、一つのAIが、多くの事柄(多くのルール)を扱う必要があるだが、反面大規模AI時代には、どうにかしてルール集合を小さくする必要がある∵ ルールが多くなりすぎると、探索時間がどんどん増大→有限時間で終わらなくなる ※特に組込み機器など

本提案:機械学習による「ルール・セット」切り替え
ルールの集合を「ルール・セット」と呼ぶ
機械学習(DL/SVMなど)を使用して、推論対象の内容により、「ルール・セット」を切り替える。
複数のルール・セットを持つ

推論の対象により、ルール・セットを切り替える
オプション:
可能性が低いルール・セットも、並行して適用すると、可能性が高いルール・セットで何も得られなかった場合に、救われる