プログラミング研究室

佐藤哲也氏による差分プライバシーの検証と形式化に関する第三回PL合同セミナー講演

数理・計算科学系のプログラミング関連の三研究室（南出・増原・叢研）がホストとなり、第三回PL合同セミナーを開催しました。第三回となる今回もオンライン含め40人以上の参加者が集まり、活発な議論が交わされました。

PL合同セミナーは主に関東圏のプログラミング言語理論の研究グループが持ち回りで開催している、研究室セミナーの拡大版です。若手研究者や学生が最近の研究成果や当該分野の紹介をします。

👉PL合同セミナー

Jiwonによるキャンパスアジアプログラム成果発表

KAISTからの交換留学生Jiwon Kimがキャンパスアジアプログラムの成果発表を行いました。Kimは当研究室において微分音に関する音楽理論の形式化に取り組みました。微分音とは「半音よりさらに細かく分けられた音程」(Wikipedia)で現代音楽などに見られるものですが、Kimの研究は音楽理論に見られる様々な性質を型理論を用いることで検証できないかという意欲的な取り組みでした。

(さらに…)

Roger Burtonpatel によるセミナー講演

Roger Burtonpatel が研究室を訪問し、”An Alternative to Pattern Matching, Inspired by Verse” というタイトルの講演を行いました。