小6におすすめな言語 (540ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
500: sage 2021/06/06(日)19:38 ID:n4lTECsD(1/2) AAS
なんでPrologが小学生云々なのかと思ったら、ここでなんか話してたのか。
論理的思考には、決定的な論理的思考と非決定的な論理的思考があって、通常のプログラミング言語は決定的な論理思考が鍛えられる。
しかし一方で、非決定的な論理的な思考が弱まる傾向があるように思うので、非決定的な論理的思考を身につけるためにPrologを教える価値はあると思います。
ただPrologで自動証明ができない問題もあるので限界もありますよね。
言語を理解するためのメタな言語としてもPrologは良いですよ。
バックトラックやカットは難しいよなぁ。
中学校でようやく文法や証明を勉強して、述語論理をプログラミングの世界で本格的に使うのは直観主義論理で証明とか捜査的意味論とか型理論とかなのでムズイw
501: sage 2021/06/06(日)19:39 ID:n4lTECsD(2/2) AAS
しかし今時の中学生はコンパイル作ったりするのでテキスト次第ではPrologで言語をちょろっと実装してみる小学生とかが出てきても不思議ではないですね。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s