日下部氏が真幸院司である間は日下部氏の管理下に置かれたようであるが、北原氏が真幸院司になるとそのまま北原氏の所有となる。当初、北原氏の居城は飯野城であったが、いつ頃からか三ツ山城を居城とするようになった。永禄元年（1558年）に北原氏13代目・北原兼守が没すると、その後継人事に介入した伊東義祐に領地共々奪われ、義祐の意を汲む北原家庶流の馬関田右衛門佐が城主となった。球磨の相良氏に逃げ込んだ北原兼親のため、いったんは島津貴久により北原氏の手に戻るが、北原家中の内部分裂により再び伊東氏の城となる。その以後の城主は平良兼賢が任命されている。天正4年（1576年）に高原城、小林城、須木城が島津氏に帰すると、三ツ山城も島津氏の城に帰したとされる。元和元年（1615年）の一国一城令により廃城。
源平合戦（治承・寿永の乱）の頃に比叡山延暦寺の僧・明雲の下向に伴い、宝光院の住職である吉富氏により、宝光院後山に築かれたとされる小林最古の城。小林がまだ「夷守」と呼ばれていた頃の中心となった城である。北方と西方の辻之堂川が天然の堀をなし、且つその二方向は断崖である。東方には空堀があったという。丘陵地の中央の最も高い場所が本丸跡と思われ、本丸と東丸ならびに南出丸という郭との間にも空堀があった。北東に2kmほどの場所に小林城があり、そこもかつて三ツ山城と呼ばれていたため混同されがちであるが、全く別の城である。現在は住宅地であり、小さな児童公園内に指標が一本あるだけであるが、南西の麓にある真宗佛光寺派の専寿寺境内に「景行天皇御腰掛石」が存在し、その案内板に三ツ山城の説明文が併記されている。
最近ではカリー＝ハワード対応が遺伝的プログラミングにおける探索空間のパーティションを定義する方法として提案されている。この手法は遺伝子型（システムにより進化するプログラムの木）の集合に対して（種と呼ばれる）カリー＝ハワード対応する証明を索引付ける。
次の図は  の自然演繹における証明である。簡単のため、文脈  は省略してある。この証明が型付きラムダ項  と解釈できることは明らかである。なお、前述の  のヒルベルト流の証明は、自然演繹におけるこの証明に対して抽象の除去とη変換を何度か使用することで得られる。
ところが、この清盛の勢力の伸張に対して、後白河法皇をはじめとする院政勢力は次第に不快感を持つようになり、建春門院の死を契機に、清盛と対立を深めていく。治承元年（1177年）6月には鹿ケ谷の陰謀が起こる。これは多田行綱の密告で露見したが、これを契機に清盛は院政における院近臣の排除を図る。西光は処刑とし、藤原成親は備前国へ流罪、俊寛らは鬼界ヶ島に流罪に処したが、後白河法皇に対しては罪を問わなかった。ただし、実際に平氏打倒の陰謀があったかは不明であり、直前に後白河法皇から延暦寺攻撃を命じられた清盛が、延暦寺との衝突を回避するために行ったとする見方もある。治承3年（1179年）6月、娘の盛子が死亡。すると法皇は直ちに盛子の荘園を清盛に無断で没収した。さらに7月、重盛が42歳で病死。するとまた、後白河法皇は重盛の知行国であった越前国を没収した。さらに、法皇は20歳の近衛基通（室は清盛女・完子）をさしおいて、8歳の松殿師家を権中納言に任じた。この人事によって摂関家嫡流の地位を松殿家が継承することが明白となり、近衛家を支援していた清盛は憤慨する。11月14日、清盛は福原から軍勢を率いて上洛し、クーデターを決行した。いわゆる治承三年の政変であるが、清盛は松殿基房・師家父子を手始めに、藤原師長など反平氏的とされた39名に及ぶ公卿・院近臣（貴族8名、殿上人・受領・検非違使など31名）を全て解任とし、代わって親平氏的な公家を任官する。後白河法皇は恐れを覚えて清盛に許しを請うが、清盛はこれを許さず、11月20日には鳥羽殿に幽閉するにいたった。ここに後白河院政は完全に停止された。清盛は、後の処置を宗盛に委ね福原に引き上げた。しかし、院政停止後の政権構想は拙いものだった。高倉天皇・近衛基通・平宗盛の三人はいずれも政治的経験が未熟であり、結局は清盛が表に出てこざるを得なかった。清盛は、解官していた平頼盛・花山院兼雅の処分を解除するなど一門の結束につとめ、基通の補佐のため藤原氏の有力者である左大臣・藤原経宗、右大臣・九条兼実の懐柔を図った。実際の政務に関しては、平時忠・四条隆季・土御門通親などの能吏が清盛の代弁者となった。治承4年（1180年）2月、高倉天皇が譲位、言仁親王が践祚した（安徳天皇）。安徳天皇の母は言うまでもなく清盛の娘・徳子である。名目上は高倉上皇の院政だったが、平氏の傀儡政権であることは誰の目にも明らかだった。さらに、法皇を幽閉して政治の実権を握ったことは多くの反平氏勢力を生み出すことになる。