講演資料　「coq-jupyterのセットアップ」 ( ダウンロード)

講演ビデオ

これまでの「Coq スタートアップセミナー 」

• 第一回「Coq環境の紹介」
• 第二回「CoqIDEのセットアップ」
• 第三回 「jsCoqのセットアップ」
• 第四回 「VsCoqのセットアップ」
• 第五回「coq-jupyterのセットアップ」

「Coq スタートアップセミナー」 再生リスト

The post Coq スタートアップセミナー (5) first appeared on MaruLabo.

セミナーの目的

● これからCoqを学習したい人を対象
● すぐにCoqを使用できるように!
● Coqの実行環境の紹介
● Coqの実行環境のインストール方法を説明

講師紹介　平原貴音

○ マルレクスタッフCoq係
○ フリーランスのプログラマ
○ 三浦半島在住
○ Python, C++, macOS, Linux, Windows
○ 並列コンパイラからロボット制御までいろいろやってます
○ キャリアのスタートはハードウェア検証、ソフトウェア検証としての Coqに期待

第一回「Coq環境の紹介」

講演資料　（ダウンロード）

講演ビデオ

第二回「CoqIDEのセットアップ」

講演資料　（ダウンロード）

講演ビデオ

第三回 「jsCoqのセットアップ」

講演資料　（ダウンロード）

講演ビデオ

第四回 「VsCoqのセットアップ」

講演資料　（ダウンロード）

講演ビデオ

The post Coq スタートアップセミナー first appeared on MaruLabo.

講演資料　「VsCoqのセットアップ」 (ダウンロード)

講演ビデオ

これまでの「Coq スタートアップセミナー 」

• 第一回「Coq環境の紹介」
• 第二回「CoqIDEのセットアップ」
• 第三回 「jsCoqのセットアップ」
• 第四回 「VsCoqのセットアップ」

The post Coq スタートアップセミナー (4) first appeared on MaruLabo.

講演資料ダウンロード

講演資料 Viewer

講演ビデオ

The post Coq スタートアップセミナー (3) first appeared on MaruLabo.

講演資料ダウンロード

講演資料 Viewer

講演ビデオ

The post Coq スタートアップセミナー (2) first appeared on MaruLabo.

講演資料 ダウンロード

講演動画

The post Coq スタートアップセミナー (1) first appeared on MaruLabo.