SlideShare a Scribd company logo
1 of 2
Download to read offline
お子さんに、自分のコトバで考える経験を。 そして人類に、自由な言葉でモレなく考える汎用AIを。
HUMANOTE
自由な言葉でコンピュータに正しく思考させ、その思考を見た人が賢くなるパソコンソフト
例えば・・・
「$Xはよく$Yのそばに移動する」 & 「$Xは人間か動物」 ⇒ 「$Xは$Yが好き」
といった(連立)言葉方程式を用いた自由文演繹が可能な論理プログラミング言語「中学$Prolog」により
本格的な「自然文推論」分野のデファクトスタンダードを目指す思考プログラミング環境を開発してきました
◆長所◆
1)ディープラーニングと異なり、論理であるため判断根拠や思考過程についての説明責任を果たすことが容易。
2)自然言語に許された本来の自由度(表記ゆれ、方言、外国語、新語、等)にしなやかに対応(相互変換)。
3)子供達に構成要件(AND)や選択肢(OR)、NOT等の論理を自分の言葉で本格的に考える経験を提供。
4)おばあちゃんに「お茶の間から音声対話で世界を冒険する楽しみ」を提供。
5)疲れたり、勉強不足だったりしても、最新の知識と独自の発想・価値観に沿ったアイディア合成が可能。
◆主な機能◆
A)変数つきの「言葉方程式」のパターンマッチングによる、検索・三段論法・構成要件(AND)の統合
B)便利ないくつものOR(通常、個数の閾値による、重みの和の閾値による、・・・)
C)便利な3つのNOT(証明不能、該当する例がない、科学的/道徳的に・・・であるべきでない)
① 言葉方程式で
答えを求める
⓪ あらかじめ入力、又は、
ネットから自動引用した
「自由文による知識たち」
② コンピュータが、自動で
「自由文による知識たち」を
本格的に組み合わせた
推論をして解答する
D)根拠ツリー、推論トレース、差分質問、重文質問、逆質問、四則演算、文字列操作・・・
E)前向き推論による提案/後向き推論による解答/2種類の自発的あいさつ構文/タイマーによる起動
F)業務用/遊戯用アドベンチャーゲーム用のマルチメディア制御、音声認識、音声合成、手続的解釈
G)「価値観や程度の定義」と価値観(・・・であるべき/でない)に沿ったアイディアの自動合成(企業)
H)インターネット知識の実行時取込(2種類)、高速化キャッシュ、半自動目視枝刈り・・・
I)文脈を本格的に管理した汎用AI/汎用RPG/SemanticWebのための論理サーフィンブラウザ
◆知財
◆2011 年から 7 年間の開発の成果である、スクラッチからの完全オリジナル VC++ソースコード
(C言語と同じ時期に開発された PROLOG はおおいに尊敬しつつ、いずれのソースコードも、参考も引用もしていない)
◆特許(国内・国際)その他数件
☆特許 5246680 アドベンチャーゲーム(又は相談システム)における複数制作者ソースの動的結合
☆特許 6263858 自由文による思考プログラミングの基本特許(国際出願番号 PCT/JP2014/005571)
☆特許 6799731 自由文思考プログラミングにおいて利用者から必要な知識等を獲得する方法、その他5件程度
◆特許出願(未公開分除く)25件
□特願 2017-192296 自由文思考プログラミングを用いたLinkedOpenRPG
□特願 2017-092076 〃を用いたアイディア合成
□特願 2017-092057 〃のための新たな否定
□特願 2017-092047 〃のための新たなOR
□特願 2016-228425 〃のための知的音声認識
□特願 2016-224596 〃と広告との組み合わせ
□特願 2016-216820 LinkedOpenRPG的音声認識
□特願 2016-210096 〃のための独自の目視半自動枝刈り高速化方法
□特願 2016-200618 〃のための音声対話の難読文字対応
□特願 2016-196069 〃のための音声対話の音声認識対話の効率向上
□特願 2016-165180 〃のための独自の高速化方法
□特願 2016-103010 〃のための表記ゆれリスク対応
□特願 2016-009324 〃のための入力やコーディングの効率化
□特願 2015-248091 〃を用いた一般教科の勉強方法
□特願 2015-234356 〃を用いた程度や価値観の定義・比較方法
□特願 2015-219007 〃における動的外部知識取り込み(LinkedOpenRule:LORと略します)
◆商標登録
「HUMANOTE」「中学$Prolog」「論理サーフィンブラウザ」「自由文演繹」「自然文推論」「言葉方程式」
「LinkedOpenRPG」「LinkedOpenRule」「自由文思考プログラミング」「哲学プログラミング」等、15件
◆操作マニュアル(β版) https://humanote.xyz/manual/
□Window10用(日本語64ビット用) 個人用1クライアント 99,000円(税込)
□Window10用(日本語64ビット用) 法人用10クライアント 495,000円(税込)
□Linuxサーバー用ライセンス(1台) 4,950,000円(税込)
□node.js バージョン(JavaScript による機能サブセットの実装版) 価格についてはご相談下さい
※いずれも、保守・バージョンアップサービス期間は5年間となります
※その後は、定価の 10%にて年間保守・バージョンアップに対応します
お問合せ先 ナレルシステム株式会社 代表 中村圭介(keisuke@marusei-sk.com)
〒920-0348 石川県金沢市松村2-95 TEL +81-76-213-5211 FAX 076-213-5239
詳細説明 https://knowrel.com/
2019~受賞等
第55回石川県発明くふう展 金沢市長賞
日本ソフトウエア科学会全国大会 優秀発表賞
国際発明協会主催世界天才会議 AI部門賞
中部地方発明表彰 奨励賞
日本情報処理学会
第61回プログラミングシンポジウム講演

