Tags
2 ページ目
Programming-Languages
プログラムを1回も動かさずに、なぜ「絶対にバグが起きない」と証明できるのか：形式検証とモデル検査の科学
プログラミング言語の歴史とパラダイムの変遷（アセンブリ、C、JavaからRust、Goまで）
