このアカウントでは

- 論理学に関する様々な話題
- 命題論理あるいは様相論理の諸々の結果のLean4による形式化の進捗
- 開発中の音MADのデータベースOtoMADB(https://www.otomadb.com)の進捗
- 日報

などが放送される予定です。よろしくおねがいします。