Kazuki Otsuka

略歴

美学の形式論理による拡張をテーマとし、Transformismを創始。'量子論理の非分配性に基づく直交モジュラー束上の計算言語β'で東京大学大学院学際情報学府より修士号取得。自然言語処理や音響処理に関する複数件のソフトウェア特許を保持。人口の上位2%の知能指数をもつ国際団体Mensa会員。