mteb/JQaRAReranking huggingface dataset:
アデル・ゴールドバーグ: アデル・ゴールドバーグ (Adele Goldberg, 1945年7月22日 - ) は、1970年代にゼロックスパロアルト研究所(PARC)の研究者としてプログラミング言語Smalltalk-80やオブジェクト指向プログラミングに関するさまざまな概念の開発に参加したコンピューター科学者 (英語版) である。
APT (プログラミング言語): APTは、空間を移動する切削工具を使用して複雑な部品を作成する数値制御工作機械の制御、目的の形状を生成するために切削工具が移動する経路を計算するためのデータを作成するために使用される。APTは専用言語であり、最新のコンピューター支援製造(CAM) システムの前身である。1950年代後半から1960年代前半にかけて、航空宇宙産業で必要とされる複雑な部品を製造するために切削工具を三次元空間内を移動させるジオメトリポイントを計算するタスクを簡素化するために作成および改良された。これは、当時利用可能になった新しい数値制御技術の直接的な成果であり、機械工やエンジニアが複雑な計算をしなければならないという困難な作業に直面したために開発が始まった。その開発は、数値制御・フライス盤プロジェクトを主催したのと同じMITラボを中心に行われた。
B言語: トンプソンは、DEC社製コンピュータPDP-7上でUNIXの開発を行っていたが、当時、UNIX上ではプログラムをアセンブリ言語で記述することしかできなかった。そこでトンプソンはUNIX上で動作する高級言語の開発を始めた。トンプソンはUNIXの開発以前、Multicsの開発に携わっており、B言語は、Multics上で動作していたBCPLを元に開発された。B言語は本質的には、トンプソンがその時代のミニコンのメモリ容量に収めるために、不要と感じたコンポーネントを除去したBCPLシステムである。またトンプソンの好みに沿うような変更も行われた(たいていは、一般的なプログラムで空白以外の文字数を削減できるという方向であった)。BCPLにあったALGOL由来の記法は大幅に改められた。
プログラミング言語: あらゆる用途に使える万能言語を設計しようという試みはいくつかあったが、そういう意味で成功した言語は存在しない 。プログラミング言語の開発の大きな流れに共通する傾向として、より高いレベルの抽象化によってより高い問題解決能力を得ようとしてきた、ということが指摘されることがある。初期のプログラミング言語はコンピュータのハードウェアのレベルと極めて近かった。新たなプログラミング言語が開発される度に機能が追加され、プログラマはハードウェアの命令からより遠い形でアイデアを表現できるようになっていった。プログラミングをハードウェアから分離することで、プログラマの生産性は向上する。毎年のように新たなプログラミング言語が作り出されている。2008年2月時点で、「コンピュータ言語辞典」には8,152種のプログラミング言語が記載されていた。
人工知能: 1982年から1992年まで日本は国家プロジェクトとして570億円を費やして第五世代コンピュータの研究を進めるも、採用した知識工学的手法では膨大なルールの手入力が必要で、専門家間で専門知識の解釈が異なる場合には統一したルール化が行えない等の問題もあり、実用的なエキスパートシステムの実現には至らなかった。実現した成果物はPrologの命令を直接CPUのハードウェアの機構で解釈して高速に実行する、並列型のProlog専用機であるが、商業的な意味で応用先が全く見つからなかった。
プログラミング言語: 過去のプログラミング言語のなかの欠点と見なされた部分を解消するために、新たなプログラミング言語が構想され、作られてきた歴史がある。また多様なプログラミング言語が生み出される背景には、さまざまな事情があり、ハードウェアが時代とともに変化してきたことや、プログラミング言語というテクノロジーやコンピュータサイエンスの発展も影響しており、下のような諸事情もある。ウィキペディアに記事が掲載されているプログラミング言語を知りたい場合はプログラミング言語一覧を参照のこと。
プログラミング言語一覧: 以下はプログラミング言語の一覧である。
バロース B5000: B5000は、ソフトウェアのニーズを考慮してアーキテクチャと命令セットが設計されたという点で、当時としては革新的であった。当時、プロセッサとその命令セットは設計が完了してからソフトウェア開発者に渡されるのが通例であった。B5000は高級言語をサポートするよう設計された。当時、FORTRANとCOBOLが登場したばかりである。FORTRANもCOBOLもソフトウェア技術から見れば不足である。したがってもっと新しい、まだ試されていないALGOL-60が採用された。正確にはALGOLから派生した言語 Elliott ALGOL が採用された。これはアントニー・ホーアが Elliott 503 というマシン用に開発したものである。ALGOLに現実的な入出力命令を追加したもので、強力な文字列操作機能を持っている。ホーアのチューリング賞受賞講演では、これについて論じている。
BCPL: TRIPOSや、起動 (Kickstart)処理、AmigaDOS初期バージョンを含むAmigaOSのコア部分など、いくつかのオペレーティングシステムではその一部または全体がBCPLで記述された。またBCPLは影響力の強いパロアルト研究所のAlto(最初の近代的なパーソナルコンピューターのプロジェクト)で最初に使われた言語であり、また初期のBravoワードプロセッサなど、その他の数多くの有名なプログラムがBCPLで開発された。1969年にはICT 1900シリーズ用に書かれた初期のコンパイラが、マーティン・リチャーズが自分のアルテア2で出力したOコードの紙テープから起動した。両者のマシンはワード長が異なっており(48ビットと24ビット)、文字コードが異なり、文字列データの構造も異なっていたが、上手く動作しておりこの方法の信用が高まった。
FLOW-MATIC: FLOW-MATIC(フローマティック)は、世界初の英語に近い表記のデータ処理用プログラミング言語である。元の名称はB-0(Business Language version 0)であった。1955年から1959年にかけて、レミントンランドに所属していたグレース・ホッパーによってUNIVAC I用に開発された。この言語は、COBOLの開発に大きな影響を与えた。
BCPL: BCPLは最初にケンブリッジ大学のマーティン・リチャーズが1967年に開発した。1960年代初頭に開発された複雑なCPLを簡略化しようとする試みだった。リチャーズは「コンパイルを難しくする特徴を仕様から削る」ことによりBCPLを開発した。CTSSで動作するIBM 7094用の最初のコンパイラの実装は、1967年の春にリチャーズがMITのProject MACを訪問している間に書かれた。1969 Spring Joint Computer Conferenceの論文で初公開された。BCPLは「ブートストラップ・ケンブリッジ・プログラミング・ランゲージ」の略だと長い間言われていたが、オリジナルのCPLはBCPLの開発が終わった後もまだ実装されていなかった。BCPLは最初のHello worldが記述された言語であるといわれている。最初のMUDもまたBCPLによって記述された。
コンピュータ言語: スクリプト言語には ActionScript、AppleScript、awk、bash、Emacs Lisp、Groovy、JavaScript、Lua、Perl、PHP、Python、REXX、Ruby、PowerShell、SKILL、Tcl、VBScript などがある。多くのプログラミング言語はテキストのソースコードでプログラムが記述されるが、ビジュアルプログラミング言語はプログラム要素を視覚的に表現し操作することでプログラムを構築する。コンピュータが実際に実行する命令は機械語で現されている。これは一般に人間が読めない(読まない)バイナリ形式のコンピュータ言語であり、CPUの命令セットに対応している。高級言語のソースコードはコンパイラによって機械語に変換される。
オープンソースソフトウェアの歴史: 1979年、AT&Tは企業がUNIXシステムを利用してビジネスをする場合はUNIXの利用に有償ライセンスを課すことを決定し、システムパッチを有償ライセンスで販売するようになった。広い普及によりアーキテクチャを切り替えることは難しく、多くの学術機関の利用者はUNIX有償ライセンスを購入して利用を続けた。1970年代以前のソフトウェアはパブリックドメインで共有されていたが、この頃よりクローズドソース、プロプライエタリソフトウェアが登場した。1974年にCONTU(英語版)は「コンピュータプログラムは、著作者の制作を具体化する範囲で、著作権の適切な主題である」と言及した。
C++: C++(シープラスプラス)は、汎用プログラミング言語のひとつである。派生元であるC言語の機能や特徴を継承しつつ、表現力と効率性の向上のために、手続き型プログラミング・データ抽象・オブジェクト指向プログラミング・ジェネリックプログラミングといった複数のプログラミングパラダイムが組み合わされている。C言語のようにハードウェアを直接扱うような下位層向けの低水準言語としても、複雑なアプリケーションソフトウェアを開発するための上位層向け高水準言語としても使用可能である。アセンブリ言語以外の低水準言語を必要としないこと、使わない機能に時間的・空間的コストを必要としないことが、言語設計の重要な原則となっている。C++は、1983年にAT&Tベル研究所の計算機科学者ビャーネ・ストロヴストルップによって公開された。また様々なプラットフォームでその開発環境が導入された。
プログラミング: 初期のプログラミングは機械語のコードを直接並べる(「コーディング」の本来の意)ことで行われた。入力方法としては穿孔カードや鑽孔テープが利用された他、スイッチなどで直接入力したり、まだ半導体技術などのない時代のため、ROMに相当する電気的配線を直接変更したりすることもあった。しかし、機械語の命令は人間にとって扱いにくく、代わりにニーモニックと呼ばれる略語を割り当てたアセンブリ言語により、プログラマは命令をテキスト形式で記述できるようになった。しかし、アセンブリ言語は機械語と同様にプロセッサの種類ごとに異なるため、(意図的に互換性があるように設計された機械以外では)他機種にはそのまま流用できなかった。また(人間から見れば)単純な処理でも、機械が操作できる基本的な処理命令は細粒度であり、大量に記述する必要があった。
プログラミング: そこで、特定のコンピュータに依存しない記述方法で、処理の内容をより抽象的に記述するためのプログラミング言語が開発された。そして、プログラミング言語によって記述されたプログラムを、コンパイラを利用して機械語に翻訳することで、実行プログラムを作成することが一般的になった。1954年、最初のプログラミング言語の1つであるFORTRANが開発された。これにより、演算を直接数式のように記述できるようになった(例えば、Y = X*2 + 5*X + 9)。このプログラムの記述(あるいは「ソース」)はコンパイラと呼ばれる特別なプログラムで機械の命令に変換される。他にも様々な言語が開発された(ビジネス用途のCOBOLなど)。プログラムの入力は依然としてパンチカードやさん孔テープで行われていた。
CASL: 第二種情報処理技術者試験(現・基本情報技術者試験)にはプログラミング能力試験という試験がある。この試験は幾つかのプログラミング言語別に分かれており、受験者はそれぞれが最も得意とする言語による試験を選択することで、特定の言語のプログラマが有利になることを防いでいる。この試験で使用するアセンブリ言語としてCASLが開発された。アセンブリ言語はハードウェアのアーキテクチャとの関連性が強い。特定の実在するアーキテクチャを試験に採用した場合、それを利用する受験者に有利に働いてしまうという問題がある。このため、実在するどのアーキテクチャとも関連性がない単純化した仮想の計算機COMP-Xと、そのアセンブリ言語の仕様CAP-Xを策定することで、この問題を解消した。その後継の仮想計算機をCOMETと呼び、アセンブリ言語の仕様をCASLと名付けた。
計算機の歴史: また、世界初の高級プログラミング言語プランカルキュールを1945年に設計した(発表は1948年)とされているが、この言語が実装されたのはツーゼの死後5年経った2000年になってからで、ベルリン自由大学のラウル・ロハスのチームが開発した。第二次世界大戦中にツーゼの計算機は連合国の爆撃で破壊された。彼の業績がイギリスやアメリカの技術者に知られるようになるのはずっと後のことだが、IBMだけは1946年にツーゼの研究再開に資金援助して特許使用権を得ており、かなり早くからツーゼの業績を知っていたと見られる。第二次世界大戦中、ロンドンから北に40マイルほどの位置にあるブレッチリー・パークで、ドイツ軍が通信に使っていた暗号の解読が行われていた。ドイツの暗号機エニグマの解読には、電気機械式の bombe という機械を補助的に使用した。
アラン・パリス: アラン・ジェイ・パリス(Alan Jay Perlis、1922年4月1日 - 1990年2月7日)は、アメリカ合衆国の計算機科学者。プログラミング言語についての先駆的業績で知られる。1966年、第1回のチューリング賞を受賞した。
ジョン・バッカス: 1953年、プログラミング言語 Speedcoding を開発。IBMのコンピュータで動作する初の高水準言語だった。プログラミングが難しいことから、1954年になるとバッカスはチームを結成して IBM 704 コンピュータのためのFORTRANの設計と開発を行った。これは世界初の高水準プログラミング言語ではないものの、広く使われた世界初の高水準言語となった。1950年代後半、バッカスは ALGOL 58 を開発した国際委員会の一員としても働いた。ALGOLはアルゴリズムを記述する際の世界的なデファクトスタンダードとなった。また1959年、UNESCOレポートにおける ALGOL 58 の言語仕様記述のためバッカス・ナウア記法 (BNF) を考案。BNFは任意の文脈自由な形式言語の文法(形式文法)を記述でき、その後のプログラミング言語の開発に重要な役割を果たした。
Turing: Turing(英語発音: [tjúǝrɪŋ](テュァリング))はプログラミング言語のひとつであり、Pascalよりも汎用的で簡潔に記述でき学習しやすい言語を目指して設計された。言語名称は計算機科学者として著名なアラン・チューリング (Alan M. Turing) からきている。資金難により開発は解散したため2008年にフリーソフトウェア化された。
プログラミング言語: 1950年代末、ALGOLが登場し、その後の言語に様々な影響を与えている。初期のプログラミング言語の仕様と使い方は、当時のプログラミング環境の制約(パンチカードによるプログラム入力など)にも大きく影響されている。1960年代から1970年代末ごろまでに、現在使われている主な言語パラダイムが開発されたが、その多くはごく初期の第三世代プログラミング言語のアイデアの改良である。これらの言語のアイデアは様々な言語に引き継がれており、現在の言語の多くは、これらのいずれかの系統に属する。1960年代と1970年代は、構造化プログラミングに関する論争が盛んに行われた時期でもある。この論争で特に有名なものは、1968年にCommunications of the ACMに掲載されたエドガー・ダイクストラのレターGo To Statement Considered Harmfulであろう。
論理プログラミング: 1980年代の日本の情報工学分野ではProlog研究が盛んに行われており、人工知能コンピュータ開発を目的にした第五世代コンピュータ計画の中心になっていた。
オープンソースソフトウェアの歴史: 1980年代以降、AT&TのUNIXはクローズドソース、プロプライエタリソフトウェアとなったが、それまでに大学等で広く使われていたため、そのインタフェースをベースとしたOSがUnix系OSとして派生、誕生、成長していった。また、OSに加えて、Unix系OS上で動作するGUIアプリケーション、コンパイラやプログラミング言語も自由に利用できるソフトウェアとして開発、公開された。UNIX、DOS、Macintoshなどのプロプライエタリな環境を望まないユーザーにとって好ましいもので、ソフトウェアの利用者、開発者を拡大していった。1970年代末からカリフォルニア大学バークレー校でAT&TのUNIXのソースコードをベースとしたBerkeley Software Distribution (BSD) が開発された。
プログラミング言語: 「コンピュータ」(という語)の定義次第ではあるが、それを「コンピュータ・プログラムによって駆動される機械」とするならば、コンピュータ・プログラムはコンピュータとともに生まれ、育ったということになり、そのプログラムの記法としてプログラミング言語があった、ということになる。チャールズ・バベッジが階差機関に続いて計画した解析機関は、パンチカードの先祖と言えるような穴の開いた厚紙の列によって制御されるという機構を持っていたため、その特徴から「19世紀のコンピュータ」「蒸気動力のコンピュータ」などと呼ばれることがある。20世紀初頭には、タビュレーティングマシンによってパンチカードを使ったデータの機械処理が始まっている。
EDA (半導体): 1990年代後半よりHDLより抽象度の高い記述を可能とする言語の開発が始まった。C/C++を元にしたSystemC、SpecCや既存のVerilogの拡張であるSystemVerilogなどである。これらはシステム記述言語などと呼ばれる。プラットフォームはサン・マイクロシステムズを中心とした各種ワークステーションのシェア向上が続いたが、PCの性能向上によりLinuxを使う動きがでてきた。Windows NTおよび後継のサポートもされるようになってきた。2000年以降、ハードウェアとしてPC/AT互換機を、OSとしてWindowsやLinuxを使う動きが加速している。
第五世代コンピュータ: また朝日新聞などのマスコミも大々的に取り上げた。1992年、およそ11年の歳月と540億円の予算が費やされたプロジェクトの完遂後に判明したのは、今後の有益なアプリケーションの実装と運用が期待される将来性を後世に託した並列推論マシンの数々のモデルと、その専用オペレーティングシステムと、日本独自の並行論理プログラミング言語だけが誕生したという事実であった。ICOT側が掲げていた目標は達成されていたが、産業分野や学術分野への具体的な活用方法は示されておらず、自動推論に必要な肝心の知識情報データベースの構築方法も、それぞれの運用現場への宿題にされたままだった。日本は10年の歳月をPrologと並行論理の研究に費やしたが、論理プログラミングの国際学会では日本の研究成果が注目されたとは言い難く、PrologのISO規格化の場でも大きな影響力を持てなかった。
コンピュータ言語: コンピュータ言語(コンピュータげんご)とは、コンピュータにおいて用いられる言語の総称である。一般に人工言語で、もっぱら形式言語である(親しみやすさなどの目的で、自然言語風にデザインされることもある)。プログラムを記述するためのプログラミング言語の一群が最も有名であり、そのため「コンピュータ言語」と「プログラミング言語」は同じ意味で使われることもある。しかし、コンピュータ言語としては他にもハードウェア記述言語や、マークアップ言語のようなデータ記述言語などがあり、それらは「プログラミング言語」ではない。
数値解析:  コンピュータの発明により、汎用的なプログラミングが可能になり、また人の手より速くより多くの計算を実行できるようになった。種々のアルゴリズムのプログラムが実装され、またコンピュータ自身の特性に合わせてアルゴリズムが考案されるようになった。
プログラミング: このような先駆者の発明をさらに発展させたのがハーマン・ホレリスであり、1896年にタビュレイティング・マシン・カンパニー(Tabulating Machine Company、後のIBM) を設立した。彼はホレリス式パンチカード、タビュレーティングマシン、キーパンチ機などを発明した。これらの発明が情報処理産業の基礎となったのである。1906年には、タビュレーティングマシンにプラグボードを追加することで、組み替えれば様々な仕事ができるようになった。これがプログラミングへの第一歩である。1940年代には、プラグボードによるプログラマブルな機械が各種登場していた。初期のコンピュータにもプラグボードでプログラムを組むものがあった。フォン=ノイマン・アーキテクチャの発明により、プログラムをコンピュータのメモリに格納できるようになった。
二村良彦: 1965年、北海道大学理学部数学科を卒業し、同年日立製作所に入社。同社の中央研究所に所属し、HITAC 5020のシステムソフトウェア開発などに携わった。その際の、「LISP 1.5 Programmer's Manual」に書かれているLispインタプリタのコードを読み解いて、Lispコンパイラをプログラミングする、という仕事から得た、インタプリタを入力するとコンパイラが出力されるコンパイラジェネレータはコンピュータのプログラムとして作れるのではないかという着想を、それらの処理系の関係は「自己適用可能な部分評価系」を利用してエレガントに定式化できる、という美しい理論に結実させた(1971年)。
ポケットコンピュータ: CASLは、もともと情報処理技術者試験のために制定された、しかも特定のメーカーに結びつかないように制定された、架空のアセンブリ言語であり、あくまで「架空のマシンCOMETで動く」と試験中の設問で設定されているもの、あくまで「紙の上のマシン」であったが、(画期的なことに)後期の一部のポケットコンピュータはこのCASLを動かせる実機となった。ただしアセンブリ言語と言ってもエミュレーションであることに変わりはなく、必ずしもBASICより高速とは限らなかった。またCASLはその仕様によりBASICよりも機能が限られているため、必ずしも実用的な言語というわけではなかった。
Logic Theorist: Logic Theorist は、1955年から1956年にかけてアレン・ニューウェル、ハーバート・サイモン、J・C・ショーが開発したコンピュータプログラム。人間の問題解決能力を真似するよう意図的に設計された世界初のプログラムであり、「世界初の人工知能プログラム」と称された。ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の冒頭の52の定理のうち38を証明してみせ、一部については新たなもっと洗練された証明方法を発見している。
FORTRAN: 顧客はアセンブリ言語で記述されたコードに匹敵するパフォーマンスが得られない限り高級言語を採用しないので、最初から最適化コンパイラが開発された。この新しい方法がハンドアセンブルより高速に動作するかどうかには疑いの目があったが、プログラム中の命令数を1/20に削減できるので急速に受け入れられていった。IBMの社内誌であるThinkに掲載された1979年のインタビューでバッカスは「私がこの仕事をしたのは面倒くさがりだったからです。私はプログラムを書くことが好きではなかったので、IBM 701でミサイルの軌道計算プログラムを開発したときに、プログラムの開発を簡単にするためにプログラミングシステムを作り始めました。」と語っている。FORTRANは科学者の間で数学を応用したプログラムの記述に広く用いられたことから、より高速で効率的なコードを出力しようとする原動力となった。
アデル・ゴールドスタイン: アデル・ゴールドスタイン(Adele Goldstine、旧姓カッツ(Katz)、1920年12月21日 - 1964年11月)は、アメリカ合衆国の数学者・プログラマである。彼女は、世界初の電子コンピュータENIACの取扱説明書を執筆したことで知られる。また、ENIACをプログラム内蔵方式に改造する際にも重要な役割を果たした。
S言語: ■カテゴリ / ■テンプレートS言語(えすげんご)とは、1984年、AT&Tベル研究所の John Chambers, Rick Becker, Allan Wilks らによって研究・開発された統計処理言語である。当初は「Sシステム」と呼ばれ、UNIX上における統計処理を行うソフトのコマンドの役割を果たす言語として開発された。 その後、機能の拡張を続け1988年にプログラミング言語としてのS言語が策定された。さらに1991年にオブジェクト指向プログラミングの機能が追加され現在に至る。言語の特長は Chambers によって、to turn ideas into software, quickly and faithfully と説明されている。GNUプロジェクトによりオープンソースで作成されているR言語はS言語の文法を取り入れており、ほぼ同等の機能をもつ。
ソフトウェア工学: 1949年のEDSACにおいて既に、ローダが初歩的なアセンブラの機能を備えていたことが知られる。1950年前後には、EDSACやEDVACといった初期のコンピュータにおけるプログラミングについて文献が公刊され、初歩的なプログラミング手法が知られるようになった。言語としては、直接バイナリで機械語を記述する煩雑さから、すぐにアセンブリ言語が生まれた。1950年代中ごろには Autocode、FORTRAN、LISPといった初期の高水準言語があらわれた。プログラミング言語の実用性を疑う向きも多かったことから、IBMが開発したFORTRANコンパイラは、初めての試みであるにもかかわらず、生成コードの最適化のために多大なコストが掛けられ、結果としてプログラミング言語の有効性を納得させた。
PWB/UNIX: PWB/UNIXは、UNIXオペレーティングシステム黎明期にAT&Tのベル研究所で開発されたバリエーションのひとつ。PWBとは Programmer's Workbench(プログラマの仕事台)を意味する。
Fortress: Fortress(フォートレス)は、高性能を目指して設計されたプログラミング言語である。米国国防高等研究計画局の高生産性計算機システムプロジェクトの出資のもとサン・マイクロシステムズ研究所で作られた。設計者の一人にガイ・スティール・ジュニアがいる。
3Bシリーズ (コンピュータ): 1985年、AT&Tは、AT&T UNIX PC (英語版) と正式に命名されたデスクトップコンピュータを発表し、しばしば 3B1 と呼ばれた。ただし、このワークステーションはハードウェア的には 3B ラインとは無関係であり、Motorola 68010 マイクロプロセッサをベースにしていた。Convergent Technology 社による Unix System V Release 2 の派生版を使用していた。このシステムは PC-7300 としても知られていた。このシステムは、オフィス環境での生産性向上ツールとして、また電子通信センターとしての使用を目的に設計された。
ナサニエル・ロチェスター: ネイサン・ロチェスター (Nathan Rochester) として知られる、ナサニエル・ロチェスター(Nathaniel Rochester、1919年1月14日 - 2001年6月8日)は、IBM 701を設計し、最初のアセンブリ言語を書き、人工頭脳分野の創設に参加した、アメリカ合衆国の計算機科学者。
FORTRAN: またライブラリでなく言語として複素数型をサポートしたことは、電気電子工学における動的特性の計算などに代表される科学や工学分野のプログラムを書きやすくした。1960年までに様々なバージョンのFORTRANがIBM 709、IBM 650、IBM 1620、IBM 7090で動作していた。FORTRANのユーザー数は急増し、コンピューターメーカーがFORTRANコンパイラをこぞって提供したので、1963年までには40を超えるFORTRANコンパイラが存在していた。こうしたことから、FORTRANはアーキテクチャの異なる様々なコンピュータで広くサポートされた最初の言語と言える。FORTRAN開発の歴史は、初期のコンパイラ技術の歴史そのものといえる。FORTRANで効率的なコードを出力したいという強い要求からコンパイラによる最適化技術が大きく進歩した。
Micro Instrumentation and Telemetry Systems: これは、彼らの友人のポール・ギルバートがコンピュータを構築している間に、アレンがタイムシェアリングコンピュータPDP-10上で8008をシミュレートするプログラムを書いたもので、ハードが完成する前にソフトウェアを書いてデバッグすることができた。ハーバード大学には学生が自由に使用できるPDP-10があった。彼らはそれを使ってAltair用のBASICを開発した。アレンが8008用のソフトウェア開発ツールを8080用に修正している間、ゲイツは黄色のリーガルパッドに8080のアセンブリ言語を手書きで書き始めた。また、ゲイツの同級生のモンティ・ダビドフに浮動小数点演算ルーチンを書くように依頼した。2月上旬までには、プログラムのコーディングが手書きからPDP-10上で行われるようになり、1975年3月までに試作版が完成した。
朝鮮戦争休戦協定: アメリカは会談を開城で行うことを認めることはなかった。南北朝鮮を隔てる京畿道にある板門店が、当事者により双方の安全が守られる条件で、平和協議の新たな場所として合意された。南北朝鮮の境界をどこにするかという難しい問題の故に、会談の進行はゆっくりとしたものであった。中国と北朝鮮は、北緯38度に残る線が妥当と考え、これを要求した。しかし数週間で双方は当時実際に対峙していたカンザス線(Kansas Line)で合意した。捕虜送還をどのように行うかが交渉の問題でもあった。共産側には1万人以下、国連軍には15万人の捕虜がいた。中国人民志願軍(PVA)と朝鮮人民軍(KPA)および国連軍は、PVAとKPAの多くの兵士が送還を拒否したために送還方法で合意できず、中国と北朝鮮に受け入れられなかった。最終的な休戦合意では、送還問題を処理する中立国送還委員会が設立された。
板門店: 板門店(パンムンジョム/はんもんてん、朝鮮語: 판문점)は、朝鮮半島中間部に位置する朝鮮戦争停戦のための軍事境界線上にある地区である。北側の朝鮮人民軍、中国人民志願軍と南側の国連軍で停戦協定が1953年に調印され、同年10月以降は停戦を監視する「中立国監督委員会」と「軍事停戦委員会」が設置され、停戦協定遵守の監視を行っており、60年以上に渡る朝鮮半島の南北分断を象徴する場所となっている。
2018年南北首脳会談: 2018年3月5日に韓国大統領文在寅の特使である鄭義溶国家安全保障室長が訪朝して、北朝鮮最高指導者の金正恩と会談した。その会談において4月末に南北朝鮮軍事境界線に位置する板門店の韓国側施設『平和の家』に於いて南北首脳会談が行われることが合意された。ついで3月29日の板門店の北朝鮮側施設「統一閣」における南北閣僚級会談により南北首脳会談の日付が4月27日に決定した。
板門店: 板門店の共同警備区域(JSA)内では、南側の大韓民国国軍を中心とする国連軍と、北側の朝鮮人民軍が境界線を隔てて顔を合わせている。行政区画上は韓国の京畿道坡州市津西面仙跡里、北朝鮮の開城特別市板門区域板門店里に属する。共同警備区域では、1953年10月の設置以降、国連軍と朝鮮人民軍の休戦協定に基づく「中立国監督委員会」と「軍事停戦委員会」の本会議場が設置され、休戦協定遵守の監視を行っている。「軍事停戦委員会」本会議場は南側、「中立国監督委員会」は北の施設となっており、緊急度を4段階(第一級 - 第四級)に分けた会議を開いている。板門店は、第二次世界大戦後の冷戦下において、南北朝鮮と同じく分裂国家であった東西ベルリン間に置かれた「ベルリンの壁」、同じく分裂国家であった南北ベトナムを隔てた軍事境界線の「ベンハイ川」と並んで、長く「冷戦の象徴的存在」であった。
板門店: 「軍事停戦委員会」の本会議場は板門店の中心にあり、会議場の中心にテーブル、その中心にマイクが置かれ、引き回されたマイクケーブルも境界線を示すように配線されている。会議場脇に通訳ブースも設置されている。韓国、北朝鮮双方から訪れた見学者が、会議場室内で軍事境界線を越えることは認められている。軍事停戦委員会本会議場の周辺は、韓国側に連絡事務所「自由の家」と会議場「平和の家」が、北朝鮮側に連絡事務所「板門閣」と会議場「統一閣」が設置され、各種会談や事務業務、休憩施設として使用されている。1992年に韓国側の「自由の家」と北朝鮮側の「板門閣」の内部に「南北連絡事務所」が設置された。「中立国停戦監視委員会」(NNSC)は、朝鮮戦争において中立を宣言したスイス、スウェーデン、チェコスロバキア(当時)、ポーランドの4カ国によって板門店に置かれることとなった。4か国それぞれから将校が派遣され、任期は3年間。
機井洞: 朝鮮戦争が勃発した1951年10月、停戦会談が板門店で開かれ、板門店の近くに位置していた台城洞と機井洞は軍事境界線上で数少ない、非武装中立地帯内でありながら民間人の居住も可能な地域となった。
朝鮮戦争: しかし1953年に入ると、アメリカでは1月にアイゼンハワー大統領が就任、ソ連では3月にスターリンが死去して両陣営の指導者が交代して状況が変化し、共産主義陣営を主導してきたスターリンが死去したことで残された毛沢東は、ようやく戦火を収めることに同意した。1953年7月27日に、38度線近辺の板門店で北朝鮮、中国軍両軍と国連軍の間で休戦協定が結ばれ、3年間続いた戦争は一時の終結をし、現在も停戦中である(調印者:金日成朝鮮人民軍最高司令官、彭徳懐中国人民志願軍司令官、M.W.クラーク国際連合軍司令部総司令官。なお「北進統一」に固執した李承晩大統領はこの停戦協定を不服として調印式に参加しなかった)。停戦協定は結ばれたものの、板門店がソウルと開城市の中間であったことから、38度線以南の大都市である開城を奪回できなかったのは国連軍の失敗であったとされる。
南北首脳会談: 2018年4月27日に韓国の文在寅大統領と北朝鮮の金正恩朝鮮労働党委員長は板門店の韓国側施設「平和の家」で第3回南北首脳会談を行った。北朝鮮の首脳が軍事境界線を超えて韓国側入りしたことは史上初である。
板門店: この名称が他の休戦協議参加国にも伝播したことから、会談場所の名称として「板門店」の漢字表記とそれを朝鮮語読みにした「パンムンジョム」が世界的に定着した。ただし、中華人民共和国のニュースサイトによると、同国の関係者は地元の人が言う「neolmuni」を店の名前だと認識していたようである。一方、中華人民共和国や韓国の報道とは別に、朝鮮を支配していた日本の大日本帝国陸軍参謀本部の陸地測量部が作成した1938年頃の地図には「ノルムンニ」に「板門店」の漢字を当てた表記が既に掲載されている。そのため、「板門店」という漢字名称が実際はいつから使われていたかは不明である。現在はノル門里は軍事境界線を挟んだ非武装地帯(DMZ)の範囲内にあり、村は存在しない。
朝鮮戦争: 終戦ではなく休戦状態であるため、名目上は2023年現在も戦時中であり、南北朝鮮の両国間、及び北朝鮮とアメリカ合衆国などの国連軍との間に平和条約(英語版)は締結されていない。2018年4月27日、板門店で大韓民国大統領文在寅と北朝鮮朝鮮労働党委員長金正恩との間で第3回南北首脳会談が開かれ、2018年中の終戦を目指す板門店宣言が発表されたが、実現には至らなかった。
朝鮮戦争: 現在でも、軍事境界線上にある板門店の共同警備区域内に置かれた「中立国停戦監視委員会」と「軍事停戦委員」が定期的に確認し、韓国には在韓米軍司令官が司令官を兼ねる国連軍司令部が存在する。この状況は両国間関係のみならず、韓国に基地を持ち、米韓相互防衛条約によって同盟関係にあるアメリカと、中朝友好協力相互援助条約によって北朝鮮との相互援助義務を持つ中華人民共和国との軍事的なバランスと対立がある。またこの四国にくわえて日本とロシアは北朝鮮核問題解決のための六者会合(六カ国協議)の参加国であるなど、朝鮮半島問題に関与している。露朝関係はかつてソビエト連邦が締結していたソ朝友好協力相互援助条約による相互援助義務規定は失効したものの、ロ朝友好善隣協力条約が締結されている。2010年には六者会合の元北朝鮮人民軍通訳がロシア亡命を求めたがロシア側が拒否するといった事件 も起きている。
板門店: そして、世界の殆どの地域で冷戦が終結し、さらにベルリンの壁が崩壊したのちにドイツ再統一が成った1990年以降において、世界で唯一「冷戦の最前線」になっている。南北朝鮮が過去何度も会談を開いてきた他、2003年に希望路(都羅山駅近郊)経由で南北直通道路が連結されるまでは支援物資を含めた北朝鮮との物資、人の往来も板門店を抜けて渡っていたように、対戦状態(休戦中)にある南北唯一の接点である。なお、朝鮮戦争時に休戦協議が行われ、朝鮮戦争休戦協定が結ばれた会議場は、共同警備区域から北東へ1キロほど離れた位置にあり、現在は朝鮮民主主義人民共和国平和博物館として保存されている。元来の板門店はこの建物の周辺を指す地名であったが、現在「板門店」と呼ばれている共同警備区域は、もとは捕虜交換業務を引き受けることになった中立国のインド軍の兵舎を中心とした地域である。
朝鮮民主主義人民共和国平和博物館: 朝鮮民主主義人民共和国平和博物館(ちょうせんみんしゅしゅぎじんみんきょうわこくへいわはくぶつかん、朝鮮語: 조선민주주의인민공화국 평화박물관)は、朝鮮民主主義人民共和国(北朝鮮)黄海北道開城市の板門店に位置する博物館。開城駅から東へ約10km、共同警備区域から西へ約1kmのアジアハイウェイ1号線沿いにある。1953年7月27日、この場所で朝鮮戦争休戦協定への署名が行われた。
共同警備区域: 共同警備区域(きょうどうけいびくいき、英: Joint Security Area, JSA)は、大韓民国(韓国)と朝鮮民主主義人民共和国(北朝鮮)の軍事境界線上にある、約800m四方の地域を指す。この区域には会議場施設などが設けられ、板門店と呼ばれている。
第一共和国 (大韓民国): 1950年6月25日、北朝鮮・朝鮮人民軍が朝鮮の赤化統一を目指して韓国に侵入し、戦争が勃発した。国土の大半を喪失し、韓国軍が壊滅状態に陥った韓国は存続の危機に瀕したが、アメリカの主導下で、16カ国が国連軍として最初の集団軍事行動を行い、反攻に転じた。国連軍の参戦で、韓国軍は一時鴨緑江に達したが、中国人民志願軍(中国人民解放軍)の参戦で再び退却し、1951年以降は北緯38度線付近で戦線が膠着した。戦線の膠着を受けて1951年7月から開始された休戦交渉は、1953年7月27日の板門店における休戦協定の調印で幕を迎えた。協定により、軍事境界線と非武装中立地帯(DMZ)が朝鮮半島に設けられ、朝鮮の分断体制が固定された。ただし、北朝鮮・中国と国連軍は協定に調印したものの、朝鮮の統一を唱える李承晩はこの停戦協定を不服として調印を拒否した。平和条約は、今なお調印されていない。
南北首脳会談: 2018年5月26日に韓国の文在寅大統領と北朝鮮の金正恩朝鮮労働党委員長は板門店の北朝鮮側施設「統一閣」で第4回南北首脳会談を行った。
板門店: 「板門店(パンムンジョム)」の名は、朝鮮戦争休戦協定の協議が行われていた1951年に、中華人民共和国の代表者が会場を見つけやすくする目的で会場近くの店に設置した看板に由来している。休戦協議が開始された時点で、現在の板門店付近にはノル門里(ノルムンニ、朝鮮語: 널문리: 널門里)という名の村が存在していた。韓国の新聞によると、ノル門里は「板で出来た門のある村」という意味であり、1592年の文禄の役(壬辰倭乱)で李氏朝鮮国王の宣祖が漢城から開城へ逃げ延びる際、沙川江付近の住民が自宅の門に使っていた木材を用いて宣祖一行が沙川江を渡る為の足場(橋)を造ったという伝聞に由来している。文禄の役からおよそ360年後の1951年、朝鮮戦争を戦っていた米国・韓国と中国・北朝鮮は休戦合意を巡る協議を7月10日から開城で行っていた。
軍事境界線 (朝鮮半島): 休戦協定の第1条第10項の規定によって「民政と救済のための警備要員」を南北双方が1,000名ずつまで、非武装中立地帯内に立ち入れることになっている。このため両軍とも監視哨所を建てたり、潜伏斥候を入れたりしている。非武装地帯そのものは非武装の緩衝地帯で警備兵も拳銃や自動小銃のみ携行できるにすぎないが、非武装地帯を挟んで対峙する地域には非常に大規模な軍事力が配備されており、百万人以上の兵士、約2万台の装甲車、戦略拠点などが散在している。2020年6月16日、韓国にいる脱北者による北朝鮮政権批判のビラを飛ばしたことに対する報復行動として、朝鮮人民軍総参謀部はDMZへの軍隊の再進出に向けた手続きを進めると警告した。南北が実務協議を行う場所は、軍事境界線上にある共同警備区域 (JSA:Joint Security Area) 内、板門店にある軍事停戦委員会本会議場である(詳細は当該項目を参照)。
南北基本合意書: 韓国と北朝鮮との対話は1972年の南北共同声明以降、板門店でのポプラ事件、ラングーン事件、更には大韓航空機爆破事件などの影響で中断を余儀なくされながらも続けられていた。南北の経済格差が拡大しつつあるこの間、1980年10月に北朝鮮の金日成主席(当時)は、赤化統一である高麗民主連邦共和国構想を提唱している。1988年に民主化とともに韓国大統領に就任した盧泰愚は北朝鮮との関係改善に積極姿勢を見せ、1988年7月7日に「民族自尊と繁栄のための大統領特別宣言」(7・7宣言)を発表し、北朝鮮に対して敵対関係の清算を呼びかけた。1989年に発生した東欧革命、冷戦の終結と言った時代の流れは、盧泰愚大統領の対北朝鮮関係改善政策の後押しをした。そのような中、1990年9月にはソウルで南北の首相が会談を行う南北首相会談が実現した。
南北共同連絡事務所: 2018年4月27日に板門店で開催された南北首脳会談において、韓国大統領の文在寅と北朝鮮国務委員会委員長(朝鮮労働党委員長)の金正恩が連名で発表した『板門店宣言』に基づき、北朝鮮側の開城工業地区に設置された。実質的には、北朝鮮における韓国の事実上の大使館(英語版)として機能し、南北朝鮮間を直接繋ぐ連絡チャンネルとしての役割を担っていた。事務所の所長として、韓国側からは統一部次官の千海成(朝鮮語版)(チョン・ヘソン/천해성)、北朝鮮側からは祖国平和統一委員会副委員長の田鍾秀(チョン・ジョンス/전종수)の二人が就任した。ただし、2019年3月22日に田鍾秀が撤収してからは北朝鮮側所長が不在となっていた。
南北共同連絡事務所: 2018年4月、板門店で開催された南北首脳会談で南北共同連絡事務所の設置について合意。2018年9月、開城に開所した。共同連絡事務所は2005年に開所した南北交流協力協議事務所の建物を改・補修して使用されていた。週1回、事務所の両代表による定例協議を開催。しかし、2019年2月米朝首脳会談(ハノイ会談)以降は事務所の両代表による定例協議は中断した。2019年3月22日、北朝鮮は南北共同連絡事務所から全職員を引き揚げた。韓国は北朝鮮に早期に復帰するよう要求しており、韓国側職員は南北共同連絡事務所での勤務を継続。3月25日、北朝鮮側職員の一部が業務に復帰し、29日には撤収以前の水準に戻ったが、依然として所長や所長代理は不在であり、所長会議は中断したままであった。
板門店: だが、北朝鮮の支配地域である開城市の中立性維持に疑問が持たれて8月23日から協議が中断したため、両者は新たな協議の場所として当時の前線の中間地帯に位置していたノル門里へ会談場所を移すことに合意した。当時のノル門里は藁葺きの家が4-5軒ある小さな住宅街で、村の畑をつぶして新設した会談場所の前に木板で出来た大きな門と垣根を有する酒幕(チュマク、朝鮮語: w:ko:주막:飲み屋・飲食店・旅館の機能を兼ねた朝鮮の伝統的な店)が立地していた。その為、中国人民志願軍の関係者は会談場所に目印の看板を設置するに当たり、「ノル」が中国語で「板」を意味すると知って先ず「ノル門」を「板門」と漢字表記し、会談場所の前に店があることから「店」の字を加えて「板門店」という名称を生み出した。
板門店: 2018年4月27日、韓国側施設「平和の家」で、韓国の文在寅大統領と北朝鮮の金正恩朝鮮労働党委員長が会談した。史上初めて、南北首脳会談が韓国側で開催され、北朝鮮の最高指導者が韓国入りした。同年5月26日、今度は文在寅が北朝鮮側施設「統一閣」を訪問し、金正恩と会談した。2019年6月30日、韓国側施設「自由の家」で、ドナルド・トランプアメリカ合衆国大統領と北朝鮮の金正恩朝鮮労働党委員長、中途参加となった韓国の文在寅大統領による米朝(韓)首脳会談が開催された。1953年の朝鮮戦争休戦以降初めて、現職のアメリカ合衆国大統領が北朝鮮側に足を踏み入れた。
朝鮮戦争休戦協定: 軍事境界線は戦争前に南北朝鮮を隔てていた38度線から、そう遠くないところにある。
朝鮮戦争休戦協定: 休戦合意を巡る協議は、韓国の国境近く黄海北道に位置し、北朝鮮が占領する都市開城で1951年7月10日に始まった。交渉の最高責任者は、北朝鮮副首相兼人民軍総参謀長南日大将と米国のチャールズ・ターナー・ジョイ(英語版)中将であった。2週間後の1951年7月26日、5項目の協議事項が合意された。この合意事項は1953年7月27日に休戦協定に署名するまで協議を主導した。協議事項が決まると、会談はゆっくりと断続的に進行した。最も長い中断は、1951年8月23日に始まった。この日、夜明け前に北朝鮮とその同盟国は、開城の会議場が爆撃されたと主張した。北朝鮮は国連軍が直ちに調査を行うよう求めると共に、国連軍が実際に会議場を攻撃した証拠があると結論付けた。しかし証拠は捏造されたものと思われた。共産側はその後、日中の調査を拒否した。休戦協議が再開したのは、1951年10月25日であった。
軍事境界線 (朝鮮半島): 朝鮮戦争以前は、韓国と北朝鮮の境界は、アメリカとソ連の分割占領線である北緯38度線ちょうどに設定されていた。1950年6月に始まった朝鮮戦争は約3年を経て膠着状態となり、1953年7月27日、国連軍代表でアメリカ司令官のウィリアム・ハリソンや朝鮮人民軍代表の南日らが朝鮮戦争休戦協定に署名し、休戦の施行時の現状を境界として画定させることになった。その結果、西海岸では北朝鮮が38度線の南に食い込み、東海岸では韓国が北に食い込む形の線となった。朝鮮戦争以前は大半の地域が南側であった開城と、黄海道の海岸線付近は北側となった。一方、江原道中部(束草市など)は北側から南側に属することとなった。
朝鮮統一問題: その後、補給線が延びきり息切れした中朝連合軍に対し反撃を敢行した国連軍は1951年3月14日にソウルを再び奪回したものの、戦況は38度線付近で韓国の参加する国連軍と北朝鮮の参加する中朝連合軍が膠着状態となった。1953年3月5日のソ連のヨシフ・スターリン首相の死を契機に休戦への動きが進み、韓国の李承晩大統領が休戦への署名を拒んだために韓国軍代表の崔徳新少将が署名しないまま、1953年7月27日に中朝連合軍代表の南日と国連軍主席代表(国連軍最高司令官)ウィリアム・ハリソン・Jr(英語版)によって朝鮮戦争休戦協定が署名された。1953年7月27日の朝鮮戦争休戦によって朝鮮は軍事境界線(38度線)による分断と対立が固定されることとなった。韓国、北朝鮮は両政府共に未だに平和条約を締結していない。
国境会戦 (朝鮮戦争): 国境会戦(こっきょうかいせん)は、朝鮮戦争の勃発直後、1950年6月25日に北緯38度線付近を戦場として、大韓民国と朝鮮民主主義人民共和国(北朝鮮)の間で行われた戦闘である。
朝鮮戦争: 朝鮮戦争(ちょうせんせんそう)は、1948年に成立したばかりの朝鮮民族の分断国家である大韓民国(韓国)と朝鮮民主主義人民共和国(北朝鮮)の間で生じた、朝鮮半島の主権を巡る国際紛争である。ソ連崩壊を受けて公開された機密文書によると、1950年6月25日にソ連のヨシフ・スターリンの同意と支援を取り付けた金日成率いる北朝鮮が、事実上の国境線と化していた38度線を越えて韓国に侵略戦争を仕掛け、勃発した。分断国家朝鮮の両当事国、北朝鮮と韓国のみならず、東西冷戦の文脈の中で西側諸国を中心とした国連軍と東側諸国の支援を受ける中国人民志願軍が交戦勢力として参戦し、3年間に及ぶ戦争は朝鮮半島全土を戦場と化して荒廃させた。1953年7月27日に国連軍と中朝連合軍は朝鮮戦争休戦協定に署名し休戦に至ったが、北緯38度線付近の休戦時の前線が軍事境界線として認識され、南北二国の分断状態が続くこととなった。
在北平和統一促進協議会: 在北平和統一促進協議会(ざいほく へいわとういつ そくしんきょうぎかい、朝鮮語: 재북평화통일촉진협의회)は、朝鮮民主主義人民共和国(北朝鮮)の南北交流、対南工作団体のひとつである。1956年7月に平壌の牡丹峰劇場で結成された。
38度線: 1950年6月25日に朝鮮戦争が勃発し、1953年に国連軍と朝鮮人民軍及び中国人民志願軍の間で休戦協定が結ばれた。この際、休戦協定直前の最前線が停戦ラインとされ、停戦ラインから南北2キロメートルずつを非武装地帯(DMZ, Demilitarized zone)と呼ばれる緩衝地帯として設置し、朝鮮半島を横切る無人の地域となっている。また南北双方は侵入を防ぐ目的で、非武装地帯を何重にも鉄条網や高圧電線で囲い、幅4キロメートルの帯状のこの地域に多くの地雷を敷設している。以後アメリカ軍とソ連軍が引いた境界線に代わり、この停戦ラインが軍事境界線として、2020年現在も南北の事実上の境界線(国境)となっている。現在、38度線と言えば、この停戦ラインを指すことが多い。ただし、停戦ラインの38度線はあくまでも「付近」であり、実際には西南西から東北東へと向かう歪な線となった。
北方限界線: 1953年、朝鮮戦争の休戦後、戦争の再燃を防ぐため、大韓民国(韓国)と朝鮮民主主義人民共和国(北朝鮮)の実効支配地域を確定する必要が生じた。陸上については、休戦時点における前線を軍事境界線とすることで一致したが、海上での境界については話し合われていなかった。海上での争いから、朝鮮戦争が再開するかもしれないと危惧した国連とアメリカ合衆国は、海上についても境界線の設定が必要と判断した。そこで、休戦協定発効から約1か月後の1953年8月30日、海上における韓国と北朝鮮の軍事境界線として、北方限界線を設定した。即ち、国連軍司令官は南北間の衝突防止など停戦状態を安定的に維持し、国連軍及び韓国軍の艦艇・航空機の活動の北方限界を規定するために北方限界線を設定した。
朝鮮戦争休戦協定: 1950年12月半ばまでにアメリカ合衆国は既に朝鮮戦争の終結を見据え、休戦の条件を策定していた。米国が望んだ協定は、戦闘を終結させ、戦闘の再開がないことを保証し、国連軍部隊の安全を守ることであった。アメリカはあらゆる合意を監視する双方から成り立つ軍事休戦委員会が必要だと決定した。双方に「朝鮮において陸海空軍の部隊や兵員を増強する行為をやめ・・・朝鮮に存在する軍備増強を防ぐ」協定が必要であった。アメリカは概ね幅20マイルの非武装地帯を設けることを望んだ。協定はアメリカが一対一で交換すべきと考える捕虜の問題にも触れることになる。休戦のための交渉は1951年5月2日、アメリカの外交官とソ連の国連代表ヤコフ・マリクが接触し、その後アメリカ側はジョージ・F・ケナンを窓口として米ソ間で開始された。
南北首脳会談: 南北首脳会談(なんぼくしゅのうかいだん)は、大韓民国(韓国)と朝鮮民主主義人民共和国(北朝鮮)の両首脳による首脳会談である。
南北共同連絡事務所: 南北共同連絡事務所または北南共同連絡事務所(朝鮮語: 남북공동연락사무소(南) / 북남공동련락사무소(北)、英語: Inter-Korean Liaison Office)は、かつて開城工業地区に存在していた連絡事務所である。正式な外交関係がない南北朝鮮の窓口として、大韓民国(韓国)と朝鮮民主主義人民共和国(北朝鮮)が共同で運営していた。
38度線: 38度線(38どせん、英: 38th parallel north)は、本来は、第二次世界大戦末期に朝鮮半島を横切る北緯38度線に引かれたアメリカ軍とソ連軍の分割占領ラインである。北緯38度線上に定められたことから、こう呼ばれる。大韓民国(韓国)では38線(朝鮮語: 38선、三八線)と呼んでいる。韓国と朝鮮民主主義人民共和国(北朝鮮)の独立から朝鮮戦争勃発までは、それらの国の境界線(国境)となっていた。朝鮮戦争後の軍事境界線もやはり38度線と呼ばれることがあるが、正確には一致しない。北緯38度線と軍事境界線は、北緯38度0分0秒 東経126度47分13.20秒 / 北緯38.00000度 東経126.7870000度 / 38.00000; 126.7870000の地点(朝鮮民主主義人民共和国黄海北道長豊郡沙是里/大韓民国京畿道漣川郡百鶴面梅峴里)で交差する。
軍事境界線 (朝鮮半島): 朝鮮半島における軍事境界線(ぐんじきょうかいせん、朝鮮語: 군사분계선、英語: Korean Demilitarized Zone〈略称:DMZ〉)とは、陸上において大韓民国(以下、韓国)と朝鮮民主主義人民共和国(以下、北朝鮮)との実効支配地域を分割する地帯のことである。あくまで実効支配地域の「境界線」であり、「国境線」ではない。また、韓国においては北緯38度線付近にあることから38線(삼팔선:サンパルソン)と呼ばれることが多い(厳密な北緯38度線とは一致しない)。朝鮮戦争の休戦ラインであり、1953年7月27日の朝鮮戦争休戦協定により発効した。軍事境界線の周囲には南北に非武装地帯が設定され、加えて韓国側では民間人出入統制区域も設定されているため、一部の例外を除き一般人が軍事境界線付近へ近づくことはできない。
朝鮮民主主義人民共和国: 当初分断国家朝鮮両国の武力衝突であった朝鮮戦争は、東西冷戦構造の中で突然の侵略を受け劣勢になった韓国側に立ったダグラス・マッカーサー元帥の下、アメリカやイギリス連邦、タイやトルコ、フランスやベルギーなど16か国から構成される「国連軍」の参戦と、「国連軍」の朝鮮半島北上により北朝鮮の劣勢を受けて北朝鮮側に立った彭徳懐司令官率いる中国人民志願軍の介入により国際紛争へと拡大した。戦争は朝鮮全土を破壊した上で1953年7月27日の休戦を迎え、38度線に軍事境界線が制定され朝鮮の分断が固定化された。朝鮮半島の分断は停戦状態のまま固定されており、朝鮮統一問題が北朝鮮の最重要課題となっている。休戦後、北朝鮮は「南朝鮮を解放」するため特殊工作員の対南工作に力を入れ、しばしば韓国の情報機関に摘発されているほか、韓国や日本などの国民の拉致も行っている。
大韓民国の国際関係: 北朝鮮 :大韓民国は1950年6月25日の朝鮮戦争勃発以降、朝鮮民主主義人民共和国(北朝鮮)と敵対的な関係にあった。李承晩初代大統領は「北進統一」に固執したために1953年7月27日の朝鮮戦争休戦協定に大韓民国の要人は署名せず、休戦以後も南北関係は敵対的であった。1960年に四月革命 (韓国)によって李承晩政権が打倒された後、朝鮮民主主義人民共和国の金日成首相は同1960年8月14日に「連邦制統一案」と両政府代表による「最高民族委員会」の樹立を提唱し、南北朝鮮の平和統一を大韓民国に提示したが、張勉首相がこの案を検討しないまま翌1961年に5・16軍事クーデターによって朴正煕少将が実権を握ったため、本格的な南北対話は1972年7月4日の南北共同声明による関係改善のムード以後となった。
大韓民国の国際関係: 1950年6月25日の朝鮮戦争の勃発後、怒涛の南進を続ける朝鮮人民軍は大韓民国政府を臨時首都、釜山まで追い詰めたが、ダグラス・マッカーサー元帥率いる国連軍の参戦によって大韓民国は勢力を挽回、李承晩大統領の「北進統一論」によって開戦前の事実上の国境線であった38度線を北上し、大韓民国国軍は一時中朝国境の鴨緑江にまで到達したものの、中華人民共和国の毛沢東主席は朝鮮戦争参戦による「抗美援朝」(「美国に抗して朝鮮民主主義人民共和国を援ける」ことの意)を決意し、彭徳懐司令官率いる中国人民志願軍(抗美援朝義勇軍)は朝鮮人民軍と共に国連軍及び大韓民国国軍を38度線まで押し戻した。中朝連合軍と国連軍は1953年7月27日にそれぞれの代表であった南日朝鮮人民軍大将とウィリアム・ハリソン・Jr(英語版)アメリカ軍中将の間で朝鮮戦争休戦協定を署名した。