SnO2WMaN.net

関心領域

以下のことに興味があります.

数理論理学

特に不完全性定理と様相論理について.

定理証明支援系

ほとんどLeanを使っています.

Webサービス開発

音MAD

DJ

プロジェクト

以下は私が関わっているプロジェクトです.

Formalized Formal Logic

数理論理学の様々な事実を定理証明支援系であるLeanを用いて形式化するプロジェクト. 私は主に様相論理を担当しています.

otoDB

音MAD/YTPMVのデータベースを構築するプロジェクト.Re:Sampleのメンバーが中心となって開発しています.

過去のプロジェクト

以下は私が関わっていたプロジェクトであり,おそらく再開されることはありません.

OTOMADB

音MADに対して適切なメタデータを与えてデータベースを構築するプロジェクト. 設計の抜本的な見直しを考えているため,現在開発停止中です.

連絡先

以下から連絡してください.

Twitter

@SnO2WMaN

コミュニケーションツール.

Nicovideo

118012640

ミックスなどを投稿.

Scrapbox

/SnO2WMaN

私的なメモや日報など.

履歴

以下のことをしました.

音MAD,breakcore, hyperflipなどを混ぜたDJミックスを投稿しました.

音MAD,breakcore, hyperflipなどを混ぜたDJミックスを投稿しました.

音MAD,breakcore, hyperflipなどを混ぜたDJミックスを投稿しました.

2024/11/26

TPP2024

『標準的な様相論理のLeanでの形式化について』というショートトークをしました. 発表資料

2024/04/29

音MADエキスポ

第200回音MAD晒しイベントで開催される音MADエキスポの公式サイトを作成しました.