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

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

10/10 全部白鍵という不思議なキーボード「クロマトーン」を入手した

今日はクロマトーンCT312を引き取りに原宿まで行ってきた。入鹿山さんがFacebookに手数料だけでもらえると投稿したので知り,手数料を振り込んでおいたのだけど,1か月以上放置していた。先方からそろそろ引き取って欲しいと督促が来たので,今日行ったというわけ。
続きを読む