理論Aと理論Bの起源と応用？

いくつかの最近の質問（q1 q2）で、「理論A」対「理論B」の議論がありました。これは、ロジックとプログラミング言語の研究とアルゴリズムと複雑さの研究との境界を捉えているようです。

この用語は私にとって新しいものであり、簡単なWeb検索では、それを説明する明確な参考文献が見つかりませんでした。

この用語の起源を説明するリファレンスを知っている人はいますか？もしあれば、この区別から実質的な利益が得られることを意図していますか？

ho.history-overview terminology

— マーク・ハーマン
ソース

トピック外：q1およびq2へのリンクを編集し、「パーマリンク」にリンクすることをお勧めします。これにより、質問のタイトルが編集されても、リンクは有効なままです。

— MS Dousti

タイトルは無視されます。cstheory.stackexchange.com/questions/944/foobarは、タイトルと一致しなくても正常に機能します。

— ユッカスオメラ

いい質問です、私はこれを自分で考えました。「理論B」は常に少し軽de的なように見えました！

— アーロンロス

@Aaron：時々行われるように、PLを「ユーロ理論」と呼ぶよりはましだと思います。これは、アメリカや日本のPL研究者、そしてヨーロッパの二重に複雑な理論家にとって、常に私を苦しめてきました。:)

— ニールクリシュナスワミ

Moshe Vardiが、このブログ投稿でいくつかの参考文献の簡単な概要を説明しています。なぜACMに理論的コンピューターサイエンスのSIGがないのですか？＆その一部を国籍に帰属させます。米国（より多くの理論A）対欧州の強調（混合）

— vzn

回答:

理論的なコンピューターサイエンスに関するハンドブックに由来します。このハンドブックには2つのボリュームがあります。Aはアルゴリズムと複雑さに関するもので、Bはロジックとセマンティクスに関するものです。

ユッカ、ICALPはこれに先立っていましたか？それともこれに応えてですか？

利点については、関心のあるトピックや研究の形態に基づいて分野を分類する際に、常に何らかの有用性があると思います。ただし、すべての分類法と同様に、「ツリーに戻って反対側に戻る」ことを忘れると問題が発生します:)。

編集：ICALPが明示的に述べているように、この区分はハンドブックよりも前のElsevierジャーナルTheoretical Computer Scienceに由来しているので、より正確な情報源だと思います。

EDIT ++：EATCSの歴史から、TCSに関する次のスニペットが発行されています。

それ以来、編集長であるM. Nivatは、定期的に評議会および総会に報告することがあります。関連トピック）が決定されました（Bulletin no。45、p.2,3、October 1991）;

1991年に、これがジャーナルで最初に起こり始めたときのようになります。ただし、ハンドブックは1990年9月に初めて発行されました！

— スレシュ・ベンカット
ソース

ICALPは、1997年に TCSジャーナルからトラックを取得したようです。しかし、私が彼らのウェブページで見つけた「トラックA」と「トラックB」への最も古い参照は1999年のものでした。

— ユッカスオメラ

ICALP 1997だった：「シルバージュビリーもICALPの一般的なフォーマットに再形状に機会あるジャーナル理論計算機科学とカバーの2つのサブシリーズから知られているように、プログラム委員会は二つのトラックを表します。algorithms' and 同じように、正式な方法。」（ICALP 1997ページから）

— Suresh Venkat

しかし、1997ページでは、2つのトラックを参照するためにラベル「A」と「B」を使用していないようです。

— ユッカスオメラ

いいえ、しかし意図が何であるかは明らかです。TCSにはA / Bの区別があったと思います。

— スレシュヴェンカト

関連する歴史的ポイント：TCS（C）は「自然なコンピューティング」ジャーナルでしたが、ICALPのTrack Cのトピックは毎年変わると思います。

— アーロンスターリング

ICALPトラックAとB

— ユッカ・スオメラ
ソース