Friday Tea Time Zoom Seminar

【お知らせ】

次回の予定

　・植木潤（お茶の水女子大学）uekijun46 "at" gmail.com

　・篠田万穂（お茶の水女子大学）shinoda.mao "at" ocha.ac.jp

　・関真一朗（青山学院大学）seki "at" math.aoyama.ac.jp

　・松坂俊輝（九州大学）matsusaka "at" math.kyushu-u.ac.jp

本セミナーは

の助成を受けています．

【講演者について】整数論，また広い意味で整数論に隣接する幾何学・低次元トポロジー・数理物理・力学系などを研究している若手を対象に講演者を募集します．自薦・他薦ともに歓迎します．（学生の場合は指導教員の方の了承を得た上で，ご連絡くださいますよう，お願いします）

参加を希望される方はURLをお知らせ致しますので，世話人までご連絡ください．もしくは，以下のURL（要パスワード）からご参加ください．

URL：セミナー会場（いつでも入室可）

ミーティングID：856 0085 8258

Password：The sum of positive divisors of 33^2. 【4 digits / 4桁】

【セキュリティ等に関する注意】

ログインの際はハンドルネームではなく，実名または研究用の通称をご使用ください．
ご質問やコメントの際には，名前と所属を言ってからお願いします．できればお顔も出していただけると，講演者がやりやすいと思われます．チャットやリアクションボタンもご活用ください．
聴衆の録音録画などはNGとします．講演開始からQ&A第一部終了まで世話人の側で録画をします．閲覧を希望される場合は，世話人・講演者にご相談ください．
講演時間は1時間となっていますが，ルームはその後もしばらく開けていますので，個別に質問などしていただくことも可能です．
Zoom爆撃のような著しい妨害行為，またハラスメント行為が発生した場合は，ミーティングホストの判断で退出をお願いすることがございます．
同じセミナールームにおいて，18:00--20:00の時間で夕食がてらの懇親会を開催する場合があります．もしよかったら併せてご参加ください．
見逃し配信が予定されている場合は，講演者名の横に□印を付けています．

その他，問題にお気付きの際は，世話人までお知らせ頂ければ幸いです．

【2020年度前期】第1回〜第13回（こちら）

【2020年度後期】第14回〜第30回（こちら）

【2021年度前期】第31回〜第38回（こちら）

【2021年度後期】第39回〜第47回（こちら）

【2022年度前期】第48回〜第53回（こちら）

【2022年度後期】第54回〜第60回（こちら）

【第61回】2024年2月23日（金）10:40--11:00（コーヒータイム）11:00--12:00（セミナー）

場所：お茶大の教室からハイブリッド形式での開催です．Zoomからの参加は，以下の参加方法のページをご覧ください．
講演者：高木翼（東京工業大学）
タイトル：代数的仕様記述における始代数の特徴付け
アブストラクト：代数的仕様記述とは，普遍代数を応用して計算機科学における様々な仕様（自然数，整数，集合，リスト，スタック，二分木など）を多ソート代数として記述する分野である．代数的仕様記述では，多ソートシグネチャから多ソート代数を構成する方法は一通りではないため，シグネチャの意図とは異なる代数が構成されてしまう可能性がある．「シグネチャの意図通りである」ような代数は始代数であるとされ，その存在は同型の違いを除いて一意である．本発表では，多ソート代数が等式の公理からなる集合のモデルがなすクラス（このクラスはバラエティと呼ばれる）の始代数であることと，その代数が「ゴミ(junk)」と「混同(confusion)」を含まないことの同値性を示す．これはバラエティの始代数の特徴付けを与えていることになる．