More Related Content

What's hot

パターン認識にとっかかる
パターン認識にとっかかるパターン認識にとっかかる
パターン認識にとっかかるJun Saeki
 
TechCrunch Tokyo 2013 Hackathon_Presentation_Team 6th Man_131112
TechCrunch Tokyo 2013 Hackathon_Presentation_Team 6th Man_131112TechCrunch Tokyo 2013 Hackathon_Presentation_Team 6th Man_131112
TechCrunch Tokyo 2013 Hackathon_Presentation_Team 6th Man_131112Tatsuo Sakamoto
 
社内勉強会 2014/10/08
社内勉強会 2014/10/08社内勉強会 2014/10/08
社内勉強会 2014/10/08Takaki Yoneyama
 
Jsai2021 winter ppt_ota_20211127
Jsai2021 winter ppt_ota_20211127Jsai2021 winter ppt_ota_20211127
Jsai2021 winter ppt_ota_20211127博三 太田
 
おとなのテキストマイニング
おとなのテキストマイニングおとなのテキストマイニング
おとなのテキストマイニングMunenori Sugimura
 
Logics 18th ota_20211201
Logics 18th ota_20211201Logics 18th ota_20211201
Logics 18th ota_20211201博三 太田
 
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモ
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモJSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモ
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモKeisuke NAKAMURA
 
スマートフォンでスキルアップ!実践編
スマートフォンでスキルアップ!実践編スマートフォンでスキルアップ!実践編
スマートフォンでスキルアップ!実践編Takaaki Mizuta
 
研究室紹介用ポスター
研究室紹介用ポスター研究室紹介用ポスター
研究室紹介用ポスターYoshinari Fujinuma
 

What's hot (10)

Gakusei lt
Gakusei ltGakusei lt
Gakusei lt
 
パターン認識にとっかかる
パターン認識にとっかかるパターン認識にとっかかる
パターン認識にとっかかる
 
TechCrunch Tokyo 2013 Hackathon_Presentation_Team 6th Man_131112
TechCrunch Tokyo 2013 Hackathon_Presentation_Team 6th Man_131112TechCrunch Tokyo 2013 Hackathon_Presentation_Team 6th Man_131112
TechCrunch Tokyo 2013 Hackathon_Presentation_Team 6th Man_131112
 
社内勉強会 2014/10/08
社内勉強会 2014/10/08社内勉強会 2014/10/08
社内勉強会 2014/10/08
 
