ニュース 2023年4月27日 モデリング言語「TLA+」の開発、普及を促進する非営利団体を設立:Linux Foundation(関連情報):実務者コミュニティーの構築、発展も後押し [@IT] 記事を見る 記事を見る