以下のことに興味があります．
特に不完全性定理と様相論理について．
ほとんどLeanを使っています．
以下は私が関わっているプロジェクトです．
数理論理学の様々な事実を定理証明支援系であるLeanを用いて形式化するプロジェクト． 私は主に様相論理を担当しています．
音MADに対して適切なメタデータを与えてデータベースを構築するプロジェクト． 設計の抜本的な見直しを考えているため，現在開発停止中です．
以下から連絡してください．
コミュニケーションツール．
制作物．
私的なメモや日報など．
重要な連絡．
以下のことをしました．
第200回音MAD晒しイベントで開催される音MADエキスポの公式サイトを作成しました．
はてなブログチームに所属し，Mastodon/Misskeyの共有ボタンの実装を行いました． 参加記録