好きをブチ抜く

「好き」をブチ抜く

本、映画、科学、哲学、心理、すごい人の考え方など。あらゆる情報を編集したい。

量子コンピュータ知りたい人の一冊目ならこれ【量子コンピュータが本当にわかる!】まとめ・感想

記事の内容 量子コンピュータの正しいイメージを持ちたい。 そんな人にぴったりの本を紹介する。 量子コンピュータが本当にわかる! 量子コンピュータが本当にわかる! ― 第一線開発者がやさしく明かすしくみと可能性 | 武田 俊太郎 |本 | 通販 | Amazon 実際…

クオリアと人工意識【本紹介】 知能研究に足りないことこそ、クオリアだ!

記事の内容 人工知能研究に足りない視点は何か? ・意識はコピーできるか? ・人工知能に意識はうまれるか? 現状活性化している人工知能研究は、統計的な数理に基づいている。その方向へさらに進んでいけば、クオリアの謎の解明、人工意識は可能なのだろう…

機械は意識を持てるか?意識の謎はどこまでわかるか? 意識科学の楽しい入門書

記事の内容 電気回路の塊に過ぎない脳に、なぜ「私」が生じるのか? 私たちも、物体にすぎない。なのに、感情や痛みを感じる。同じ物体である机には意識はない。私たちと机の違いはなんだろう? この意識の謎をよくよく感じてみてほしい。その不思議さに、爆…

証明=プログラム!? 【カリーハワード同型対応】 計算と論理の奥深い関係

この記事の問いと内容 論理と計算との間には深い関係がある。現在のコンピュータサイエンスでは、その応用範囲は広い。 ・計算可能であるとはどういうことか? →理念 ・具体的には、どのようにして計算は行われるのか? →計算モデル論 ・計算手順をうまく記…

【数理論理学、数学基礎論、プログラム理論、計算論】 おすすめ入門本 まとめ

記事の内容 この記事では、数理論理学、数学基礎論、プログラム理論、計算論などの分野にまたがるおすすめな本を紹介したい。 軸として、「コンピュータは数学者になれるか」という本を挙げたい。この本では、巻末にて、さらなる専門書が紹介されている。こ…

【コンピュータは数学者になれるのか?】 人工知能は数学できるか?「証明すること」を深ぼる

この記事の問いと内容 この記事では、「コンピュータは数学者になれるのか 数学基礎論から証明とプログラムの理論へ」という本を紹介したい。数学、論理学、人工知能、プログラムをまたぐ、とんでもなくエキサイティングな本になっている。 ・数学するという…

【論理の哲学】 論理と数学の関係、論理と哲学の関係に迫る

記事の内容 「論理」というものは、どのように研究されてきたのだろうか?? ・論理と数学の関係は? ・論理と哲学の関係は? ・論理と私たちが使う言語の関係は? などなど、興味は尽きない。 「論理」という対象に、どこか興味を惹かれる人もいると思う。 …

チューリングテストと知能と心 【論理と生命と死】

チューリングを受け継ぐ 論理と生命と死 星野力 コンピュータによって計算できることとできないこと。計算とはいったい何かという問いは、「人間は機械なのか」という問いにつながっている。世紀末になってやっとはじまった適応と遺伝による生命の計算にもチ…

【遊戯王と論理的思考】楽しく学べて教育にいいんじゃない?

遊戯王って楽しいし、頭も鍛えられる!! 突然ですが、遊戯王というカードゲームを知っていますか? そして、やっていて「頭も鍛えられるじゃん!」と感じたことはないでしょうか? 私自身、そう感じています。楽しみながら頭も鍛えられるカードゲームってす…

チューリングの考えるキカイ 【書評・まとめ】 コンピュータにできることとできないこと

記事の内容 ・チューリングのどんなアイデアが、コンピュータサイエンスの基礎になっているのか ・AIには何ができて何ができないのか ・「計算する」とはどういうことか ・万能チューリング機械でも、「計算できない問題」とは何か コンピュータの発展は、現…

イミテーションゲーム 【ネタバレ解説】 背景にあるチューリングの理論・学問に迫る

記事の内容 ・映画イミテーションゲームの感想、解説、見所を知りたい・チューリングという人物について・チューリングマシンの概要・学問としての背景はどうなっているんだろう 映画そのものの良質な解説記事はたくさんある。 今回の記事では、映画の解説を…

【ゲーデルの不完全性定理】入門案内 おすすめ本まとめ

不完全性定理に興味ある人へ 「ゲーデルの不完全性定理」という言葉、みなさんは聞いたことがあるでしょうか?簡単に言うと、その名前の通り、数学(の一部)におけるある限界を示した定理です。私自身、この定理の存在を知って以来、その人類の英知の香りに…

不完全性定理入門 from「コンピュータは数学者になれるのか」

不完全性定理に興味ありますよね...? コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ- 作者: 照井一成 出版社/メーカー: 青土社 発売日: 2015/02/24 メディア: 単行本 この商品を含むブログ (11件) を見る こちらのページでま…

心の計算理論とコネクショニズム

心のはたらきの解明へ 心のはたらきを解明しようとする動きの中、認知科学におけるパラダイムはどう変化して行ったのか。心をモデル化するという営みの基本的な考え方はどこから来たのか。ここでは、心の計算理論とコネクショニズムについて確認する。 心の…