| 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.
Feed
07/12/2020 02:31
hatsugai
The IT meetup platform
connpass is made by BeProud Inc. in Tokyo Japan