「講師」カテゴリーアーカイブ

8/2 中学校で教師対象にScratch講習会の講師をした

今日は中学校で,プログラミング教育を指導する先生方向けのScratch講習会.事前にPowerPointのスライドを作り,『スクラッチドリルブック』(石原正雄著・カットシステム)の各課題を動かして準備万端.micro:bitも取り上げて欲しいというので,こちらも予習しておく.
続きを読む

10/10 大学図書館でPrinpicia Mathematicaを借りて後悔した

人工知能の歴史を検索すると,必ず1955年に開発された人類初の人工知能プログラムLogic Theoreistが取り上げられ,ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の定理を証明したと出てくる。だけど,どんな定理を,どんなプログラムで証明したのかというのがまったく分からない。
続きを読む