はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ ミンスキー

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 2 / 2件)
 

人工知能は「音楽」なのかもしれない:“AIの父”マーヴィン・ミンスキーが残した謎|WIRED.jp

2017/08/12 このエントリーをはてなブックマークに追加 113 users Instapaper Pocket Tweet Facebook Share Evernote Clip 人工知能 WIRED.jp 音楽 親交 黎明期

INSIGHT 2016.05.22 SUN 18:00 人工知能は「音楽」なのかもしれない:“AIの父”マーヴィン・ミンスキーが残した謎 昨今ますます盛り上がる人工知能研究の黎明期を切り開いた、「AIの父」マーヴィン・ミンスキー。惜しくも2016年1月に亡くなった彼にとってのAIとは、何だったのだろう? MITメディアラボ客員研究員時代にミンスキー本人と親交のあった服部桂が綴る、ミンスキーの思い... 続きを読む

なぜLispなのか

2005/05/02 このエントリーをはてなブックマークに追加 276 users Instapaper Pocket Tweet Facebook Share Evernote Clip LISP ゲーデル 体系 性定理 天才

Hofstadter『メタマジック・ゲーム』 ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直... 続きを読む

 
(1 - 2 / 2件)