グレート・グレン（英: The Great Glen、スコットランド・ゲール語: An Gleann Mòr 【ˈklaunˠ ˈmoːɾ】）とは、スコットランドのマレー湾にあるインヴァネスからリニー湖の先にあるフォート・ウィリアムに至る、約100 kmに渡る細長い峡谷である。グレン・アルビン（スコットランド・ゲール語 のGleann Albainn "スコットランドの峡谷"に由来する）または グレン・モア（スコットランド・ゲール語のGleann Mòrに由来する）とも。
初代勝川春山の門人。初代春山の娘婿となり、師の俗名文吉を継いだ。また、師が二代目勝文斎とも称したことから、三代目勝文斎とも名乗る。作画期は文政から没年までとされる。狂歌を天明老人に学び出久廼坊画安（でくのぼうかきやす）と号す。浮世絵師としてはふるわず、狂歌師や押絵細工の職人として名を残した。藤浪和子編『東京掃苔録』（東京名墓顕彰会、1940年、p.119）には、「押画細工を業とし、画も巧みなり」と記述され、押絵細工を本業としながら勝川派の絵師として活動していたことがわかる。墓所は初代春山と同じ豊島区西巣鴨の本好寺中の妙雲寺、法名は顕寿堂長遠日宝信士。弟子に養子にもなり、押絵細工の名手で「人形町の勝又」と呼ばれた四代目勝文斎がいる。
二代目 勝川春山（にだいめ かつかわ しゅんざん、生年不明 ‐ 明治4年〈1871年〉2月29日）とは、江戸時代末期から明治時代初期にかけての浮世絵師、職人。
大まかなルールや魔法アイテムは同じであるが、ステージが地底、地上、天空の三層で構成される。ゴールにたどり着くと一つ上の層のスタート地点に進むが、穴に落ちたりスーパーパンチに触れると下の層に落とされる。天空の層のゴールにいるドラゴンを倒すと次のステージへ進む。
ある日のこと、魔法の国のティルト姫が魔界に住むドラゴンにさらわれた。魔法使いの子「ウィズ」は救出のため魔界へとたった一人で向かうのだが・・・。
Cook and Reckhow (1973) は、ハルトマニス (1971) を参照し、そのモデルを単純化したランダムアクセスマシン（RAM）を提案した。Melzak (1961) に戻ったかのように見えるが、Melzak のモデルよりも単純化されている。
1971年、ユリス・ハルトマニスは、RASPモデルでの間接指定を単純化した。間接指定とは、ポインタレジスタを使って命令が実際に利用するレジスタを（番号またはアドレスで）指定することである。ポインタレジスタに制限がなければ、RAM や RASP はチューリング等価となる。間接指定されるレジスタは命令形式上の指定される位置によって、演算の入力にも出力先にもなる。つまり、有限状態機械は対象レジスタのアドレスを明示的に示す必要がない。あるポインタレジスタが指しているレジスタの内容を使って、xyz という演算をする。命令においてはポインタレジスタは明確に名前で指定しなければならないが、その内容が何であるかを知る必要はない。
Lmbek (1961) は Melzak のモデルを2つの単項命令（ X+ 命令と、可能ならば X- し、そうでなければ分岐）に単純化した。これはミンスキー (1961) と全く同じである。
Melzak (1961) のモデルは上記とは大きく異なる。テープを縦にして、これを「地面の穴; holes in the ground」と呼び、その穴を「小石カウンタ; pebble counters」で満たすというモデルであった。ミンスキーの「インクリメント」と「デクリメント」とは異なり、Melzak のモデルでは任意個の小石の加減算が可能であった。また、間接指定も定義し（p. 288）、それを使った例も2つ示している（p. 89）。このモデルがチューリング等価であることの証明（p. 290-292）は概略的であって、間接指定がその証明に必須なのかどうかも判然としない。Melzak のモデルは Lambek が単純化し、後に Cook and Reckhow (1973) でも用語が踏襲されている。
以下では次のような記号の濫用が用いられる：指数写像 exp で引数が与えられたとき eX, 直積 G × H の元 (g, eH) を g（eH は H の単位元），リー環の直和でも同様（さらに g + h = (g, h) と書かれる）．半直積と半直和についても同様．標準的単射（群とリー環両方）は暗黙の同一視のために用いられる．さらに．G, H, ..., が群であれば，G, H, ..., の元のデフォルトの名前は g, h, ..., であり，それらのリー環は g, h, ... である．g, h, ..., の元のデフォルトの名前は G, H, ... であり（群と同じ！），乏しいアルファベット資源を節約する意味もあるが，主に統一的な表記のためである．拡大の材料となるリー環は，何も言わずに，同じ体上のものが取られる．総和規約が使われ，上下両方の添え字に関わる場合もある．警告：以下の証明や証明の概略のすべてが普遍的な有効性を持っているわけではない．主な理由はリー環がしばしば無限次元であるために，リー環に対応するリー群がないかもしれないからである．さらに，そのような群が存在したとしても，「通常の」性質を持っているとは限らず，例えば指数写像があるとは限らず，もしあっても「通常の」性質をすべては持たないかもしれない．そのような場合には，群を「リー群」と呼ぶべきかどうか疑わしい．文献は画一的でない．明示的な例にはたぶん，妥当な構造が適切な位置に書かれる．