RuitenburgのBHK解釈