論理学– tag –
-
イミロン、複雑なシステム開発を支える形式仕様記述・分析ツール「SpecForge」をリリース
イミロン フォーマル×AI で複雑化するシステムの「仕様」開発をサポート 論理学に基づくセーフガード技術や論理的説明技術を提供する株式会社イミロン（東京都千代田区、代表取締役：足立正和、以下「イミロン」）は、AIを活用した形式仕様記述・分析ツー... -
イミロン、複雑なシステム開発を支える形式仕様記述・分析ツール「SpecForge」をリリース
イミロン フォーマル×AI で複雑化するシステムの「仕様」開発をサポート 論理学に基づくセーフガード技術や論理的説明技術を提供する株式会社イミロン（東京都千代田区、代表取締役：足立正和、以下「イミロン」）は、AIを活用した形式仕様記述・分析ツー... -
【NHKウェブ好評連載】まともな大人は「論破」しない。『詭弁・暴言・論破に打ち勝つロジカルコミュニケーション』が登場！
フォレスト出版株式会社 論点すりかえ、記号論理、不完全性定理、古典論争、パラドックス、社会的ジレンマ……これだけの情報がコンパクトに詰まった一冊！3/20(木)以降順次、全国の書店・ネット書店で発売！ フォレスト出版株式会社（所在地：東京都新宿区... -
論理学で人間中心の安心・安全な情報化社会の実現を目指すイミロン、シードラウンドで6千万円の資金調達を実施
イミロン 論理学を活用したデータ解析ソフトウェア、設計支援ソフトウェアの開発を加速 自動運転や生成AIをはじめとする、社会のあり方を大きく変える先進的情報技術に対し、論理学に基づくセーフガード技術や論理的説明技術を提供する株式会社イミロン（...
1