静的情報保護と動的情報保護の融合のためのプログラミング言語理論