哲学

マルレク
エンタングルする自然 —「逆理」から「原理」へ ver.1.0

2022年 10月29日 エンタングルメント・セミナーを開催します。 本セミナーは、録画されたコンテンツの配信で、生放送ではありません。この日のこの時間帯の都合が悪い人も、申し込みいただければ、いつでも都合のいい時間に、 […]

続きを読む
マルゼミ
確率と証明

2020/12/01* マルゼミ「確率と証明」 「確率と証明」解説資料 非決定性チューリングマシンとNPクラス (pdf) 非決定性チューリングマシンと決定性チューリングマシン (pdf) NP完全と数学的証明 (pd […]

続きを読む
マルゼミ
機械と人間のインタラクション

2020/10/31* マルゼミ「機械と人間のInteraction」 機械と人間のInteraction」 ビデオ版 「対話」でわかること 盲人に色を教える — 「対話」が広げる認識能力 人間の「視覚」の拡 […]

続きを読む
マルレク
量子コンピュータ入門

2020/10/17 マルレク基礎 「量子コンピュータ入門」概要 量子コンピュータに対する関心は確実に広がっています。もっとも、量子コンピュータで今日・明日にも世界が変わるわけではありません。ただ、10年-20年のスパン […]

続きを読む
マルレク
人工知能と計算科学 — 計算複雑性入門

2020/09/18 マルレク「人工知能と計算科学」概要 今年、「計算複雑性」という数学の一分野で大きな発見がありました。「それって、ITの世界と何か関係があるの?」と感じる人も多いと思います。確かに直接的にはたいした関 […]

続きを読む
楽しい数学
数学的認識について / 数学の基礎と計算科学

マルゼミ 「Interactive Proof 入門」に向けて  blog集 人は、正しくないことを信ずることがあること 数学者の「不実さ」について 嘘つきが盲人に色を教える話 人は、正しくないことを信ずること […]

続きを読む
その他講演
MIP*=RE References

Main Articles “MIP*=RE“ Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen 2020 […]

続きを読む
その他講演
19/08/01 丸山 x 山賀 対談 「科学と虚構の未来を語る」

遠藤: 丸山不二夫さんと、山賀さんとの対談、「科学と虚構の未来を語る」と題して2時間ほどの予定ですが、さっそく始めたいと思います。 山賀: ガイナックスの山賀です。僕はアニメの監督や、脚本を書く仕事をしています。僕は劇作 […]

続きを読む
マルレク
2018年講演総集編 人工知能技術の課題と展望

2018年講演総集編 人工知能技術の課題と展望 この間、人工知能について考えたこと   ポスト・ディープラーニングの展望 自然言語理解をめぐって 数学的認識をめぐって   量子情報理論について 人工知能論につい […]

続きを読む
角川セミナー
人工知能と哲学

セミナー:2018年12月14日 角川連続セミナー「人工知能を科学する」 セミナー概要 科学と哲学の違い 連続ナイトセミナー「人工知能を科学する」の最終回のテーマは、「人工知能と哲学」です。「人工知能を科学するのに、哲学 […]

続きを読む