芸能人から音楽家、声優まで、幅広いゲストの出演も番組の売りの一つであった。
関連項目.
名古屋城夏祭りでの公開録音繋がりの番組たち。
アイ・シャドー
メアリ・スー
田中里子
経歴.
メアリー・スー
マリー・スー
草津温泉スキー場
概要.
天狗山ゲレンデ.
おなりやまゲレンデ.
青葉山ゲレンデ.
しゃくなげコース.
ロープウェイは多くのスキー場のようにスキー場最下部からではなく、中腹部から山頂部を結んでいた。このため中腹部にロープウェイ山麓駅があった。ロープウェイは強風の影響を受けやすく運休になる日も多かった。山頂部へのアクセス手段はロープウェイしかないため、運休の場合スキー場としての魅力が半減・下部ゲレンデが混雑してしまっていた。
μ再帰関数（ミューさいきかんすう、）または帰納的関数（きのうてきかんすう）とは、数理論理学と計算機科学において、直観的に「計算可能」な自然数から自然数への部分関数のクラスである。計算可能性理論では、μ再帰関数はチューリングマシンで計算可能な関数と正確に一致することが示されている。μ再帰関数は原始再帰関数（原始帰納的関数）と密接な関連があり、その帰納的定義（後述）は原始再帰関数に基づいている。ただし、μ再帰関数が全て原始再帰関数とは言えない。そのような例としてアッカーマン関数がある。
また、ラムダ計算で記述される再帰関数やマルコフアルゴリズムで計算できる関数も同じである。
定義.
が成り立つのは、任意の引数の組み合わせについて、両関数の定義が存在して値が同じであるか、さもなくばどちらも未定義である場合だけである。
決定可能性の問題.
ここである疑問が生じる。ここで説明されている計算のアルゴリズムは停止しないのか、である。ここでは「計算不能」な関数を扱っているのだろうか。計算可能かどうかはどうやって決定されるのか。クリーネは以下のように記している。
まず、以下のような「効率的に決定可能な述語」について考える。