各地で推論型プログラミング教室を実施していただくための永久無料基本機能オープンベータ版マニュアル
•
1 gostou•391 visualizações
各地で推論型プログラミング教室を実施していただくための永久無料の基本機能に限ったオープンベータ版の電子マニュアルです。Windows版ソフトウエアのダウンロードはhttps://knowrel.com/からお願いいたします。ＭＡＣ版、外国語版を一緒に開発していただける、各国への普及に協力していただけるパートナー（各国現地法人、各国政府、自治体、教育機関）を探しています。どうぞよろしくお願いいたします。
Recomendados
Mais conteúdo relacionado
Mais de Keisuke NAKAMURA
Mais de Keisuke NAKAMURA (20)
Último
Último (20)
各地で推論型プログラミング教室を実施していただくための永久無料基本機能オープンベータ版マニュアル
- 1. ＨＵＭＡＮＯＴＥ／中学＄Ｐｒｏｌｏｇ３．３ 永久無料基本版の簡易マニュアル ナレルシステム株式会社 ◆インストール ◆画面の説明 ◆まずは、動かしてみよう ※２０１６年夏金沢市様主催の教室のスライド例 ◆基本機能の説明 ◆今後に向けて 9/29/2017３．３永久無料基本版の簡易マニュアル 第一版 ©2012-2017 KnowrelSystem,Inc. All rights reserved. 複写等の際はご相談ください。 1
- 2. ◆インストール（１） □動作要件 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のダウンロード 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 2
- 3. ◆インストール（２） □０．【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 （順番３） 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 3
- 4. ◆インストール（３） □インストーラ実行 WindowsのバージョンおよびＯＳのビット数（機械のではない）を確認してください。 以下のいずれかのインストーラ（※）を実行します（２００ＭＢ以上の空きが必要です）。 win7_32bit_setup.exe win7_64bit_setup.exe win10_32bit_setup.exe win10_64bit_setup.exe 使用許諾契約書を確認して、ドキュメントフォルダ等にインストールして下さい。 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 4
- 6. 6 ◆まずは、動かしてみよう □２０１６年７月に金沢市様主催のプログラミング教室の例に沿って説明いたします。 対象： 小学生高学年～大人向け 分量： ３６頁 目安： ９０分授業用
- 13. インストールの時間（ＵＳＢで起動時は不要） 【Windows10のＰＣをおもちの方】 ①３２ビット版か６４ビット版かを確認し、ＵＳＢから該当するインストーラを起動して ください。 ②ライセンス認証されていない旨のエラーを無視して起動し、 メニューの【ＨＥＬＰ】の【ライセンス認証】からＩＤとメールアドレスとパスワードを 入力してください。Ａ３の大きい紙の上部に、ＩＤとパスワードを記載しています。 【Windows７のＰＣをおもちの方】 上の①②実行する前に、以下をインストールしてください。 dotNetFrameWork4.5（ネットワークインストール） ３２ビット版の方 ⇒ MS_SSPEECH_TTS_HARUKA, SpeechPlatFormRuntimeの２つ ６４ビット版の方 ⇒ MS_SSPEECH_TTS_HARUKA, SpeechPlatFormRuntime SpeechPlatFormRuntime64の３つ 9/29/2017 13
- 42. ◆基本機能の説明 上の例では三段論法、変数、音声合成に触れましたが、 その他の基本的な機能も簡単に説明します。 質問文と後向推論 根拠ツリー 推論トレース リスト移動と経過のリセット マルチメディア、録音 挨拶（簡単な前向推論） 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 42
- 43. ◆質問文と後向推論 □例えば、「？ぼくが＄Ｘ」という「質問文」を送信したとき、 事実（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に何が代入されるかにより同一化できる可能性があるからです。 この場合、「アイスクリームは涼しくなる :-アイスクリームは冷たい ; 冷たいは涼しくなる」というルールへと具体化されて、解答につながります。 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 43
- 44. ◆根拠ツリーの読み方 -> 好きな$X :$X = 食べ物はカレー ある解 ？好きな$X 質問文の確認 3 好きな食べ物はカレー 行番 根拠事実 ・・・中略・・・ :$X = ものは辛い 別の解 ？好きな$X [9] 好きなものは$A :- 好きな食べ物は$B ; $Bは$A ; [行番] 根拠となる思考ルール - 3 好きな食べ物はカレー 行番 条件１と一致する事実１ 4 好きな食べ物はアイスクリーム 行番 条件１と一致する事実２ - 6 カレーは辛い 行番 条件１及び２と一致する事実 １ = ・・・後略・・・ 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 44 単純な ツリー 複雑な ツリー 条件１ 条件２ 条件１と一致 条件１＆２と一致
- 45. ◆推論トレース（質問文の答えがある場合） 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 45 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 = ものはコミカル ９行目のルールが条件１と一致した状態のトレース ９行目のルールが条件１＆２と一致した状態のトレース １０行目のルールが条件１と一致した状態のトレース １０行目のルールが条件１＆２と一致した状態のトレース ３,４,５行目の各事実と一致して答えを出した処理のトレース ＯＲ条件 となる別 のルール
- 46. ◆リスト移動と経過のリセット □より適切なプログラムに移動したり、戻ったり、対話や推論の経過をリセットしたりします。 ○○○ :- #gof "ファイル名" ； 現在のリストを"ファイル名"に移動します。 ○○○ :- #ret ； 前のリストに戻ります。 ○○○ :- #home ； 現在のリストを「ホームリスト」に移動します。 ○○○ :- #cc ； 現在のリストから一時文脈を全てクリア（＝経過をリセット）します。 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 46
- 47. ◆マルチメディア（１） □５種類のコマンドについて説明します。実行できた場合の「条件」としての結果は真です。 マルチメディアの動画再生 "#M "□□□“ 動画ファイル（□□□）を別のウィンドウに再生します。 ※アンダーバーをつけて「#Ｍ_」とした場合、終了を待たずに次のコマンドに進みます（他も同じ）。 マルチメディアの音声再生 #S "□□□“ 音声ファイル（□□□）を別のウィンドウに再生します。 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 47
- 48. ◆マルチメディア（２） マルチメディアの静止画表示 #I "□□□" 静止画ファイル（□□□）を別のウィンドウに表示します。 マルチメディアのテキスト表示 #T "□□□" ファイル（□□□）内のテキストを別のウィンドウに表示します。 ブラウザ表示 #B "□□□" URL（□□□）のＨＴＭＬデータを別のウィンドウに表示します。 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 48
- 49. ◆録音 「録音」ボタンで録音を開始し、終了ボタン（■）で録音を終了します。 マイクが予めインストールされている必要があります。 カレントディレクトリに録音したデータがwavファイルで保存されます。 録音後に自動的に表示される以下のようなコマンドを入力欄から送信すると、録音した 音声が再生されます。 #S “C:¥Users¥owner¥・・・.wav“ このコマンドはルールの中からも用いて、再生することができます。 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 49
- 50. ◆挨拶（簡単な前向推論） □このシステムは後向推論が基本ですが、簡単な挨拶にも対応しています。 ○□○ ; ○△○ :: □□□ ; △△△ ; ○○○ ; 入力欄や音声合成による質問文が左辺のいずれか（ ○□○または○△○ ）とマッチ（完全一致）し た場合、右辺のいずれか（ □□□ 、 △△△、または ○○○ ）をランダムに応答します。 簡単な例 こんにちは ; 晴れましたね :: こんにちは ; いい天気ですね ; ///★「？こんにちは」か「？晴れましたね」と質問すると「こんにちは」か「いい天気ですね」と回答してくる。 こんばんは :: こんばんは ; おつかれさまです ; ///★「？こんばんは」と質問すると「こんばんは」か「おつかれさまです」と回答してくる。 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 50
- 51. ◆最後に ご利用いただき、まことにありがとうございました。 ご不明な点、ご意見、ご相談等は、お手数ですが以下にお問い合わせください。 ◆郵便 〒920-0348 石川県金沢市松村２－９５丸誠商会ビル内 ナレルシステム株式会社 中村／安藤 宛 ◆代表電話番号 076-213-5211 （受付時間 8:45～12:00 13:00～16:15） ◆ＦＡＸ番号 076-213-5239 ◆公開メールアドレス info@humanote.xyz 2017/9/29（Ｃ）２０１７ ナレルシステム株式会社 51