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

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

続きを読む
はじめてのCoq
2019年11月7日

なぜ、開発は人間によって担われているのか？　（pdf） 参考資料 IT技術とCoqの世界 –証明 = プログラム = 計算の意味を考える ソフトウェア・エンジニアリングの新しい潮流 — Deep Specificatio […]

続きを読む
量子過程を図解する「String Diagram入門」
2019年9月25日

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

続きを読む
公開動画
テンソルとは何か？ Tensor Network 入門
2019年9月25日

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

続きを読む
「 量子コンピューターとは何か？ 」
2017年11月30日

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

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

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

続きを読む