アイティアクセス取扱のメーカーAdaCoreより、プレスを発表しました。

~AdaCore社はRISC-V財団に加盟C/Adaコンパイラを提供開始~
「GNAT ProとGNATコミュニティのツールチェーンが業務用とホビイスト用両方で利用可能」

AdaCore RISC-V Press Release

[日本語] [AdaCore社サイト]

~AdaCore社はNVIDIA社と共同でファームウエアのセキュリティを強化~
「Ada/SPARK言語はセキュリティ・クリティカルなソフトウェア開発と検証コストを低減」

AdaCore NVIDIA Press Release

[日本語] [AdaCore社サイト]