皆様
東京工業大学の西村です。
お茶の水女子大学の植木様より、代理投稿の依頼をいただきましたので、こちらに転送いたします。
---
皆さま、
第61回「Friday Tea Time Zoom Seminar」のお知らせです。
皆様のご参加をお待ちしております。
日時：2024年2月23日（金）（祝日開催にご注意ください）
- 10:40〜11:00（コーヒータイム）
- 11:00〜12:00（セミナー）
開催形式：お茶の水女子大学からのハイブリッド形式
講演者：高木翼さん（東京工業大学）
タイトル：代数的仕様記述における始代数の特徴付け
アブストラクト：代数的仕様記述とは, 普遍代数を応用して計算機科学における様々な仕様（自然数, 整数, 集合, リスト, スタック, 二分木など）を多ソート代数として記述する分野である. 代数的仕様記述では, 多ソートシグネチャから多ソート代数を構成する方法は一通りではないため, シグネチャの意図とは異なる代数が構成されてしまう可能性がある. 「シグネチャの意図通りである」ような代数は始代数であるとされ, その存在は同型の違いを除いて一意である. 本発表では, 多ソート代数が等式の公理からなる集合のモデルがなすクラス（このクラスはバラエティと呼ばれる）の始代数であることと, その代数が「ゴミ(junk)」と「混同(confusion)」を含まないことの同値性を示す. これはバラエティの始代数の特徴付けを与えていることになる.
* Zoomでの参加方法については、本セミナーのウェブページ
をご確認ください。
世話人：
植木 潤（お茶の水女子大学）
篠田 万穂（お茶の水女子大学）
関 真一朗（青山学院大学）
松坂 俊輝（九州大学）
---