要求仕様– tag –

イミロン フォーマル×AI で複雑化するシステムの「仕様」開発をサポート 論理学に基づくセーフガード技術や論理的説明技術を提供する株式会社イミロン（東京都千代田区、代表取締役：足立正和、以下「イミロン」）は、AIを活用した形式仕様記述・分析ツー...

イミロン フォーマル×AI で複雑化するシステムの「仕様」開発をサポート 論理学に基づくセーフガード技術や論理的説明技術を提供する株式会社イミロン（東京都千代田区、代表取締役：足立正和、以下「イミロン」）は、AIを活用した形式仕様記述・分析ツー...

イミロン 論理学を活用したデータ解析ソフトウェア、設計支援ソフトウェアの開発を加速 自動運転や生成AIをはじめとする、社会のあり方を大きく変える先進的情報技術に対し、論理学に基づくセーフガード技術や論理的説明技術を提供する株式会社イミロン（...