20171125フォルスパソコン教室への提供資料ドラフト
0 likes276 views
20171119頃からナレルシステムで準備し、パソコン教室と共有してきた教材資料
![◆根拠ツリーの読み方
-> 好きな$X
:$X = 食べ物はカレー ある解
？好きな$X 質問文の確認
3 好きな食べ物はカレー 行番 根拠事実
・・・中略・・・
:$X = ものは辛い 別の解
？好きな$X
[9] 好きなものは$A :- 好きな食べ物は$B ; $Bは$A ; [行番] 根拠となる思考ルール
-
3 好きな食べ物はカレー 行番 条件１と一致する事実１
4 好きな食べ物はアイスクリーム 行番 条件１と一致する事実２
-
6 カレーは辛い 行番 条件１及び２と一致する事実
１
=
・・・後略・・・
56
単純な
ツリー
複雑な
ツリー
条件１ 条件２
条件１と一致
条件１＆２と一致](https://image.slidesharecdn.com/20171125forforce-171124151042/85/20171125-56-320.jpg)
20171125フォルスパソコン教室への提供資料ドラフト
- 1. おしゃべりプログラミング with つなげて広げるＲＰＧ ２０１７年１１月２５日 主催／大徳地区商工振興会 講師／ＦＯＲＣＥパソコン教室金沢松村店 松本仁 伍香裕子 薄谷真理 教材提供／ナレルシステム株式会社 中村圭介 安藤建剛 1
- 2. カリキュラム（45min-90min） ◇まずは他人のサンプルＲＰＧ（「金沢の倉庫から〇〇〇旅行」）をみんなで遊んでみる （１０分） ◇「パソコン教室からの旅の始まり」を足してみる （２０分） ・ローカルファイルの編集の仕方を学ぶ （５分） ・倉庫に「説明音声」を足してみよう （５分） ・小松空港に「おみやげ」を足してみよう （５分） ・ワイキキビーチに足してみよう （５分） ◇自分でつなげたＲＰＧを遊んで、デバッグしてみよう （１５分） ◇友達のＲＰＧを楽しんでみよう （希望者のみ１５分／休憩＆質問） ◇ＲＰＧを効率よく作るための「思考プログラミング」の基本（インストール含む）を学ぶ （希望者のみ３０分） 2
- 3. ◇まずは他人のサンプルＲＰＧ（「金沢の倉庫か ら〇〇〇旅行」）をみんなで遊んでみる（１０分） Windowsの方は、ご自宅でも遊ぶことができます ◆テスト用DOWNLOAD URL（どれか一つだけダウンロードしてください） https://knowrel.com/download/win10_64bit_setup.exe https://knowrel.com/download/win10_32bit_setup.exe https://knowrel.com/download/win7_64bit_setup.exe https://knowrel.com/download/win7_32bit_setup.exe ◆テスト用id 0590999997 ◆テスト用仮MAILアドレス test@humanote.xyz ◆テスト用ライセンスKEY 3d40a968f36ac4191a36b93eef91212b 3
- 4. 4
- 5. ◇「パソコン教室からの旅の始まり」を足してみる ／ローカルファイルの編集の仕方を学ぶ（５分） デスクトップの 20171116_force_demoフォルダに fromforce.jplという ファイルを作ります。 そこに以下の内容を追加します。 --- 現在地=フォルスパソコン教室 ◇倉庫に向かう :- #gof “warehouse.jpl”; 5
- 6. ◇「パソコン教室からの旅の始まり」を足してみる ／倉庫に「説明音声」を足してみよう（５分） 現在地=フォルスパソコン教室 ◇倉庫に向かう :- #gof “warehouse.jpl”; <* ◇思い出す :- 現在地=倉庫 ; _ ; #voice “そういえば、じいちゃんがオ ルゴールを探せって言ってたな”; >* 6
- 7. ◇「パソコン教室からの旅の始まり」を足してみる ／小松空港に「おみやげ」を足してみよう（５分） 現在地=フォルスパソコン教室 ◇倉庫に向かう :- #gof “warehouse.jpl”; <* ◇思い出す :- 現在地=倉庫 ; _ ; #voice “そういえば、じいちゃんがオ ルゴールを探せって言ってたな”; ◇●●を買う :- 現在地=土産物屋 ; ~●●購入済み=〇 ; 所持金=$A 万円 ; {$A>=1} ; _ ; ◇●●購入済＝〇 ; >* 7
- 8. ◇「パソコン教室からの旅の始まり」を足してみる ／ワイキキビーチにも何か足してみよう（５分） 現在地=フォルスパソコン教室 ◇倉庫に向かう :- #gof “warehouse.jpl”; <* ◇思い出す :- 現在地=倉庫 ; _ ; #voice “そういえば、じいちゃんがオル ゴールを探せって言ってたな”; ◇●●を買う :- 現在地=土産物屋 ; ~●●購入済み=〇 ; 所持金=$A万円 ; {$A>=1} ; _ ; ◇●●購入済＝〇 ;所持金=$A万円 ; {$A=$A-1} ; {*所持金=$A 万円} ◇歌を聞く :- 現在地=ワイキキビーチ; #S “▲▲▲.wav”; 所持金=$A万円 ; {$A=$A-1} ; {*所持金=$A万円} >* 8
- 11. 本日は、お疲れ様でした。 ご質問、ご意見等、ご要望等、お気軽にお問い合わせください。 ◆ＦＯＲＣＥパソコン教室金沢松村店 松本仁 〒920-0348 石川県金沢市松村1丁目36 マーヴェラス松村1F T E L :076-266-1661/FAX：076-266-1662 mail：force.kanazawa@gmail.com ◆ナレルシステム株式会社 中村圭介 info@humanote.xyz 11
- 14. ◆インストール（１） □動作要件 Windows 7,8,10に対応、メモリ1GB以上、ディスク空き容量200MB以上 インターネット接続（認証や実行時引用機能に必要） .NET Framework 4 以降のインストール（Windows 7では事前インストールが必要） - 動作要件確認プログラムにより、NET Framework 4 以降がインストールされている かを確認できます。 - 上記のリンクから確認出来ない方は、インストールされた"html"フォルダ配下の "prolog_html.files"フォルダ内の"dotnet-installcheck.bat"をダブルクリックして実行 して下さい。 - .NET Framework 4 Client Profileのダウンロード 14
- 15. ◆インストール（２） □０．【Windows7の場合のみ】事前インストールを実行 Windows7の場合は、先述したとおり、.NetFramework４以上がインストールされているこ とをご確認ください。 また、Windows7の場合は、マイクロソフト社のダウンロードサイトから以下のファイルをダウンロード し、１～３の順番でインストールしてください。 ダウンロードサイト１（https://www.microsoft.com/en-us/download/details.aspx?id=27225） x86_SpeechPlatformRuntime¥SpeechPlatformRuntime.msi （順番１） x64_SpeechPlatformRuntime¥SpeechPlatformRuntime.msi （順番２ ） ※ただし、WindowsがＯＳとして３２ビットの場合 は不要 ダウンロードサイト２（https://www.microsoft.com/en-us/download/details.aspx?id=3971） MSSpeech_TTS_ja-JP_Haruka.msi （順番３） 15
- 16. ◆インストール（３） □インストーラ実行 WindowsのバージョンおよびＯＳのビット数（機械のではない）を確認してください。 以下のいずれかのインストーラ（※）を実行します（２００ＭＢ以上の空きが必要です）。 win7_32bit_setup.exe win7_64bit_setup.exe win10_32bit_setup.exe win10_64bit_setup.exe 使用許諾契約書を確認して、ドキュメントフォルダ等にインストールして下さい。 16
- 17. ◆画面の説明17
- 18. 18 ◆まずは、動かしてみよう □２０１６年７月に金沢市様主催のプログラミング教室の例に沿って説明いたします。 対象： 小学生高学年～大人向け 分量： ３６頁 目安： ９０分授業用
- 19. 身近な人工知能（１）19
- 20. 身近な人工知能（２）20
- 21. 身近な人工知能（３）21
- 22. 身近な人工知能（４）22
- 25. インストールの時間（ＵＳＢで起動時は不要） 【Windows10のＰＣをおもちの方】 ①３２ビット版か６４ビット版かを確認し、ＵＳＢから該当するインストーラを起動して ください。 ②ライセンス認証されていない旨のエラーを無視して起動し、 メニューの【ＨＥＬＰ】の【ライセンス認証】からＩＤとメールアドレスとパスワードを 入力してください。Ａ３の大きい紙の上部に、ＩＤとパスワードを記載しています。 【Windows７のＰＣをおもちの方】 上の①②実行する前に、以下をインストールしてください。 dotNetFrameWork4.5（ネットワークインストール） ３２ビット版の方 ⇒ MS_SSPEECH_TTS_HARUKA, SpeechPlatFormRuntimeの２つ ６４ビット版の方 ⇒ MS_SSPEECH_TTS_HARUKA, SpeechPlatFormRuntime SpeechPlatFormRuntime64の３つ 25
- 36. 名前はけいすけ プログラミングする内容（例③） おぼえもん 年令は１０才 好きな食べものはアイスクリーム 好きな食べものはハンバーグ 好きな食べものは＄Ｘ ちゃんと憶えたか たずねてみましょう！ 36
- 54. ◆基本機能の説明 上の例では三段論法、変数、音声合成に触れましたが、 その他の基本的な機能も簡単に説明します。 質問文と後向推論 根拠ツリー 推論トレース リスト移動と経過のリセット マルチメディア、録音 挨拶（簡単な前向推論） 54
- 55. ◆質問文と後向推論 □例えば、「？ぼくが＄Ｘ」という「質問文」を送信したとき、 事実（1,3,4行目）とルール（2,5行目）により「後向推論」がなされ、答え（解）が出ます。 1: 好きな食べものはアイスクリーム 2: ぼくが食べているものは$A :- 好きな食べものは$B ; $Bは$A ; 3: アイスクリームは冷たい 4: 冷たいは涼しくなる 5: $Aは$B :- $Aは$C ; $Cは$B ; ↓ 「後向推論」 ↓ 答え（解）：｛（:$X = 食べているものは冷たい），（:$X = 食べているものは涼しくなる）｝ 後向推論の基本形は「〇〇〇 :- △△△ ; □□□ ;」であり、「△△△と□□□が成り立つなら〇〇〇」という意味です。 上の例では、2行目の「$Bは$A」部分の成立具合が、5行目の「$Aは$B :- $Aは$C ; $Cは$B ;」というルールの成立具合によって決まります。 「$Bは$A」と「$Aは$B」は「・・・は・・・」という同じ形であり、それぞれの$Aと$Bに何が代入されるかにより同一化できる可能性があるからです。 この場合、「アイスクリームは涼しくなる :-アイスクリームは冷たい ; 冷たいは涼しくなる」というルールへと具体化されて、解答につながります。 55
- 56. ◆根拠ツリーの読み方 -> 好きな$X :$X = 食べ物はカレー ある解 ？好きな$X 質問文の確認 3 好きな食べ物はカレー 行番 根拠事実 ・・・中略・・・ :$X = ものは辛い 別の解 ？好きな$X [9] 好きなものは$A :- 好きな食べ物は$B ; $Bは$A ; [行番] 根拠となる思考ルール - 3 好きな食べ物はカレー 行番 条件１と一致する事実１ 4 好きな食べ物はアイスクリーム 行番 条件１と一致する事実２ - 6 カレーは辛い 行番 条件１及び２と一致する事実 １ = ・・・後略・・・ 56 単純な ツリー 複雑な ツリー 条件１ 条件２ 条件１と一致 条件１＆２と一致
- 57. ◆推論トレース（質問文の答えがある場合）57 0 | 3 ☆好きな食べ物はカレー (0) 0 | 3 →【答え】 $X = 食べ物はカレー 0 | 4 ☆好きな食べ物はアイスクリーム (0) 0 | 4 →【答え】 $X = 食べ物はアイスクリーム 0 | 5 ☆好きな映画はテルマエ・ロマエ (0) 0 | 5 →【答え】 $X = 映画はテルマエ・ロマエ 0 | 9 好きなものは$A (0) 0 | 9.1▽条件1 好きな食べ物は$B 0 | 9.1 | 3 ☆好きな食べ物はカレー (1) 0 | 9.1 | 4 ☆好きな食べ物はアイスクリーム (1) 0 | 9.1 | $B=カレー 0 | 9.1 | $B=アイスクリーム 0 | 9.1△条件1 好きな食べ物は$B 0 | 9.2▽条件2 $Bは$A 0 | 9.2 |1▼ カレーは$A 0 | 9.2 | 6 ☆カレーは辛い (1) 0 | 9.2 |=== $A:辛い 0 | 9.2 |1▲ カレーは$A 0 | 9.2 |2▼ アイスクリームは$A 0 | 9.2 | 7 ☆アイスクリームは冷たい (1) 0 | 9.2 |=== $A:冷たい 0 | 9.2 |2▲ アイスクリームは$A 0 | 9.2 | $A=辛い $B=カレー 0 | 9.2 | $A=冷たい $B=アイスクリーム 0 | 9.2△条件2 $Bは$A 0 | 9: →【答え】 $X = ものは辛い 0 | 9: →【答え】 $X = ものは冷たい 0 | 10 好きなものは$A (0) 0 | 10.1▽条件1 好きな映画は$B 0 | 10.1 | $B=テルマエ・ロマエ 0 | 10.1△条件1 好きな映画は$B 0 | 10.2▽条件2 $Bは$A 0 | 10.2 |1▼ テルマエ・ロマエは$A 0 | 10.2 | 8 ☆テルマエ・ロマエはコミカル (1) 0 | 10.2 |=== $A:コミカル 0 | 10.2 |1▲ テルマエ・ロマエは$A 0 | 10.2 | $A=コミカル $B=テルマエ・ロマエ 0 | 10.2△条件2 $Bは$A 0 | 10: →【答え】 $X = ものはコミカル ９行目のルールが条件１と一致した状態のトレース ９行目のルールが条件１＆２と一致した状態のトレース １０行目のルールが条件１と一致した状態のトレース １０行目のルールが条件１＆２と一致した状態のトレース ３,４,５行目の各事実と一致して答えを出した処理のトレース ＯＲ条件 となる別 のルール
- 58. ◆リスト移動と経過のリセット □より適切なプログラムに移動したり、戻ったり、対話や推論の経過をリセットしたりします。 ○○○ :- #gof "ファイル名" ； 現在のリストを"ファイル名"に移動します。 ○○○ :- #ret ； 前のリストに戻ります。 ○○○ :- #home ； 現在のリストを「ホームリスト」に移動します。 ○○○ :- #cc ； 現在のリストから一時文脈を全てクリア（＝経過をリセット）します。 58
- 59. ◆マルチメディア（１） □５種類のコマンドについて説明します。実行できた場合の「条件」としての結果は真です。 マルチメディアの動画再生 "#M "□□□“ 動画ファイル（□□□）を別のウィンドウに再生します。 ※アンダーバーをつけて「#Ｍ_」とした場合、終了を待たずに次のコマンドに進みます（他も同じ）。 マルチメディアの音声再生 #S "□□□“ 音声ファイル（□□□）を別のウィンドウに再生します。 59
- 60. ◆マルチメディア（２） マルチメディアの静止画表示 #I "□□□" 静止画ファイル（□□□）を別のウィンドウに表示します。 マルチメディアのテキスト表示 #T "□□□" ファイル（□□□）内のテキストを別のウィンドウに表示します。 ブラウザ表示 #B "□□□" URL（□□□）のＨＴＭＬデータを別のウィンドウに表示します。 60
- 61. ◆録音 「録音」ボタンで録音を開始し、終了ボタン（■）で録音を終了します。 マイクが予めインストールされている必要があります。 カレントディレクトリに録音したデータがwavファイルで保存されます。 録音後に自動的に表示される以下のようなコマンドを入力欄から送信すると、録音した 音声が再生されます。 #S “C:¥Users¥owner¥・・・.wav“ このコマンドはルールの中からも用いて、再生することができます。 61
- 62. ◆挨拶（簡単な前向推論） □このシステムは後向推論が基本ですが、簡単な挨拶にも対応しています。 ○□○ ; ○△○ :: □□□ ; △△△ ; ○○○ ; 入力欄や音声合成による質問文が左辺のいずれか（ ○□○または○△○ ）とマッチ（完全一致）し た場合、右辺のいずれか（ □□□ 、 △△△、または ○○○ ）をランダムに応答します。 簡単な例 こんにちは ; 晴れましたね :: こんにちは ; いい天気ですね ; ///★「？こんにちは」か「？晴れましたね」と質問すると「こんにちは」か「いい天気ですね」と回答してくる。 こんばんは :: こんばんは ; おつかれさまです ; ///★「？こんばんは」と質問すると「こんばんは」か「おつかれさまです」と回答してくる。 62
- 63. ◆最後に ご利用いただき、まことにありがとうございました。 ご不明な点、ご意見、ご相談等は、お手数ですが以下にお問い合わせください。 ◆郵便 〒920-0348 石川県金沢市松村２－９５丸誠商会ビル内 ナレルシステム株式会社 中村／安藤 宛 ◆代表電話番号 076-213-5211 （受付時間 8:45～12:00 13:00～16:15） ◆ＦＡＸ番号 076-213-5239 ◆公開メールアドレス info@humanote.xyz 63