Coqやソフトウェア検証の入門書として知られるSoftware Foundation(以下SF)シリーズのvol.1，Logical Foundationを読むグループを学科で立ち上げて，3年生が始まる前の春休みに皆で読んでいた。3年生の前期が始まると忙しくて中断してしまったが，夏休みに入…

この記事はIS18er Advent Calendar 2017の2日目の記事として書かれました。 先日大学の図書館でたまたまENIACについての本が目に入り，借りて読んでみたのですが，予想外に面白かったので， 今日はENIACの歴史とか技術的特徴について紹介する記事を書こうと…