Registration info |
一般 ¥2000 (Pre-pay)
FCFS
|
---|---|
About Prepayment |
About Prepayment Contact Info: (Only shown to attendees.) |
Cancel/Refund Policy: お申込み後のキャンセルはできません.セミナーについての説明をよくお読みいただき,十分ご検討の上お申し込みください.CONNPASS上でキャンセルしても,セミナー当日に不参加であったとしても参加費用は返却されません. |
|
Print receipt data: 発行しない (詳しくはこちら) |
Description
プログラミング言語の基礎概念 in Isabelle
五十嵐淳先生の「プログラミング言語の基礎概念」に出てくる定義と定理の証明を Isabelle で形式化したものを解説します.Isabelle を使って練習問題を解きたい人が対象です.
著作者の権利を守り,著作権法を遵守するために以下のように行います:
- 解説中に本の映像を映すことは絶対にしません.
- 本の内容に関するスライド資料は用意しません.原則として Isabelle の理論ファイルのみを配布・解説します.
- 原則として本の内容を解説するものではありません.Isabelle ではどのように書くか・証明するかだけを解説します.
- 証明は本に書いてあるものだけを扱います.練習問題は対象にしません.
Isabelle の理論ファイルは CONNPASS のメッセージにて配布します.公開は禁止です.
第1回の対象範囲
第1章から第2章の定理2.1, 定理2.2までです.
前提知識
Isabelle 添付の文書 tutorial.pdf part I, II または Isabelle チュートリアル第1回~第4回程度の知識を前提とします.
テキスト
Media View all Media
If you add event media, up to 3 items will be shown here.