高阶基章高阶基章(平假名:たかしな の もとあき)是日本平安時代后期的人物。本出自醍醐源氏,为但馬守源家实之子,后为舅舅木工頭高階為章的養子,改高阶氏。 保延2年(1136年)正月任右近衛将监。康治元年(1142年)12月把这个职位让给儿子高阶为泰。 详细事迹不明,只知道他的一个女儿嫁给了平清盛为
高阶逻辑阶为n的高阶谓词接受一个或多个(n − 1)阶的谓词作为参数,这里的n > 1。对高阶函数类似的评述也成立。 高阶逻辑更有表达力,但它们的性质,特别是有关模型论的,则不如一阶逻辑完善,使它们对很多应用不能表现良好。 “高阶逻辑”一般指高阶
高阶贵子高阶积善等,姐妹佐伯公行之妻、从五位下中宫宣旨高阶光子等。 《大镜》等书记载,她拥有优秀的和歌才能,身为女性也很擅长汉诗文。在圆融天皇时代出仕后宫内侍所,为通称内侍的掌侍,因为汉学出众在殿上召开诗宴时被招待上殿。大概于同时,成为中关白藤原道隆的妻子,陆续生下内大臣伊周、中納言隆家、僧都隆円等儿子与长女藤原定子在内的三子四女。
後冷泉天皇皇子(1049年、即日夭折) 康平二年(1059年),後冷泉天皇的一位女房、安樂寺別當增守之女菅原氏產下一子,後以貴族高階為家(日语:高階為家)次子的名義出養,取名高階為行(1059 -1107),菅原氏後來再嫁藤原師信。高階為行是源賴朝的祖先之一,同時藉由西園寺姞子成為現代日本皇室的祖先之一。 存档副本. [2020-02-22]
大貳三位為時(日语:藤原為時)的官名,選用了越後辨作為自己的女房名。與藤原兼隆(日语:藤原兼隆)結婚之前,她與藤原賴宗和藤原定賴也有過戀愛關係,與源朝任(日语:源朝任)也有過關係。萬壽2年(1025年),她擔任了親仁親王(後來的後冷泉天皇)的乳母。長曆元年(1037年)時,她改嫁給高階成章(日语:高階