数理論理学
特に不完全性定理と様相論理について．
以下は私が関わっているプロジェクトです．
以下は私が関わっていたプロジェクトであり，おそらく再開されることはありません．
以下から連絡してください．
コミュニケーションツール．
制作物．
ミックスなどを投稿．
私的なメモや日報など．
重要な連絡．
以下のことをしました．
otoDBのアルファ版リリースに関わりました． otodb
音MAD，breakcore, hyperflipなどを混ぜたDJミックスを投稿しました．
音MAD，breakcore, hyperflipなどを混ぜたDJミックスを投稿しました．
音MAD，breakcore, hyperflipなどを混ぜたDJミックスを投稿しました．
(Moe)₂ Chimera Maker™名義で，DJ DEKAMESHIVIVEとB2BでDJしました． 再現ミックス
Leanで形式化したSmullyanのシステムについての解説文書を書きました．
『標準的な様相論理のLeanでの形式化について』というショートトークをしました． 発表資料
第200回音MAD晒しイベントで開催される音MADエキスポの公式サイトを作成しました．
はてなブログチームにインターンとして所属し，Mastodon/Misskeyの共有ボタンの実装を行いました． 参加記録