世界大百科事典(旧版)内の再帰的関数の言及
【アルゴリズム】より
…
[関連領域]
アルゴリズムに関連して,次のような研究が行われている。(1)計算の可能性について…再帰的関数の理論。(2)論理的正しさについて…プログラムの正当性理論。…
※「再帰的関数」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
「歓喜の歌」の合唱で知られ、聴力をほぼ失ったベートーベンが晩年に完成させた最後の交響曲。第4楽章にある合唱は人生の苦悩と喜び、全人類の兄弟愛をたたえたシラーの詩が基で欧州連合(EU)の歌にも指定され...