平原ゼミ

MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (5)

2023/05/14 第五回「coq-jupyterのセットアップ」 講演資料 「coq-jupyterのセットアップ」 ( ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」 「Coq スタート […]

続きを読む
MMM
Coq スタートアップセミナー

Coq スタートアップセミナーについて セミナーの目的 ● これからCoqを学習したい人を対象● すぐにCoqを使用できるように!● Coqの実行環境の紹介● Coqの実行環境のインストール方法を説明 講師紹介 平原貴音 […]

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (4)

2021/11/30 第四回 「VsCoqのセットアップ」 講演資料 「VsCoqのセットアップ」 (ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (3)

2021/09/28 第三回 「jsCoqのセットアップ」 講演資料ダウンロード 講演資料 Viewer 講演ビデオ

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (2)

2021/08/03  第二回「CoqIDEのセットアップ」 講演資料ダウンロード 講演資料 Viewer 講演ビデオ

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (1)

2021/06/27 第一回「Coq環境の紹介」 講演資料 ダウンロード 講演動画

続きを読む