2018-05-19

何日かかけてOOSC第6章「抽象データ型」を読み終えた。数学パートは1回読むだけではぜんぜん理解できていないが、スタックのADTの仕様記述が「完全」(これは数学的な意味)であることを証明しているという目的は把握した。

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です