FORTRANプログラム④_プログラムの証明 - 共立出版コンピュータサイエンス誌『bit』