Jsai2021 winter ppt_ota_20211127
Jsai2021 winter ppt_ota_20211127Jsai2021 winter ppt_ota_20211127
Jsai2021 winter ppt_ota_20211127
 
おとなのテキストマイニング
おとなのテキストマイニングおとなのテキストマイニング
おとなのテキストマイニング
 
Logics 18th ota_20211201
Logics 18th ota_20211201Logics 18th ota_20211201
Logics 18th ota_20211201
 
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモ
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモJSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモ
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモ
 
スマートフォンでスキルアップ!実践編
スマートフォンでスキルアップ!実践編スマートフォンでスキルアップ!実践編
スマートフォンでスキルアップ!実践編
 
研究室紹介用ポスター
研究室紹介用ポスター研究室紹介用ポスター
研究室紹介用ポスター
 

Similar to Humanote202012leaflet

大規模言語モデルとChatGPT
大規模言語モデルとChatGPT大規模言語モデルとChatGPT
大規模言語モデルとChatGPTnlab_utokyo
 
さくさくテキストマイニング入門セッション
さくさくテキストマイニング入門セッションさくさくテキストマイニング入門セッション
さくさくテキストマイニング入門セッションantibayesian 俺がS式だ
 
子供の言語獲得と機械の言語獲得
子供の言語獲得と機械の言語獲得子供の言語獲得と機械の言語獲得
子供の言語獲得と機械の言語獲得Yuya Unno
 
研究・企業・生き方について 情報科学若手の会2011
研究・企業・生き方について 情報科学若手の会2011研究・企業・生き方について 情報科学若手の会2011
研究・企業・生き方について 情報科学若手の会2011Preferred Networks
 
【Schoo web campus】「相手に伝わる」文章を書く技術 2限目
【Schoo web campus】「相手に伝わる」文章を書く技術 2限目【Schoo web campus】「相手に伝わる」文章を書く技術 2限目
【Schoo web campus】「相手に伝わる」文章を書く技術 2限目schoowebcampus
 
2012ー1 TENTOプレゼン資料
2012ー1 TENTOプレゼン資料2012ー1 TENTOプレゼン資料
2012ー1 TENTOプレゼン資料TENTO_slide
 
勉強会資料1
勉強会資料1勉強会資料1
勉強会資料1E M
 
記号を用いたコミュニケーションを実現するために何が必要か?― 記号創発ロボティクスの 視点から ―
記号を用いたコミュニケーションを実現するために何が必要か?― 記号創発ロボティクスの 視点から ―記号を用いたコミュニケーションを実現するために何が必要か?― 記号創発ロボティクスの 視点から ―
記号を用いたコミュニケーションを実現するために何が必要か?― 記号創発ロボティクスの 視点から ―Tadahiro Taniguchi
 
言語資源と付き合う
言語資源と付き合う言語資源と付き合う
言語資源と付き合うYuya Unno
 
Learn Languages 2017 従来言語で理解する次世代言語の概念 #ll2017jp
Learn Languages 2017 従来言語で理解する次世代言語の概念 #ll2017jpLearn Languages 2017 従来言語で理解する次世代言語の概念 #ll2017jp
Learn Languages 2017 従来言語で理解する次世代言語の概念 #ll2017jpTAKANO Mitsuhiro
 
SSII2019OS: ビジョン&ランゲージによる意図理解と曖昧性解消
SSII2019OS: ビジョン&ランゲージによる意図理解と曖昧性解消SSII2019OS: ビジョン&ランゲージによる意図理解と曖昧性解消
SSII2019OS: ビジョン&ランゲージによる意図理解と曖昧性解消SSII
 
nl-1. 形態素解析と構文解析
nl-1. 形態素解析と構文解析nl-1. 形態素解析と構文解析
nl-1. 形態素解析と構文解析kunihikokaneko1
 

Similar to Humanote202012leaflet (12)

大規模言語モデルとChatGPT
大規模言語モデルとChatGPT大規模言語モデルとChatGPT
大規模言語モデルとChatGPT
 
