MaruLabo Micro Media -- MMM
誤り訂正符号の初歩—古典と量子 (1)

2021/08/14 第一回「ベクトル空間と線型符号」 講演動画「ベクトル空間と線型符号」 講演資料 「ベクトル空間と線型符号」Viewer / Download

続きを読む
マルゼミ
密度行列 ρ で理解する量子の世界

「密度行列 ρ で理解する量子の世界」概要 量子の世界を記述するには、ベクトルを使うやり方と密度行列を使うやり方があります。二つのアプローチは、量子の世界を記述しようという点では、基本的には同じ能力を持ちます。 ベクトル […]

続きを読む
MaruLabo Micro Media -- MMM
量子、情報、物理 — 量子情報と物理学入門 (4)

2021/07/16 第四回「Holevo情報量とはなにか 」 2021/07/16 21:00~ 公開収録を行います。 Zoom URL 講演資料「Holevo情報量とはなにか 」ダウンロード 講演 […]

続きを読む
MaruLabo Micro Media -- MMM
クラウドアプリケーションのためのオブジェクト指向分析設計講座 概要

セミナー概要 2006年にAWSの最初のサービスであるS3, EC2が公開されてから15年、クラウドプラットフォーム上でWebアプリケーションや業務アプリケーションを構築することが普通になってきました。 クラウドプラット […]

続きを読む
マルレク
ペンローズの宇宙論

2021/07/17 マルレク 楽しい科学 「ペンローズの宇宙論」概要 どこまでも膨張を続け、すべてが光となって、ついには死を迎える宇宙のはるかな未来。 一瞬の光の爆発で始まる宇宙。その前には、時間も空間さえも、なかった […]

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (2)

2021/08/03  第二回「CoqIDEのセットアップ」 講演資料ダウンロード 講演資料 Viewer 講演ビデオ

続きを読む
MaruLabo Micro Media -- MMM
誤り訂正符号の初歩―古典と量子

セミナー概要 情報技術の基盤にある符号理論について学んでいきましょう。誤り訂正符号は、現代の日常生活に不可欠であるとともに、数学や物理との関連でも理論的に興味深い話題がいろいろあります。数学の初歩的なところから、なるべく […]

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (1)

2021/06/27 第一回「Coq環境の紹介」 講演資料 ダウンロード 講演動画

続きを読む
クラウド研究会
Facebookのシステム

Facebookのシステムの変更が進行中です。丸山は、この変更の中心が「いいね」カウンターの廃止にあると考えています。  「新デザインのページに関するよくある質問(FAQ)   https://www.facebook. […]

続きを読む
マルゼミ
HoTT入門 -- 数理科学とカテゴリー論

2021/07/00 マルゼミ「HoTT入門 -- 数理科学とカテゴリー論」 参考資料・ショートムービー カテゴリーを、まずは直観的に理解する (pdf video) “String Diagram”による直観的な表現 […]

続きを読む