包括的なドキュメントよりも動くソフトウェア