さくさくテキストマイニング入門セッション
さくさくテキストマイニング入門セッションさくさくテキストマイニング入門セッション
さくさくテキストマイニング入門セッション
 
子供の言語獲得と機械の言語獲得
子供の言語獲得と機械の言語獲得子供の言語獲得と機械の言語獲得
子供の言語獲得と機械の言語獲得
 
研究・企業・生き方について 情報科学若手の会2011
研究・企業・生き方について 情報科学若手の会2011研究・企業・生き方について 情報科学若手の会2011
研究・企業・生き方について 情報科学若手の会2011
 
【Schoo web campus】「相手に伝わる」文章を書く技術 2限目
【Schoo web campus】「相手に伝わる」文章を書く技術 2限目【Schoo web campus】「相手に伝わる」文章を書く技術 2限目
【Schoo web campus】「相手に伝わる」文章を書く技術 2限目
 
2012ー1 TENTOプレゼン資料
2012ー1 TENTOプレゼン資料2012ー1 TENTOプレゼン資料
2012ー1 TENTOプレゼン資料
 
勉強会資料1
勉強会資料1勉強会資料1
勉強会資料1
 
記号を用いたコミュニケーションを実現するために何が必要か?― 記号創発ロボティクスの 視点から ―
記号を用いたコミュニケーションを実現するために何が必要か?― 記号創発ロボティクスの 視点から ―記号を用いたコミュニケーションを実現するために何が必要か?― 記号創発ロボティクスの 視点から ―
記号を用いたコミュニケーションを実現するために何が必要か?― 記号創発ロボティクスの 視点から ―
 
言語資源と付き合う
言語資源と付き合う言語資源と付き合う
言語資源と付き合う
 
Learn Languages 2017 従来言語で理解する次世代言語の概念 #ll2017jp
Learn Languages 2017 従来言語で理解する次世代言語の概念 #ll2017jpLearn Languages 2017 従来言語で理解する次世代言語の概念 #ll2017jp
Learn Languages 2017 従来言語で理解する次世代言語の概念 #ll2017jp
 
SSII2019OS: ビジョン&ランゲージによる意図理解と曖昧性解消
SSII2019OS: ビジョン&ランゲージによる意図理解と曖昧性解消SSII2019OS: ビジョン&ランゲージによる意図理解と曖昧性解消
SSII2019OS: ビジョン&ランゲージによる意図理解と曖昧性解消
 
nl-1. 形態素解析と構文解析
nl-1. 形態素解析と構文解析nl-1. 形態素解析と構文解析
nl-1. 形態素解析と構文解析
 

More from Keisuke NAKAMURA

自由文思考プログラミングの例やFAQ
自由文思考プログラミングの例やFAQ自由文思考プログラミングの例やFAQ
自由文思考プログラミングの例やFAQKeisuke NAKAMURA
 
思考プログラミングの世界標準をめざして
思考プログラミングの世界標準をめざして思考プログラミングの世界標準をめざして
思考プログラミングの世界標準をめざしてKeisuke NAKAMURA
 
学校向け:思考プログラミングのワークショップ提案
学校向け:思考プログラミングのワークショップ提案学校向け:思考プログラミングのワークショップ提案
学校向け:思考プログラミングのワークショップ提案Keisuke NAKAMURA
 
HUMANOTEを用いた授業提案
HUMANOTEを用いた授業提案HUMANOTEを用いた授業提案
HUMANOTEを用いた授業提案Keisuke NAKAMURA
 
全自治体リバーシ2160古今東西後編
全自治体リバーシ2160古今東西後編全自治体リバーシ2160古今東西後編
全自治体リバーシ2160古今東西後編Keisuke NAKAMURA
 
全自治体リバーシ2160古今東西前編
全自治体リバーシ2160古今東西前編全自治体リバーシ2160古今東西前編
全自治体リバーシ2160古今東西前編Keisuke NAKAMURA
 
言葉方程式による論理型プログラミングの例題サンプル1-3
言葉方程式による論理型プログラミングの例題サンプル1-3言葉方程式による論理型プログラミングの例題サンプル1-3
言葉方程式による論理型プログラミングの例題サンプル1-3Keisuke NAKAMURA
 
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案Keisuke NAKAMURA
 
