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