Part 1

Part2

Part3

Part4

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

なぜ、開発は人間によって担われているのか？　（pdf）

参考資料

• IT技術とCoqの世界 –証明 = プログラム = 計算の意味を考える
• ソフトウェア・エンジニアリングの新しい潮流 — Deep Specificationの世界 
• AWSでの形式手法の利用　

MaruLabo Hands on はじめてのCoq

Coqのインストール　

平原ゼミ Coq スタートアップセミナー を利用ください

Hands on のソース

Github https://github.com/maruyama097/coq-tutorial

Hello Coq!

Hello Coq! (1) — Coqとのはじめての対話 (pdf)

Hello Coq! (2) — 人間はCoqに何を伝えたか？ (pdf)

Hello Coq! (3) — Coqは人間に何を伝えたか？ (pdf)

論理式の証明

論理式はどのような形をしているか？( pdf )

論理式の部分式への分解とサブゴール ( pdf )

構成のルールと演繹のルール　( ムービー　pdf )

「正しい」ことと「証明を持つ」こと (  pdf )

命題論理の演繹ルール　( pdf )

Coqの返す「証明の状態」と演繹ルール　( pdf )

tactic (1) サブゴールの形と演繹ルールの選択   ( pdf )

tactic (2) 仮説部の形と演繹ルールの選択  ( pdf )

「否定」について   ( pdf )

The post はじめてのCoq (silent video) first appeared on MaruLabo.

概要

String Diagramは、二次元上のグラフとして量子過程を図解しようという新しい試みです。ヒルベルト空間上の「状態」「演算子」として量子過程を捉えようとする従来の方法と比べて、直観的にわかりやすいというだけではなく、いくつかの優れた点を持っています。それについては、「はじめに」のスライドをご覧ください。

目次

0. 　はじめに 　(movie, スライド)
1. 　Diagram 　(movie, スライド)
2. 　Diagramの等式 　(movie, スライド)
3. 　Diagramの合成 　(movie, スライド)
4. 　回路　 (movie, スライド)
5. 　量子回路 　(movie, スライド)
6. 　量子ゲート 　(movie, スライド)
7. 　特別なプロセス 　(movie, スライド)

String Diagram入門（０）はじめに　

String Diagram入門（１）Diagram

String Diagram入門（２）Diagramの等式　

String Diagram入門（３）Diagramの合成　

String Diagram入門（４）回路　

String Diagram入門（５）量子回路　

String Diagram入門（６）量子ゲート　

String Diagram入門（７）特別なプロセス　

The post 量子過程を図解する「String Diagram入門」 first appeared on MaruLabo.

概要

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

目次

1. Tensor Network 入門（１） — ベクトル　 (movie, スライド)
2. Tensor Network 入門（２） — 行列　 (movie, スライド)
3. Tensor Network 入門（３） — 3-テンソル 　(movie, スライド)
4. Tensor Network 入門（４） — テンソル　 (movie, スライド)
5. Tensor Network 入門（５） — Contraction 　(movie, スライド)
6. Tensor Network 入門（6） — Convolution 　(movie, スライド)
7. Tensor Network 入門（７） — Convolutionを図式化する　 (movie, スライド)

「Tensor Network 入門（１） — ベクトル」

「Tensor Network 入門（２） — 行列」

「Tensor Network 入門（３） — 3-テンソル」

「Tensor Network 入門（４） — テンソル」

「Tensor Network 入門（５） — Contraction」

「Tensor Network 入門（6） — Convolution」

「Tensor Network 入門（７） — Convolutionを図式化する」

The post テンソルとは何か？ Tensor Network 入門 first appeared on MaruLabo.

The post 「 量子コンピューターとは何か？ 」 first appeared on MaruLabo.

The post ディープラーニング・ハンズオン @ Google 「DNNとRNN — ニューラルネットワークの二つの基本的なモデルについて」 first appeared on MaruLabo.