中学$Prolog1.3での論理プログラミング教室の例

1. ２０１６夏休み（７・２６）
ＩＴビジネスプラザ武蔵
小学生向け
プログラミング教室
主催 金沢市ものづくり産業支援課 笠井陽平 山田康浩
講師 ナレルシステム株式会社 中村圭介 安藤建剛
1/21/2017
1

2. 身近な人工知能（１）
1/21/2017
2

3. 身近な人工知能（２）
1/21/2017
3

4. 身近な人工知能（３）
1/21/2017
4

5. 身近な人工知能（４）
1/21/2017
5

6. これからの人工知能 ～より身近に～
1/21/2017
6

7. 今日は
これを使ったプログラミングをしてみよう
1/21/2017
7

8. インストールの時間
【Windows10のＰＣをおもちの方】
①３２ビット版か６４ビット版かを確認し、ＵＳＢから該当するインストーラを起動して
ください。
②ライセンス認証されていない旨のエラーを無視して起動し、
メニューの【ＨＥＬＰ】の【ライセンス認証】からＩＤとメールアドレスとパスワードを
入力してください。Ａ３の大きい紙の上部に、ＩＤとパスワードを記載しています。
【Windows７のＰＣをおもちの方】
上の①②実行する前に、以下をインストールしてください。
dotNetFrameWork4.5（ネットワークインストール）
３２ビット版の方 ⇒ MS_SSPEECH_TTS_HARUKA, SpeechPlatFormRuntimeの２つ
６４ビット版の方 ⇒ MS_SSPEECH_TTS_HARUKA, SpeechPlatFormRuntime
SpeechPlatFormRuntime64の３つ
1/21/2017
8

9. ロボットの知能を詳しく見てみると
名前、年令、
好きなものを
憶えている
刺激を感じ
新しい情報や
質問を理解する
発音する
行動する
考える
判断する
知識と経験
考え方や解き方を
憶えている
感情を決定する
参考：https://athome-kaigo.jp/wp-content/uploads/2015/07/30067b38071d65893324531229c088a2-1024x713.png
創造する
計画する
1/21/2017
9

10. 今日ここでプログラミングしたいこと
名前、年令、
好きなものを
憶えている
知識や経験
考え方や解き方を
憶えている
刺激を感じて
新しい情報や
質問を理解する
発音する
行動する
考える
判断する
感情を決定する
創造する
計画する
1/21/2017
10

11. 本日プログラミングする内容（①～⑦順）
①名前、②年令
③④好きなもの
を憶えている
⑤知識や経験
⑥考え方
⑦解き方
を憶えている
刺激を感じ
新しい情報や
質問を理解する
発音する
行動する
考える
判断する
感情を決定する
創造する
計画する
レベル１
レベル２
レベル３
レベル４
1/21/2017
11

12. 名前はけいすけ
プログラミングする内容（例①）
おぼえもん
自分の名前を
おぼえさせます
レベル１
下の入力欄へ
（色はつかない）
1/21/2017
12

13. 名前はけいすけ
プログラミングする内容（例①）
おぼえもん
名前は＄Ｘ
ちゃんと憶えたか
たずねてみましょう！
「名前は・・・」の場合、
「なまえは・・・」では
うまく答えられません。
このように、
プログラミングでは、
言葉づかいを合わせる
必要があります。
＄Ｘは、
人工知能に
答えをいれてもら
うための箱です。
変数ともいいます。
これも下の入力欄へ
（色はつかない）
1/21/2017
13

14. 名前はけいすけ
プログラミングする内容（例①）
おぼえもん
名前は＄Ｘ
けいすけ
音がでない場合は、
上のメニューの
【操作／表示】
【音声合成】
にチェックを入れて
ください
1/21/2017
14

15. 名前はけいすけ
プログラミングする内容（例②）
おぼえもん
年令は１０才
自分の年令を
おぼえさせます
レベル１
1/21/2017
15

16. 名前はけいすけ
プログラミングする内容（例②）
おぼえもん
年令は１０才
年令は＄Ｘ
ちゃんと憶えたか
たずねてみましょう！
1/21/2017
16

17. 名前はけいすけ
プログラミングする内容（例②）
おぼえもん
年令は１０才
年令は＄Ｘ
１０才
1/21/2017
17

18. 名前はけいすけ
プログラミングする内容（例③）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きな
食べものを
いくつでも
おぼえさせます
※実際に好きな食べ物
レベル１
入力欄へ
（色はつきません）
1/21/2017
18

19. 名前はけいすけ
プログラミングする内容（例③）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きな食べものは＄Ｘ
ちゃんと憶えたか
たずねてみましょう！
1/21/2017
19

20. 名前はけいすけ
プログラミングする内容（例③）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きな食べものは＄Ｘ
アイスクリーム
ハンバーグ
1/21/2017
20

21. 名前はけいすけ
プログラミングする内容（例④）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きなスポーツはサッカー
好きなスポーツは水泳
レベル１
好きな
スポーツを
いくつでも
おぼえさせます
※実際に好きなスポーツ
1/21/2017
21

22. 名前はけいすけ
プログラミングする内容（例④）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きなスポーツはサッカー
好きなスポーツは水泳
好きなスポーツは＄Ｘ
ちゃんと覚えたか
たずねてみましょう！
1/21/2017
22

23. 名前はけいすけ
プログラミングする内容（例④）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きなスポーツはサッカー
好きなスポーツは水泳
好きなスポーツは＄Ｘ
サッカー
水泳
1/21/2017
23

