和歌山県の中程、海岸沿いに位置している。
ダライ・ラマ
その名は、大海を意味するモンゴル語の「ダライ」と、師を意味するチベット語の「ラマ」とを合わせたものである。
概説.
呼称.
継承.
歴史.
ゲルク派の「化身ラマ」制度導入.
アルタン・ハーンより授かったモンゴル語の称号.
権威の成長.
認定をめぐる外部勢力の介入.
位置づけ.
中国の王朝との関係.
パンチェン・ラマとの関係.
ダライ・ラマはゲルク派において最重要の化身ラマであるが、ダライ・ラマに次いで重要な化身ラマであるパンチェン・ラマと併せて、ゲルク派の二大ラマとか二人の最高指導者とみなす場合もある。この二人の化身ラマの密接な関係を、チベットの人々は太陽と月になぞらえた。パンチェン・ラマは阿弥陀如来の化身とされ、ダライ・ラマに比肩しうる智慧をもつ高僧と考えられていた。カルマ派ではシャマルパという化身ラマがあり、法王たるカルマパの死後、その転生者に選ばれた次の法王が成人するまでの空白を補う副法王の役割をもっているが、ダライ・ラマとパンチェン・ラマもこれと似た正副法王に当たり、相互に師弟関係にあった。ただし、パンチェン・ラマはシガツェに常駐していることが多く、ダライ・ラマ未成年時に摂政として政務を代行したのは、多くの場合ラサにいる別のラマであった。
なお、チベット亡命政府は、パンチェン・ラマの地位に関する中華人民共和国の主張に対する反論の中で、シガツェやタシルンポ寺の行政もダライ・ラマ政庁の任命した行政官が担っていたことを強調している。
導出原理
導出原理を元とする導出の手法は、その後の定理自動証明に大きな影響を与え、またPrologなどの論理プログラミング言語の基礎となった。
背景.
この方法は必要な基礎例のみを生成するため、不要な論理式の生成が抑えられ効率的だったが、選言標準形は全ての連言項を調べなければならないため全体の効率はいいとは言えなかった。
定義.
命題論理での導出規則を式で表せば、
導出規則は三段論法や前件肯定を一般化した規則となっている。
導出は完全な証明系であることが知られている。
例.
一階述語論理での導出.