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

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

続きを読む
はじめてのCoq (silent video)

なぜ、開発は人間によって担われているのか? (pdf) 参考資料 MaruLabo Hands on はじめてのCoq Coqのインストール  平原ゼミ Coq スタートアップセミナー を利用ください Hands on […]

続きを読む
量子過程を図解する「String Diagram入門」

概要 String Diagramは、二次元上のグラフとして量子過程を図解しようという新しい試みです。ヒルベルト空間上の「状態」「演算子」として量子過程を捉えようとする従来の方法と比べて、直観的にわかりやすいというだけで […]

続きを読む
公開動画
テンソルとは何か? Tensor Network 入門

概要 Tensor Networkは、数学や物理学の分野で生まれた、複雑な計算をグラフで表現して見通しをよくしようというテクニックです。今回は、そのアイデアを、Deep LearningのCNNに応用してみました。 目次 […]

続きを読む
「 量子コンピューターとは何か? 」

マルレク2017-2018第四回(2017年11月30日開催)の講演内容を8単元の講座に編集したものです。 講 師 : 丸山不二夫 配信元 : crash.academy 講座概要と購入申込: https://crash […]

続きを読む
ディープラーニング・ハンズオン @ Google 「DNNとRNN — ニューラルネットワークの二つの基本的なモデルについて」

講演日 : 2016/12/20 講 師 : 丸山不二夫 配信元 : crash.academy 講座概要と購入申込 : https://crash.academy/video/449/1776 料 金 : 無料(cra […]

続きを読む