MENU

Home
講演資料（テーマ別）
講演資料（セミナー別）
YouTube
Podcast
Facebook Page
- 丸山不二夫
- マルレク＋MaruLabo
About Us
- マルレク — これまでの取り組み
- MaruLaboについて

MaruLabo

Home
講演資料（テーマ別）
講演資料（セミナー別）
YouTube
Podcast
Facebook Page
- 丸山不二夫
- マルレク＋MaruLabo
About Us
- マルレク — これまでの取り組み
- MaruLaboについて

セミナー情報

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

2020年2月1日

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

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

Facebook
twitter
Hatena

検索:

講演資料

論理学入門 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.