このエントリーをはてなブックマークに追加

Jul

16

プログラミング言語の基礎概念 in Isabelle (1)

Organizing : 株式会社 PRINCIPIA

Hashtag :#Isabelle
Registration info

一般

2000 (Pre-pay)

FCFS
7/10

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.

Group

PRINCIPIA

Number of events 96

Members 245

Ended

2020/07/16(Thu)

20:30
22:00

Registration Period
2020/07/12(Sun) 00:00 〜
2020/07/16(Thu) 20:00

Location

Zoom

オンライン

Zoom

Organizer

Attendees(7)

niszet

niszet

プログラミング言語の基礎概念 in Isabelle (1) に参加を申し込みました!

elkel53930

elkel53930

プログラミング言語の基礎概念 in Isabelle (1)に参加を申し込みました!

Kuniwak

Kuniwak

プログラミング言語の基礎概念 in Isabelle (1) に参加を申し込みました!

kubota_junshi

kubota_junshi

I joined プログラミング言語の基礎概念 in Isabelle (1)!

tukejonny

tukejonny

プログラミング言語の基礎概念 in Isabelle (1) に参加を申し込みました!

tkokamo

tkokamo

プログラミング言語の基礎概念 in Isabelle (1)に参加を申し込みました!

shigemi1014

shigemi1014

I joined プログラミング言語の基礎概念 in Isabelle (1)!

Attendees (7)