IID.systemsではプログラミング教室の運営をしています。

数学的に厳密な仕様記述と検証を用いた、AI時代のソフトウェア開発に関する研究と実装支援。

価値多元主義、Lモデル、「人類の価値」という語に隠れた危険を扱う、AIアライメントに関する思想的・概念的研究。