ijcai2020_submitted_paper_but_not_acceptted
ijcai2020_submitted_paper_but_not_accepttedijcai2020_submitted_paper_but_not_acceptted
ijcai2020_submitted_paper_but_not_accepttedKeisuke NAKAMURA
 
米国特許庁への意見書と補正書
米国特許庁への意見書と補正書米国特許庁への意見書と補正書
米国特許庁への意見書と補正書Keisuke NAKAMURA
 
自由文思考プログラミング【007】 OR(又は)の一表現
自由文思考プログラミング【007】 OR(又は)の一表現自由文思考プログラミング【007】 OR(又は)の一表現
自由文思考プログラミング【007】 OR(又は)の一表現Keisuke NAKAMURA
 
第2回:自由文思考プログラミングと他との違い
第2回:自由文思考プログラミングと他との違い第2回:自由文思考プログラミングと他との違い
第2回:自由文思考プログラミングと他との違いKeisuke NAKAMURA
 
Humanote workbook(問題集) and QA(質問回答)
Humanote workbook(問題集) and QA(質問回答)Humanote workbook(問題集) and QA(質問回答)
Humanote workbook(問題集) and QA(質問回答)Keisuke NAKAMURA
 
Humanote_言葉方程式の公開問題集
Humanote_言葉方程式の公開問題集Humanote_言葉方程式の公開問題集
Humanote_言葉方程式の公開問題集Keisuke NAKAMURA
 
自由文思考プログラミング環境における手続的機能の実装
自由文思考プログラミング環境における手続的機能の実装自由文思考プログラミング環境における手続的機能の実装
自由文思考プログラミング環境における手続的機能の実装Keisuke NAKAMURA
 
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」Keisuke NAKAMURA
 
Kanazawa ideaconetst2018 8
Kanazawa ideaconetst2018 8Kanazawa ideaconetst2018 8
Kanazawa ideaconetst2018 8Keisuke NAKAMURA
 
Humanote j-tech-startup-summit-2nd-exam
Humanote j-tech-startup-summit-2nd-examHumanote j-tech-startup-summit-2nd-exam
Humanote j-tech-startup-summit-2nd-examKeisuke NAKAMURA
 

More from Keisuke NAKAMURA (20)

自由文思考プログラミングの例やFAQ
自由文思考プログラミングの例やFAQ自由文思考プログラミングの例やFAQ
自由文思考プログラミングの例やFAQ
 
思考プログラミングの世界標準をめざして
思考プログラミングの世界標準をめざして思考プログラミングの世界標準をめざして
思考プログラミングの世界標準をめざして
 
学校向け:思考プログラミングのワークショップ提案
学校向け:思考プログラミングのワークショップ提案学校向け:思考プログラミングのワークショップ提案
学校向け:思考プログラミングのワークショップ提案
 
HUMANOTEを用いた授業提案
HUMANOTEを用いた授業提案HUMANOTEを用いた授業提案
HUMANOTEを用いた授業提案
 
HUMANOTE-LOCAL3.pdf
HUMANOTE-LOCAL3.pdfHUMANOTE-LOCAL3.pdf
HUMANOTE-LOCAL3.pdf
 
全自治体リバーシ2160古今東西後編
全自治体リバーシ2160古今東西後編全自治体リバーシ2160古今東西後編
全自治体リバーシ2160古今東西後編
 
全自治体リバーシ2160古今東西前編
全自治体リバーシ2160古今東西前編全自治体リバーシ2160古今東西前編
全自治体リバーシ2160古今東西前編
 
言葉方程式による論理型プログラミングの例題サンプル1-3
言葉方程式による論理型プログラミングの例題サンプル1-3言葉方程式による論理型プログラミングの例題サンプル1-3
言葉方程式による論理型プログラミングの例題サンプル1-3
 
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案
 
ijcai2020_submitted_paper_but_not_acceptted
ijcai2020_submitted_paper_but_not_accepttedijcai2020_submitted_paper_but_not_acceptted
ijcai2020_submitted_paper_but_not_acceptted
 
