BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//connpass.com//Connpass//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:connpass-横内先生「プログラム意味論」輪読会 
 #20
X-WR-CALNAME:connpass-横内先生「プログラム意味論」輪読会 
 #20
X-WR-TIMEZONE:UTC
BEGIN:VEVENT
SUMMARY:横内先生「プログラム意味論」輪読会 #20
DTSTART:20260416T100000Z
DTEND:20260416T123000Z
DTSTAMP:20260718T003355Z
CATEGORIES:
CREATED:20260406T073126Z
DESCRIPTION:共立出版「プログラム意味論」横内先生著（19
 94） を読む会\n\n  * 第一部(✅終)目標: CPOによる単純型
 付λ計算の表示的意味論 (第3章「領域理論の基礎」まで
 \; P1-P97)\n  * 第二部(👈今ここ)目標: CPOによるPCFの表示
 的意味論 (第4章「関数型言語の意味論」まで\; P99-136)\n 
  * 第三部目標: 領域方程式の解 (第6章「領域方程式」ま
 で\; P137-215)\n  * 第四部目標: CCCとλ代数(第7章「ラムダ
 計算の意味論」\; P217-251)\n\n(気持的に)隔週金曜日 19:00- 
 オンライン開催 (Connpass イベント情報の会場リンクを辿
 ってください)\n\n持ちもの:\n\n  * 教本: https://www.kyoritsu-p
 ub.co.jp/book/b10008105.html\n  * 正誤表: https://kyoritsu-pub.sakura.n
 e.jp/app/file/goods_contents/1974.pdf\n\n今回(#20)は飛していた4.2.
 2と演習問題4.1の3以降もから\n\nhttps://sicss.connpass.com/event
 /390089/
LOCATION:オンライン (Google Meet)
URL:https://sicss.connpass.com/event/390089/
END:VEVENT
END:VCALENDAR