2019年11月7日

「はじめてのCoq」

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

2019年9月25日

量子過程を図解する「String Diagram入門」

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

2019年9月25日

概要「型の理論」は、数学・論理学・計算機科学の三つの領域を結びつける重要な役割を担っています。このショート・ […]

2019年9月25日

概要 Tensor Networkは、数学や物理学の分野で生まれた、複雑な計算をグラフで表現して見通しをよくし […]

2019年3月25日

マルレク2018-2019第六回（2019年3月25日開催）の講演を収録、動画講座として再編集したものです。 […]

2019年1月8日

マルレク2018-2019第五回（2019年1月8日開催）の講演を収録、4単元の講座に編集したものです。講　 […]

2018年11月2日

マルレク2018-2019第四回（2018年11月2日開催）の講演を収録、3単元の講座に編集したものです。講 […]

2018年8月27日

マルレク2018-2019第三回（2018年8月27日開催）の講演を収録、4単元の講座に編集したものです。講 […]

2018年6月26日

マルレク2018-2019第二回（2018年6月26日開催）の講演を収録、4単元の講座に編集したものです。講 […]

2018年5月22日

マルレク2018-2019第一回（2018年5月22日開催）の講演を収録、5単元の講座に編集したものです。講 […]