MENU
  • Home
  • 講演資料（テーマ別）
    • 量子コンピュータ
    • Deep Specification
    • 人工知能
    • ディープ・ラーニング
    • 言語理論
    • 数学
    • 哲学
    • クラウド
    • Android
  • 講演資料（セミナー別）
    • マルレク
    • マルゼミ
    • マルラボ
    • クラウド研究会
    • 角川セミナー
    • 楽しい数学
    • その他の講演
  • YouTube
  • Podcast
    • マルレク Podcast
    • 量子優越性とは何か？
    • たとえ話で理解する量子の世界
    • 量子余話
    • お知らせ
  • Facebook Page
    • 丸山不二夫
    • マルレク＋MaruLabo
  • About Us
    • マルレク — これまでの取り組み
    • MaruLaboについて

MaruLabo

  • Home
  • 講演資料（テーマ別）
    • 量子コンピュータ
    • Deep Specification
    • 人工知能
    • ディープ・ラーニング
    • 言語理論
    • 数学
    • 哲学
    • クラウド
    • Android
  • 講演資料（セミナー別）
    • マルレク
    • マルゼミ
    • マルラボ
    • クラウド研究会
    • 角川セミナー
    • 楽しい数学
    • その他の講演
  • YouTube
  • Podcast
    • マルレク Podcast
    • 量子優越性とは何か？
    • たとえ話で理解する量子の世界
    • 量子余話
    • お知らせ
  • Facebook Page
    • 丸山不二夫
    • マルレク＋MaruLabo
  • About Us
    • マルレク — これまでの取り組み
    • MaruLaboについて

セミナー情報

  1. HOME
  2. セミナー情報
2020年2月1日

次回マルレク「量子コンピュータの現在」は、2月17日開催です。

概要は、このリンクをご覧ください

講演資料

  • 論理学入門 II — ラムダ計算と関数型言語 2020年3月14日
  • 量子コンピュータの現在 — 量子優越性のマイルストーンの達成 — 2020年2月16日
  • 論理学入門 I — 命題論理の演繹ルール 2020年1月21日
  • IT技術とCoqの世界 – 証明 = プログラム = 計算の意味を考える 2019年11月27日
  • はじめてのCoq 2019年11月7日
  • プログラムと論理 2019年10月9日
  • ソフトウェア・エンジニアリングの新しい潮流 — Deep Specificationの世界 2019年9月22日

Podcast

  • マルレク Podcast「量子コンピュータの現在 — 量子優越性のマイルストーンの達成 –」 2020年2月19日
  • 量子優越性とは何か(6) — 量子優越性への「批判」 2020年2月12日
  • 量子優越性とは何か(5) — Googleの実験への批判 2020年2月11日
  • 量子優越性とは何か(4) — NISQ時代の量子技術のマイルストーン 2020年2月8日
  • 量子優越性とは何か(3) — 現在の到達点 NISQ時代の始まり 2020年2月7日
  • たとえ話で理解する量子の世界(6) — すこし、まとめておこう 2020年2月6日
  • 量子優越性とは何か(2) — 長く困難な道のり 2020年2月5日
  • 量子優越性とは何か(1) — 量子コンピュータの難しさ 2020年2月4日
  • たとえ話で理解する量子の世界(5) — 観測の「確率」はどこからでてくるのか？ 2020年2月2日
  • たとえ話で理解する量子の世界(4) — 「数」にもいろいろある 2020年2月1日

YouTube

  • 「まるまるの哲学チャンネル～映画”ジョーカー”について数理哲学者と声優が語る～」 2020年2月1日
  • 「はじめてのCoq」 2019年11月7日
  • 量子過程を図解する「String Diagram入門」 2019年9月25日
  • 「型の理論」入門 2019年9月25日
  • テンソルとは何か？ Tensor Network 入門 2019年9月25日

資料テーマ別

  • Android
  • Deep Specification
  • deep-spec
  • クラウド
  • ディープ・ラーニング
  • 人工知能
  • 哲学
  • 数学
  • 言語理論
  • 量子コンピュータ

セミナー開催情報

  • 次回マルレク「量子コンピュータの現在」は、2月17日開催です。
  • Home
  • 講演資料（テーマ別）
  • 講演資料（セミナー別）
  • YouTube
  • Podcast
  • Facebook Page
  • About Us

Copyright © MaruLabo All Rights Reserved.

Powered by WordPress with Lightning Theme & VK All in One Expansion Unit by Vektor,Inc. technology.