Javaのような言語を対象にしたオブジェクト指向ネタで公理的意味論とか契約による設計に一言も言及しない文章はモグリ