磯長谷では、長方形墳または双方墳の形式として山田高塚古墳(太子町山田、推古天皇・竹田皇子合葬陵墓)や二子塚古墳(太子町山田)が知られ、墳丘比率の点でも共通性が指摘される。また本古墳の墳丘規模は当時としては用明天皇陵(太子町春日の春日向山古墳)や推古天皇合葬陵墓に匹敵する天皇陵クラスになるため、特に敏達天皇・石姫皇女合葬陵の真陵とする説もある(現合葬陵である太子町太子の太子西山古墳は埴輪の存在により比定に疑問を抱える)。しかし、本古墳付近で古墳が密集する点では他の天皇陵と様相が異なるため、他に天皇に匹敵する豪族(特に蘇我氏)の墓とする説も挙げられており、被葬者は未だ詳らかでない。釜戸塚古墳葉室石塚古墳葉室塚古墳越前塚古墳越前塚古墳(こしまえづかこふん)細谷浩司細谷浩司(ほそやこうじ)は、ブラジル日本通運社長。ローレル郡パリティゲーム解法.パリティゲームを解く再帰的なアルゴリズム.このアルゴリズムは、擬似コードでは以下のように書ける:関連するゲームとそれらの決定問題.論理学やオートマトン理論との関係.パリティゲームは計算複雑性理論の観点からも興味深い一方、パリティゲーム問題を自動検証やコントローラ合成などのバックエンドと位置付けることもできる。たとえば、様相μ計算に対するモデル検査問題はパリティゲーム問題と同値であることが知られている。様相論理式の妥当性や充足可能性などを決定する問題もまた、パリティゲームに帰着することができる。外部リンク.パリティゲームのソルバー:あらすじ.登場人物.声は、地上波版/完全版の声優。テレビアニメ.道の駅むろね非常用発電機や受水槽、防災広場を兼ねた多目的スペースなどを備え、災害時には沿岸地域の支援拠点となる防災機能を持つ。佐藤進(実業家)概要.岩瀬昭典岩瀬昭典(いわせあきのり)は、河北新報社東京支社長。長満寺長満寺(ちょうまんじ)駐日イスラエル大使館大使.ミヤマシキミミヤマシキミ(深山樒、学名:)は、ミカン科ミヤマシキミ属の常緑低木。雌雄異株。有毒植物。名称.分布と生育環境.日本では、本州(宮城県以南、関東地方以西)、四国、九州に分布し、日本国外では、台湾の高所にも分布する。低山地の林内の林下に生育する。日陰に強く、日当たりのよくない場所でも生育する。