動的プログラム解析(どうてきプログラムかいせき、英: dynamic program analysis)とは、ソフトウェア解析手法の一種であり、実際のあるいは仮想のプロセッサでプログラムを実行して解析を行うこと。動的解析を効率よく行うために、標的プログラムに十分な量のテストケースを入力し、興味深い動
解析
かいせき
(1)物事を分析して論理的に明らかにすること。 分析。
(2)〔数〕
〔analysis〕
(ア)命題 A が真であることを証明するのに, A の前提条件を順次遡行していって, 真であることがすでに知られている命題 B に帰着させて証明させる方法。 (イ)「解析学」の略。
解析的整数論
数学において、解析的整数論(かいせきてきせいすうろん、英: analytic number theory)あるいは解析的数論、解析数論とは、整数についての問題を解くために解析学の手法を用いる、数論の一分野である。解析数論の始まりはペーター・グスタフ・ディリクレがディリクレの算術級数定理の最初の証明を与えるためにディリクレの
manjuhuwanqing commented
Lee commented
Lee commented
Lee commented
yuhui liao commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented