数理論理学
特に不完全性定理と様相論理について．
以下は私が関わっているプロジェクトです．
以下から連絡してください．
コミュニケーションツール．
制作物．
私的なメモや日報など．
重要な連絡．
以下のことをしました．
Leanで形式化したSmullyanのシステムについての解説文書を書きました．
『標準的な様相論理のLeanでの形式化について』というショートトークをしました． 発表資料
第200回音MAD晒しイベントで開催される音MADエキスポの公式サイトを作成しました．
はてなブログチームにインターンとして所属し，Mastodon/Misskeyの共有ボタンの実装を行いました． 参加記録