Coq スタートアップセミナー
Coq スタートアップセミナーについて
セミナーの目的
● これからCoqを学習したい人を対象
● すぐにCoqを使用できるように!
● Coqの実行環境の紹介
● Coqの実行環境のインストール方法を説明
講師紹介 平原貴音
○ マルレクスタッフCoq係
○ フリーランスのプログラマ
○ 三浦半島在住
○ Python, C++, macOS, Linux, Windows
○ 並列コンパイラからロボット制御までいろいろやってます
○ キャリアのスタートはハードウェア検証、ソフトウェア検証としての Coqに期待
