Interface
形式的なInterface
引数の名前や型
返り値の型
非形式的なInterface
例外もInterfaceの一部
例外が、上記で言う形式的か非形式的かは言語機能などに依る
例えばKokaなら形式的に表現できる
/mrsekut-book-APoSD/4.2 インターフェースの内容