Projects

HammurabiLang

仕様・制約・検証を通して、AIによる安全なコード生成のあり方を探るプログラミング言語の実験。

AI × Programming Language

仕様・制約・検証を通して、AIによる安全なコード生成のあり方を探るプログラミング言語の実験。