QED Script

この記事は、WordPressで動く自サイトへの言及から始まり、著者が10年以上PHPを避けてきた理由を設計思想の面から説明する。Webサーバー上のスクリプトがファイルシステムやOSコマンド、外部ネットワークに直接触れられる構造への違和感が、新しい言語を自ら作る動機につながっている。

記事の中心は、AIが書いたコードをそのまま信用してよいのかという問いだ。著者はこれを数学的証明によって担保するというアプローチで「QED Script」を設計したと述べ、従来の動的型付け言語とは異なる安全性の考え方を提示する。

想定読者は、サーバーサイド言語の選定に関わる開発者や、AI支援コーディングの検証手法に関心を持つエンジニアである。言語そのものの詳細仕様や導入事例は限られるため、考え方の枠組みとして読むのが適切だろう。

読む際は、著者が自ら開発した言語の紹介である点を踏まえ、主張と事実を区別しながら追うとよい。AI生成コードの安全性をどう担保するかという論点は、言語選択を問わず参考になる。