2020年2月1日

「まるまるの哲学チャンネル～映画”ジョーカー”について数理哲学者と声優が語る～」

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

2019年11月7日

「はじめてのCoq」

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

2019年9月25日

概要 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単元の講座に編集したものです。講 […]