2020年2月1日 「まるまるの哲学チャンネル～映画”ジョーカー”について数理哲学者と声優が語る～」 声優のまる綾里さんと丸山との映画Jokerについての対談です。 Part 1 Part2 Part3 Part4
2019年11月7日 「はじめてのCoq」 Github https://github.com/maruyama097/coq-tutorial 目次 I. Hello Coq! Coqとのはじめての対話 ( ムービー pdf ) 人間はCoqに何を伝えたか？ ( […]
2019年9月25日 量子過程を図解する「String Diagram入門」 概要 String Diagramは、二次元上のグラフとして量子過程を図解しようという新しい試みです。ヒルベルト空間上の「状態」「演算子」として量子過程を捉えようとする従来の方法と比べて、直観的にわかりやすいというだけで […]
2019年9月25日 公開動画 テンソルとは何か？ Tensor Network 入門 概要 Tensor Networkは、数学や物理学の分野で生まれた、複雑な計算をグラフで表現して見通しをよくしようというテクニックです。今回は、そのアイデアを、Deep LearningのCNNに応用してみました。 目次 […]
2017年11月30日 「 量子コンピューターとは何か？ 」 マルレク2017-2018第四回（2017年11月30日開催）の講演内容を8単元の講座に編集したものです。 講 師 ： 丸山不二夫 配信元 ： crash.academy 講座概要と購入申込： https://crash […]
2016年12月20日 ディープラーニング・ハンズオン @ Google 「DNNとRNN — ニューラルネットワークの二つの基本的なモデルについて」 講演日 ： 2016/12/20 講 師 ： 丸山不二夫 配信元 ： crash.academy 講座概要と購入申込 ： https://crash.academy/video/449/1776 料 金 ： 無料（cra […]