24. 名前はけいすけ
プログラミングする内容（例④）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きなスポーツはサッカー
好きなスポーツは水泳
好きな＄Ｘ
食べものも
スポーツも
すきなものを全部憶えたか
たずねてみましょう！
1/21/2017
24

25. 名前はけいすけ
プログラミングする内容（例④）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きなスポーツはサッカー
好きなスポーツは水泳
好きな＄Ｘ
さて
どうなる？
レベル１
1/21/2017
25

26. 名前はけいすけ
プログラミングする内容（例④）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きなスポーツはサッカー
好きなスポーツは水泳
好きな＄Ｘ
食べものはアイスクリーム
食べものはハンバーグ
スポーツはサッカー
スポーツは水泳 ＜正解＞
1/21/2017
26

27. 名前は？？？？
自己紹介＆交流＋休憩タイム（５＋５分）
？？？？？
年令は？？才
好きな食べもの？？？？？？？？
好きな食べものは？？？？？
好きなスポーツは？？？？
好きなスポーツは？？
好きな＄Ｘ
年令は＄Ｘ
名前は＄Ｘ
近くのお友達の
ＰＣを借りて
どれかを
きいてみよう！
画面の枠線を
移動すれば
プログラムを
秘密に
できます
1/21/2017
27

28. 名前はけいすけ
プログラミングする内容（例⑤）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きなスポーツはサッカー
好きなスポーツは水泳
レベル２
アイスクリームは冷たい
ハンバーグは熱い レベル２
好きな
食べものの
⑤知識や経験
をいくつでも
追加入力
入力欄へ
（色はつかない） 1/21/2017
28

29. 名前はけいすけ
プログラミングする内容（例⑥）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きなスポーツはサッカー
好きなスポーツは水泳
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
レベル３
アイスクリームは冷たい
ハンバーグは熱い
⑥考え方や解き方
を用語を合わせて
追加入力
「好きな食べもの」がもっている性質
⇒「ぼくが食べているもの」の性質（自然法則）
当たり前だけど
人工知能には
教える必要がある
⑥考え方や解き方
を用語を合わせて
追加入力
29

30. 名前はけいすけ
プログラミングする内容（例⑥）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きなスポーツはサッカー
好きなスポーツは水泳
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
レベル３
アイスクリームは冷たい
ハンバーグは熱い
ぼくが＄Ｘ
たずねて
みる！
1/21/2017
30

31. 名前はけいすけ
プログラミングする内容（例⑥）
おぼえもん
年令は１０才
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
好きなスポーツはサッカー
好きなスポーツは水泳
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
レベル３
アイスクリームは冷たい
ハンバーグは熱い
ぼくが＄Ｘ
食べているものは冷たい
食べているものは熱い
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
教えてない
のに
つながってる！
1/21/2017
31

32. プログラミングする内容（例⑦）
おぼえもん
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
レベル４
アイスクリームは冷たい
ハンバーグは熱い
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
冷たいは涼しくなる
熱いはやけどに注意
＄Ａは＄Ｂ：－＄Ａは＄Ｃ；＄Ｃは＄Ｂ；
「・・ということは○○」を
いくつでも追加
「△ということは○」と
「○ということは□」から
「△ということは□」を導けるように
解き方（推移律）を人工知能に追加
名前、年令、スポーツ
は、今は表示を省く
1/21/2017
32

33. プログラミングする内容（例⑦）
おぼえもん
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
レベル４
アイスクリームは冷たい
ハンバーグは熱い
ぼくが＄Ｘ
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
冷たいは涼しくなる
熱いはやけどに注意
＄Ａは＄Ｂ：－＄Ａは＄Ｃ；＄Ｃは＄Ｂ；
たずねてみる！
1/21/2017
33

34. プログラミングする内容（例⑦）
おぼえもん
好きな食べものはアイスクリーム
好きな食べものはハンバーグ
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
レベル４
アイスクリームは冷たい
ハンバーグは熱い
ぼくが＄Ｘ
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
冷たいは涼しくなる
熱いはやけどに注意
＄Ａは＄Ｂ：－＄Ａは＄Ｃ；＄Ｃは＄Ｂ；
食べているものは冷たい
食べているものは涼しくなる
食べているものは熱い
食べているものはやけどに注意
1/21/2017
34

35. プログラミングする内容（おまけ）
おぼえもん
ぼくと○○は友達
○○と□□は友達
レベル４
＄Ａから＄Ｂへ伝言可能：－＄Ａと＄Ｂは友達；
□□と△△は友達
△△と☆☆は友達
＄Ａから＄Ｂへ伝言可能：－＄Ａと＄Ｃは友達；＄Ｃから＄Ｂへ伝言可能；
ぼくから＄Ｘへ伝言可能
たずねてみる！
○○、□□、
△△、☆☆は
実際の友達を
入力してね
いわゆる
漸化式
のイメージを
人工知能に
教えます
1/21/2017
35

36. ２０１６年夏のプログラミング教室
名前は
年令は 才
好きな食べものは
好きな食べものは
好きなスポーツは
好きなスポーツは
ぼくが食べているものは＄Ａ：－好きな食べものは＄Ｂ；＄Ｂは＄Ａ；
は
は
は
は
＄Ａは＄Ｂ：－＄Ａは＄Ｃ；＄Ｃは＄Ｂ；
1/21/2017
36