世界大百科事典(旧版)内の再帰的関数の言及
【アルゴリズム】より
…
[関連領域]
アルゴリズムに関連して,次のような研究が行われている。(1)計算の可能性について…再帰的関数の理論。(2)論理的正しさについて…プログラムの正当性理論。…
※「再帰的関数」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
新暦の 4月後半から 5月の,梅雨前に日本列島が大きな移動性高気圧に覆われたときの晴天。発現期間は短い。もともとは旧暦 5月が梅雨にあたることから,梅雨の晴れ間の意味で,梅雨晴れ(つゆばれ)とも呼ばれ...