米国特許庁への意見書と補正書
米国特許庁への意見書と補正書米国特許庁への意見書と補正書
米国特許庁への意見書と補正書
 
自由文思考プログラミング【007】 OR(又は)の一表現
自由文思考プログラミング【007】 OR(又は)の一表現自由文思考プログラミング【007】 OR(又は)の一表現
自由文思考プログラミング【007】 OR(又は)の一表現
 
第2回:自由文思考プログラミングと他との違い
第2回:自由文思考プログラミングと他との違い第2回:自由文思考プログラミングと他との違い
第2回:自由文思考プログラミングと他との違い
 
Humanote s01
Humanote s01Humanote s01
Humanote s01
 
Humanote workbook(問題集) and QA(質問回答)
Humanote workbook(問題集) and QA(質問回答)Humanote workbook(問題集) and QA(質問回答)
Humanote workbook(問題集) and QA(質問回答)
 
Humanote_言葉方程式の公開問題集
Humanote_言葉方程式の公開問題集Humanote_言葉方程式の公開問題集
Humanote_言葉方程式の公開問題集
 
自由文思考プログラミング環境における手続的機能の実装
自由文思考プログラミング環境における手続的機能の実装自由文思考プログラミング環境における手続的機能の実装
自由文思考プログラミング環境における手続的機能の実装
 
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」
 
Kanazawa ideaconetst2018 8
Kanazawa ideaconetst2018 8Kanazawa ideaconetst2018 8
Kanazawa ideaconetst2018 8
 
Humanote j-tech-startup-summit-2nd-exam
Humanote j-tech-startup-summit-2nd-examHumanote j-tech-startup-summit-2nd-exam
Humanote j-tech-startup-summit-2nd-exam
 

Recently uploaded

TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationTokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationYukiTerazawa
 
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライドリアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライドKen Fukui
 
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ssusere0a682
 
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライドリアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライドKen Fukui
 
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライドリアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライドKen Fukui
 
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライドリアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライドKen Fukui
 
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライドリアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライドKen Fukui
 
TEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdfTEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdfyukisuga3
 
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024koheioishi1
 
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScriptUniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScriptyuitoakatsukijp
 

Recently uploaded (10)

TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationTokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
 
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライドリアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
 
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
 
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライドリアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
 
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライドリアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
 
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライドリアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
 
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライドリアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
 
TEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdfTEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdf
 
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
 
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScriptUniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
 

