ナスター
全て
名詞
2 の例文
(0.00 秒)
-
テレビ各局ではクリスマスの特別番組が組まれ、毎年恒例のクリスマス音楽コンサートや政府主催のクリスマスの祝祭が放送される。クリスマスには伝統的な食べ物の他、ナスター、、などのお菓子が供される。thumbnail|200px|パプワのクリスマスで行われる「バラペン」の様子|alt= パプア地方ではクリスマスのミサの後、バラペンとよばれるクリスマスの饗宴のために豚肉を焼く行事が行われる。
...
-
n後者演算に関する二階の理論の決定可能性に関するラビンの証明では、パリティゲームに類似のゲームが暗黙的に使われ、該当ゲームの決定性も証明されている。ナスター-タルスキの定理を使えば、パリティゲームの決定性に対するより単純な証明を与えることもできる。さらに、パリティゲームは履歴なしの決定性をもつ。
...