| 募集内容 |
一般 2000円（前払い）
先着順
|
|---|---|
| 申込者 |
|
| 開催日時 |
2020/07/16(木) 20:30 ～ 22:00
|
| 募集期間 |
2020/07/12(日) 00:00
〜 |
| 会場 |
Zoom オンライン |
| 前払いについて |
前払いについての連絡先: (参加者にのみ公開されます) |
|
キャンセル・参加費用の払い戻しについて主催者からの説明: お申込み後のキャンセルはできません．セミナーについての説明をよくお読みいただき，十分ご検討の上お申し込みください．CONNPASS上でキャンセルしても，セミナー当日に不参加であったとしても参加費用は返却されません． |
|
|
領収データの発行: 発行しない (詳しくはこちら) |
イベントの説明
プログラミング言語の基礎概念 in Isabelle
五十嵐淳先生の「プログラミング言語の基礎概念」に出てくる定義と定理の証明を Isabelle で形式化したものを解説します．Isabelle を使って練習問題を解きたい人が対象です．
著作者の権利を守り，著作権法を遵守するために以下のように行います：
- 解説中に本の映像を映すことは絶対にしません．
- 本の内容に関するスライド資料は用意しません．原則として Isabelle の理論ファイルのみを配布・解説します．
- 原則として本の内容を解説するものではありません．Isabelle ではどのように書くか・証明するかだけを解説します．
- 証明は本に書いてあるものだけを扱います．練習問題は対象にしません．
Isabelle の理論ファイルは CONNPASS のメッセージにて配布します．公開は禁止です．
第1回の対象範囲
第1章から第2章の定理2.1, 定理2.2までです．
前提知識
Isabelle 添付の文書 tutorial.pdf part I, II または Isabelle チュートリアル第1回～第4回程度の知識を前提とします．
テキスト
資料 資料をもっと見る／編集する
資料が投稿されると、最新の3件が表示されます。
フィード
2020/07/12 02:31
hatsugai
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています