9月8日のsigfm月例会は、山崎利治さんから「洗練計算」、「非正則集合の話」の お話をしていただくことになりました。
***************** 開催要領 *****************
1. 日 時： 2000年9月 8日 (金) 13:30 〜 16:45
2. 場 所： 労働スクエア東京 会議室 (東京・中央区 新富1-13-14)
3. プログラム：
13:00〜13:30 受付
13:30〜14:30
「洗練計算」
プログラム作成の算術化を目指した方法ですが Ｂ Ｍｅｔｈｏｄ などの中核をなす概念でＳＥの教養として大切なひとつと考えます．
「非正則集合の話」対象によって異なった集合論があってもいい.循環的な無限集合を扱い易くするＡｃｚｅｌ流の集合は並行プロセスの意味論にも役立つ．この集合論を紹介したい.
山崎利治さん(フリー)
14:30〜15:00 質疑応答
15:00〜15:15 Coffee Break
15:15〜16:30 討論
16:30〜16:45 次回予定
17:30〜 懇親会@さがみや
以下の資料は、今のところdviファイルを圧縮したzipファイルになっていますが、いずれPDFファイルに変換する予定です。