哲学

楽しい数学
数学的認識について / 数学の基礎と計算科学

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

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

Main Articles "MIP*=RE" Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen 2020/01 We show […]

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

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

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

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

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

2018年12月14日 角川連続セミナー「人工知能を科学する」 人工知能と哲学 概要:https://lab-kadokawa72.peatix.com/ 資料ダウンロード:http://bit.ly/2wEzAui 資 […]

続きを読む
角川セミナー
楽しい数学 -- 好奇心から広がる数理の世界

6月30日 角川セミナー テーマ:「楽しい数学 -- 好奇心から広がる数理の世界」 概要:https://lab-kadokawa57.peatix.com/ 資料ダウンロード 前半:思考実験/ギリシャ数学 後半:非ユー […]

続きを読む
マルラボ
集合論入門

2018/05/29 MaruLabo数理ナイト「集合論入門」概要 集合論は、19世紀後半に、ドイツの数学者ゲオルグ・カントールが創り出した数学の一分野です。それまでの数学が、微分や積分や無限級数や幾何学的図形や物理的な […]

続きを読む
マルレク
ポスト・ディープラーニングの人工知能技術を展望する

5月22日 マルレク テーマ:「ポスト・ディープラーニングの人工知能技術を展望する」 概要:https://marulec01.peatix.com/ 動画:https://crash.academy/class/278 […]

続きを読む
マルラボ
数理哲学への招待

2018/04/25 MaruLabo数理ナイト「数理哲学への招待」概要 ディープラーニングや量子コンピュータなど、新しいIT技術をすこし詳しく知ろうとすると、いろんな数学的知識が要求されることがあります。そこで立ち止ま […]

続きを読む
マルレク
人工知能の歴史を振り返る

2017/07/31 マルレク「人工知能の歴史を振り返る 」概要 2012年に、研究者とIT業界の中で「ディープラーニング」のブームが起きてから、5年がたとうとしている。現在では、人工知能技術が、我々の生活と未来にとって […]

続きを読む