2020年8月28日

量子通信入門 — 量子テレポーテーションとEntanglement Swapping

2020/08/28 マルゼミ「量子通信入門 — 量子テレポーテーションとEntanglement Swap […]

2020年6月30日

2のn乗の話

2020/06/30 楽しい数学「2のn乗の話」の講演動画です。「2のn乗の話」　講演ビデオ第1章 2の […]

2020年6月20日

2020/06/20 マルレク基礎「ケット |k> で理解する量子の世界」の講演動画です。講演ビデ […]

2020年5月15日

2020/05/15 マルレク基礎「たとえ話で理解する量子の世界」の講演動画です。講演ビデオ Play リ […]

2020年5月5日

2020/05/05 マルレク「AWSでの形式手法の利用」の講演ビデオです。講演ビデオ Playリストで連 […]

2020年3月27日

2020/03/27 マルゼミの講演動画です。全編プレイリスト再生 Part I 「型のないラムダ計算」 P […]

2020年2月18日

2020/02/17 マルレクの講演動画です。講演ビデオ全編前半部　https://crash.acade […]

2020年2月1日

声優のまる綾里さんと丸山との映画Jokerについての対談です。 Part 1 Part2 Part3 Part […]

2019年11月7日

Github https://github.com/maruyama097/coq-tutorial 目次 I […]

2019年9月25日

概要 String Diagramは、二次元上のグラフとして量子過程を図解しようという新しい試みです。ヒルベル […]