Humanote202012leaflet

  • 1. お子さんに、自分のコトバで考える経験を。 そして人類に、自由な言葉でモレなく考える汎用AIを。 HUMANOTE 自由な言葉でコンピュータに正しく思考させ、その思考を見た人が賢くなるパソコンソフト 例えば・・・ 「$Xはよく$Yのそばに移動する」 & 「$Xは人間か動物」 ⇒ 「$Xは$Yが好き」 といった(連立)言葉方程式を用いた自由文演繹が可能な論理プログラミング言語「中学$Prolog」により 本格的な「自然文推論」分野のデファクトスタンダードを目指す思考プログラミング環境を開発してきました ◆長所◆ 1)ディープラーニングと異なり、論理であるため判断根拠や思考過程についての説明責任を果たすことが容易。 2)自然言語に許された本来の自由度(表記ゆれ、方言、外国語、新語、等)にしなやかに対応(相互変換)。 3)子供達に構成要件(AND)や選択肢(OR)、NOT等の論理を自分の言葉で本格的に考える経験を提供。 4)おばあちゃんに「お茶の間から音声対話で世界を冒険する楽しみ」を提供。 5)疲れたり、勉強不足だったりしても、最新の知識と独自の発想・価値観に沿ったアイディア合成が可能。 ◆主な機能◆ A)変数つきの「言葉方程式」のパターンマッチングによる、検索・三段論法・構成要件(AND)の統合 B)便利ないくつものOR(通常、個数の閾値による、重みの和の閾値による、・・・) C)便利な3つのNOT(証明不能、該当する例がない、科学的/道徳的に・・・であるべきでない) ① 言葉方程式で 答えを求める ⓪ あらかじめ入力、又は、 ネットから自動引用した 「自由文による知識たち」 ② コンピュータが、自動で 「自由文による知識たち」を 本格的に組み合わせた 推論をして解答する
  • 2. D)根拠ツリー、推論トレース、差分質問、重文質問、逆質問、四則演算、文字列操作・・・ E)前向き推論による提案/後向き推論による解答/2種類の自発的あいさつ構文/タイマーによる起動 F)業務用/遊戯用アドベンチャーゲーム用のマルチメディア制御、音声認識、音声合成、手続的解釈 G)「価値観や程度の定義」と価値観(・・・であるべき/でない)に沿ったアイディアの自動合成(企業) H)インターネット知識の実行時取込(2種類)、高速化キャッシュ、半自動目視枝刈り・・・ I)文脈を本格的に管理した汎用AI/汎用RPG/SemanticWebのための論理サーフィンブラウザ ◆知財 ◆2011 年から 7 年間の開発の成果である、スクラッチからの完全オリジナル VC++ソースコード (C言語と同じ時期に開発された PROLOG はおおいに尊敬しつつ、いずれのソースコードも、参考も引用もしていない) ◆特許(国内・国際)その他数件 ☆特許 5246680 アドベンチャーゲーム(又は相談システム)における複数制作者ソースの動的結合 ☆特許 6263858 自由文による思考プログラミングの基本特許(国際出願番号 PCT/JP2014/005571) ☆特許 6799731 自由文思考プログラミングにおいて利用者から必要な知識等を獲得する方法、その他5件程度 ◆特許出願(未公開分除く)25件 □特願 2017-192296 自由文思考プログラミングを用いたLinkedOpenRPG □特願 2017-092076 〃を用いたアイディア合成 □特願 2017-092057 〃のための新たな否定 □特願 2017-092047 〃のための新たなOR □特願 2016-228425 〃のための知的音声認識 □特願 2016-224596 〃と広告との組み合わせ □特願 2016-216820 LinkedOpenRPG的音声認識 □特願 2016-210096 〃のための独自の目視半自動枝刈り高速化方法 □特願 2016-200618 〃のための音声対話の難読文字対応 □特願 2016-196069 〃のための音声対話の音声認識対話の効率向上 □特願 2016-165180 〃のための独自の高速化方法 □特願 2016-103010 〃のための表記ゆれリスク対応 □特願 2016-009324 〃のための入力やコーディングの効率化 □特願 2015-248091 〃を用いた一般教科の勉強方法 □特願 2015-234356 〃を用いた程度や価値観の定義・比較方法 □特願 2015-219007 〃における動的外部知識取り込み(LinkedOpenRule:LORと略します) ◆商標登録 「HUMANOTE」「中学$Prolog」「論理サーフィンブラウザ」「自由文演繹」「自然文推論」「言葉方程式」 「LinkedOpenRPG」「LinkedOpenRule」「自由文思考プログラミング」「哲学プログラミング」等、15件 ◆操作マニュアル(β版) https://humanote.xyz/manual/ □Window10用(日本語64ビット用) 個人用1クライアント 99,000円(税込) □Window10用(日本語64ビット用) 法人用10クライアント 495,000円(税込) □Linuxサーバー用ライセンス(1台) 4,950,000円(税込) □node.js バージョン(JavaScript による機能サブセットの実装版) 価格についてはご相談下さい ※いずれも、保守・バージョンアップサービス期間は5年間となります ※その後は、定価の 10%にて年間保守・バージョンアップに対応します お問合せ先 ナレルシステム株式会社 代表 中村圭介(keisuke@marusei-sk.com) 〒920-0348 石川県金沢市松村2-95 TEL +81-76-213-5211 FAX 076-213-5239 詳細説明 https://knowrel.com/ 2019~受賞等 第55回石川県発明くふう展 金沢市長賞 日本ソフトウエア科学会全国大会 優秀発表賞 国際発明協会主催世界天才会議 AI部門賞 中部地方発明表彰 奨励賞 日本情報処理学会 第61回プログラミングシンポジウム講演