正式名称のラテン文字表記は『CIA WORLD FACT BOOK』によればDruk Gyalkhap。Druk Yulという略称が使用されることが多い。チベット語の表記はチベット文字では འབྲུག་ཡུལ་ワイリー拡張方式では 'brug yul、「ドゥク・ユル」（竜の国）と読む。公式の英語表記はKingdom of Bhutan。通称、Bhutan。日本語の表記はブータン王国。通称、ブータン。中国語（漢字）では不丹と表記し、不と略す。この国名の起源については様々な説がある。例えば、サンスクリット語で「高地」を意味する「ブーウッタン」説があるが、インドの側からの呼称で、インドからみればブータンは標高の高いところに位置していることによる。ブータンの人々は自国を「ドゥック・ユル」と呼ぶ。これは13世紀以降、仏教のカギュ派に属するドゥック派を国教としてきたので、自分たちをドゥクパ（カギュ派の中のドゥク派）、自国を「ドゥクパの国」（雷龍の国）と呼んでいる。
国旗はその模様が複雑で、竜のうろこが細かく描かれている。国花はメコノプシス＝ホリドゥラ、国樹はイトスギ、国獣はターキン、国鳥はワタリガラス、国蝶はブータンシボリアゲハ。長年鎖国政策をとっていたが、1971年に国際連合加盟。翌年に国民総幸福量という功利主義を採用した。
カロチノイドの一種である赤系色素のアスタキサンチンと蛋白質が結合したカロテノプロテインを主として構成される外殻を持つエビやカニ等の甲殻類を配合した、魚粉が主体の飼料で育てたニジマスは、身が着色され、薄紅色のサーモンピンクの身になる。このようなタイプの物を、日本語で「サーモントラウト(和製英語: salmon trout)」と呼ぶ。現在の日本のスーパーの店頭にて「サーモントラウト」「トラウトサーモン」「トラウト」等と表示される切身は、ノルウェー、チリ産の海面養殖されたニジマスである。これらの名前は商品名であり、魚種を示す名前ではない。魚種としてはニジマスのドナルドソン種、あるいはこれをベースにした交雑種などである。ニジマスは日本では一応「マス」の仲間とされているが、食材としての「サーモントラウト」は主に「サーモン」「サケ（鮭）」の名称で販売されている。揚げ物・焼き物やお茶漬けなどの加工物では「サケ」、寿司や刺身などの生食用では「サーモン」と呼ばれることが多い。2013年に表面化した食品偽装問題の際に、「サケ」の名称でニジマスを販売していることが問題となったが、「サケ弁当」や「サケ茶漬け」などの形で既に定着しているため、「OK」との基準が消費者庁によって示された。例えば寿司ネタの「サーモンにぎり」は、寄生虫の心配をせずに生食が行える養殖ニジマスの安定供給が実現されたことによって初めて生まれたため、最初から「ニジマス」だった。現在は海外でも「salmon sushi」として人気がある。
現在市販されるニジマス用配合飼料は、白身魚（スケトウダラ）を主とする動物性蛋白質を約55%、小麦粉などの穀類や糟糖類を約35%、ビタミンやミネラルが添加され蛋白質量は43%以上という物が主流で、給餌直前に油を添加する。飼料の粒の大きさは成長度合いに合わせ複数有り、適切な大きさの物を選択し与える。アスタキサンチンなどの赤系色素を配合した餌を与えることで、サケに似た薄紅色の身をもつニジマスが成長する。
受精卵は10℃で30日程度で孵化し、孵化から60日程度を経過したら餌付けを開始する。孵化から4ヶ月を経過すると3g程度まで成長する。食用魚の養殖は食味や生産性を考慮したものが必要で養殖適水温は13 - 18℃が望ましく、溶存酸素量は生育に大きな影響を与えるため、曝気用に水車を設置する場合が多い。水温が高いほど成長は早くなるが感染症の危険も高くなる。日本で最も多く需要のある大きさの23cm程度まで育てるには、孵化後1 - 2年が必要。冷凍輸出用や採卵用、遊漁用として、30 - 60cm以上まで育てられる場合もある。
1926年（大正15年）、長野県明科町（現在の安曇野市）で日本国内の養殖が開始された。1943年（昭和18年）には500トンの生産が記録されている。戦後は山形県、長野県、静岡県などで多く養殖され、1953年以降は本格的にアメリカやカナダにも輸出され1971年に3,084トンまで増加した。しかし、1973年の為替変動により輸出主導から国内向けに転換し、1982年に過去最高の18,200トン余りを記録したが、2004年では8,800トン余りまで減少している。
停止性問題の決定不能性も対角線論法で証明できる。（停止性問題の決定不能性が何かは停止性問題の項を参照）。以下簡単の為、プログラムの入力は全て自然数とする。プログラムは0と1からなる数字で書き表せるので、プログラム全体の集合と自然数全体の集合と自然に同一視できる。を次のように定義する：A(x)が停止すればφ(A,x)=1、そうでなければφ(A,x)=0。以下φ(A,x)の事をφA(x)と定義する。を、g(A)=￢φA(A)により定義する。すると対角線論法により、g=φMとなるMは存在しない。さて、仮に停止性問題を常に正しく解くプログラムHが存在するとする。M(A)を、H(A,A)=YESなら停止せず、H(A,A)=NOなら0を出力して停止するプログラムとすると、MとHの定義よりg(A)=φMが成立し、矛盾。したがって停止性問題を常に正しく解くプログラムは存在しない。ゲーデルの第一不完全性定理の証明は停止性問題の決定不能性の証明に酷似している。したがってゲーデルの第一不完全性定理の証明も暗に対角線論法を利用している。停止性問題の決定不能性を「有限時間」と「無限時間」という２つの時間階層の間の時間階層定理だと解釈すると、時間階層定理の証明を停止性問題の決定不能性の証明の焼き直しとみなすことができる。したがって時間階層定理の証明も対角線論法を使っている事が分かる。