１３５.はじめてのカルダノ その４「カルダノの研究開発」 2022.04.25 厳密さとスピードを両立して 「正しさ」が数学的に証明された理論を 保証度の高い言語で実装する。 参考記事：iohkブログ「形式手法とアジャイル開発を融合してCardanoを構築する」
