135.はじめてのカルダノ その4「カルダノの研究開発」

厳密さとスピードを両立して 「正しさ」が数学的に証明された理論を 保証度の高い言語で実装する。

参考記事:iohkブログ「形式手法とアジャイル開発を融合してCardanoを構築する」

タイトルとURLをコピーしました