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”による直観 […]

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

2021/06/20 第三回「シャノンの通信路符号化定理 」 2021/06/18 21:00~ 公開収録を行います。 Zoom URL 講演動画「シャノンの通信路符号化定理 」 講演資料 「シャノンの通信路符 […]

続きを読む
マルゼミ
情報とエントロピー

2021/06/26 マルゼミ「情報とエントロピー 」概要 今回のセミナーのメイン・ストーリーは、次のようなものです。 第一。確率的な分布は、いろんなところに現れます。重要なことは、どんなところに現れる確率分布にも、我々 […]

続きを読む