BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//connpass.com//Connpass//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:connpass-横内先生「プログラム意味論」輪読会 
 #11
X-WR-CALNAME:connpass-横内先生「プログラム意味論」輪読会 
 #11
X-WR-TIMEZONE:UTC
BEGIN:VEVENT
SUMMARY:横内先生「プログラム意味論」輪読会 #11
DTSTART:20251212T100000Z
DTEND:20251212T123000Z
DTSTAMP:20260718T003410Z
CATEGORIES:
CREATED:20251012T034638Z
DESCRIPTION:共立出版「プログラム意味論」横内先生著（19
 94） を読む会\n\n  * 第一部目標: CPOによる単純型付λ計
 算の表示的意味論 (第3章「領域理論の基礎」まで\; P1-P9
 7)\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-pub.co.jp/book/b10008105
 .html\n  * 正誤表: https://kyoritsu-pub.sakura.ne.jp/app/file/goods_con
 tents/1974.pdf\n\n今回(#11)は第3.4節から!\n\nhttps://sicss.connpass
 .com/event/372446/
LOCATION:オンライン (Google Meet)
URL:https://sicss.connpass.com/event/372446/
END:VEVENT
END:VCALENDAR