2021年7月1日 マルレク 宇宙と生命と知能とエントロピー — ペンローズの宇宙論 2021/07/17 マルレク 楽しい科学 「宇宙と生命と知能とエントロピー — ペンローズの宇宙論」 概要と申し込み https://science-entropy.peatix.com/ 講演資料「宇宙と […]
2021年3月30日 マルゼミ エンタングルする自然 / エンタングルする認識 II 2021/04/10 楽しい哲学「エンタングルする認識」 申し込み https://philosophy-entanglement.peatix.com/ 先のセミナー「エンタングルする自然」では、21世紀の自然観の中核 […]
2021年3月5日 マルレク エンタングルする自然 / エンタングルする認識 I 2021/03/27 マルレク 楽しい科学 「エンタングルする自然」 概要 https://science-entanglement.peatix.com/ 3月のマルレク「楽しい科学」、4月のマルゼミ「楽しい哲学」は […]
2020年12月3日 マルゼミ 「Interactive Proof 入門」 第三部「確率と証明」 2020/12/01* マルゼミ 資料一覧 非決定性チューリングマシンとNPクラス ( pdf video ) 非決定性チューリングマシンと 決定性チューリングマシン ( pdf video ) NP完全と数学的証明 ( […]
2020年10月29日 マルゼミ Interactive Proof 入門 第一部「機械と人間のインタラクション」 2020/10/31* マルゼミ Interactive Proof入門第一部「機械と人間のInteraction」 資料 「対話」でわかること ( pdf video ) 盲人に色を教える — 「対話」が広 […]
2020年10月15日 マルレク 量子コンピュータ入門 2020/10/17 マルレク基礎 概要と申し込み 「量子コンピュータ入門」 講演概要 Part I 量子コンピュータの基礎・ 量子ビット — 量子の状態をベクトルで表現する・ 量子ゲート &# […]
2020年9月14日 マルレク 人工知能と計算科学 2020/09/18 マルレク 概要と申し込み https://ai-computation.peatix.com/ 全講演ビデオ Part I 人工知能技術の10年 Part II 計算可能性理論と 計算複雑性理 […]
2020年8月28日 楽しい数学 数学的認識について / 数学の基礎と計算科学 マルゼミ 「Interactive Proof 入門」に向けて 数学者の「不実さ」について 嘘つきが盲人に色を教える話 人は、正しくないことを信ずることがあること 知ることと信じること 「大貧民」の必勝法 コンピュータが […]
2020年8月18日 その他講演 MIP*=RE References Main Articles “MIP*=RE“ Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen 2020 […]
2020年7月27日 その他講演 19/08/01 丸山 x 山賀 対談 「科学と虚構の未来を語る」 遠藤： 丸山不二夫さんと、山賀さんとの対談、「科学と虚構の未来を語る」と題して2時間ほどの予定ですが、さっそく始めたいと思います。 山賀： ガイナックスの山賀です。僕はアニメの監督や、脚本を書く仕事をしています。僕は劇作 […]
