过去の公开讲座ARCHIVE
第131回(2020年秋季)东京大学公开讲座
「论理」
第131回(2020年秋季)东京大学公开讲座「论理」
开催日时?プログラム
SCHEDULE/PROGRAM
时间 | 讲义题目 | 讲师 | 所属?职名 |
---|---|---|---|
12:50-13:00 | 开讲の挨拶 | 时弘 哲治 | 企画委员长/数理科学研究科长 |
13:00-13:40 | 「论理学とは何か?」 | 纳富 信留 | 人文社会系研究科 教授 |
13:55-14:35 | 「数学を论理で読む」 | 新井 敏康 | 数理科学研究科 教授 |
14:50-15:30 | 「计算と论理」 | 小林 直树 | 情報理工学系研究科 教授 |
15:45-16:35 | 総括讨议 | 河澄 响矢 | 数理科学研究科 教授 |
时间 | 讲义题目 | 讲师 | 所属?职名 |
---|---|---|---|
13:00-13:40 | 「础滨の论理と伦理」 | 广野 喜幸 | 情報学環 教授 |
13:55-14:35 | 「法学の論理,憲法学の論理 」 | 小岛 慎司 | 法学政治学研究科 教授 |
14:50-15:30 | 「子どもの论理的思考を豊かに育む教育」 | 藤村 宣之 | 教育学研究科 教授 |
15:45-16:35 | 総括讨议 | 冲野 眞已 | 法学政治学研究科 教授 |
时间 | 讲义题目 | 讲师 | 所属?职名 |
---|---|---|---|
13:00-13:40 | 「政策とビジネスのための因果推论」 | 渡辺 安虎 | 経済学研究科 教授 |
13:55-14:35 | 「物理法则と论理が生み出す情报セキュリティ」 | 小芦 雅斗 | 工学系研究科 教授 |
14:50-15:30 | 「动的システムの推论」 | 矢入 健久 | 工学系研究科 教授 |
15:45-16:35 | 総括讨议 | 藤井 康正 | 工学系研究科 教授 |
16:35-16:45 | 闭讲の挨拶 | 藤井 辉夫 | 理事?副学长 |
インターネット动画公开
春雨直播app.TV
公开讲座の讲义をインターネットで公开しています。讲义终了后、公开まで6ヶ月以上かかりますのでご了承ください。
2020年11月7日
2020年11月7日
2020年11月7日
2020年11月22日
2020年11月22日
2020年11月22日
2020年11月28日
2020年11月28日
过去の公开讲座一覧
ARCHIVES
■开讲にあたって
学问としての论理学は伝统的には哲学の一分野ですが、近世になって数理论理学という分野が生まれ、ゲーデルの不完全性定理などで有名な数学の基础を支える集合论や証明论の発展に贡献してきました。また、数理论理学における重要な理论の一つであるチューリング机械の理论はコンピュータ科学の基础であり、スマートフォンなどに组み込まれたコンピュータは、论理回路を用いた论理演算を用いて大规模なデータ解析や情报伝达を行い私たちの社会生活を支えています。最近では、従来の0か1の入力に対して0または1を出力する论理回路ではなく、量子状态に量子状态を対応させる量子论理回路による量子コンピュータの研究が进んでいます。自动运転やスマートシティを実现させ、私たちの生活を大きく変えると考えられている人工知能(础滨)は、必ずしも人间と同じ论理で动いていないようです。また、裁判や子供たちの教育といった社会活动においては,机械的に论理を展开することは困难でしょう。今回の公开讲座では,こうした题材をもとに、様々な视点から论理のあり方や论理の役割について皆さんと一绪に考えて行きたいと思います。
第131回东京大学公开讲座企画委员会
委員長 時弘 哲治
(东京大学数理科学研究科长)