計算機科学
マルレク・コンテンツ一覧
2023年 2023/01/28「AIは意味をどのように扱っているのか？ -- ChatGPT の不思議」 2023/01/14 「なぜ？で考える ChatGPT の不思議」 2022年 2022/12/24「ことば […]
量子計算の古典的検証
11/26 マルゼミ 「量子計算の古典的検証」について 「量子計算の古典的検証」とは、量子コンピュータが人間の指示通りに働いているか、量子コンピュータの行なった計算が正しいものであるかを、人間がキチンと確かめると言うこと […]
並列・分散アルゴリズムの基礎
7/30 マルレク「並列・分散アルゴリズムの基礎」へのお誘い 7月30日、「並列・分散アルゴリズムの基礎」をテーマにマルレクを開催します。https://concurrent.peatix.com/view 今回のセミナ […]
計算科学とエントロピー
2021/09/30 マルゼミ 「計算科学とエントロピー -- コロモゴロフ複雑性とアルゴリズム論的情報理論」概要 これまで、丸山のセミナーでは、エントロピーについて、主要に、ボルツマン・ギブスらの統計力学的アプローチと […]
エンタングルする認識
2022年 10月29日 エンタングルメント・セミナーを開催します。 本セミナーは、録画されたコンテンツの配信で、生放送ではありません。この日のこの時間帯の都合が悪い人も、申し込みいただければ、いつでも都合のいい時間に、 […]
チューリングマシンの拡大と複雑性
2021/02/26 マルゼミ 「チューリングマシンの拡大と複雑性」概要 私たちの認識は単純なものから複雑なものに進みます。世界は複雑なものであふれているので、我々の認識もどんどん複雑になっていきます。ただ、こうした私た […]
Interactive Proofと複雑性
2021/01/10* マルゼミ「Interactive Proofと複雑性」 「Interactive Proofと複雑性」 YouTube版 Interactive Proof = nonlocalゲーム -- In […]
チューリングマシンを学ぼう！
セミナー概要 「チューリング・マシン」は、今から80年以上前の1936年に、当時24歳だったアラン・チューリングが計算のモデルとして提案した、とてもシンプルな構造を持つ「マシン」です。ある意味、究極のRISCマシンです。 […]