Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice
本電子版（Electronic Proceedings in Theoretical Computer Science, EPTCS）は、FLoC 2026カンファレンスにおけるFSCD 2026のサテライトイベントとして、2026年7月24日にポルトガルのリスボンで開催された第21回論理フレームワークとメタ言語に関する国際ワークショップ（LFMTP 2026）で発表された寄稿論文をまとめたものである。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
FLoC 2026と呼ばれる、巨大で賑やかなデジタル・コンベンションセンターを想像してみてください。そこは、コンピュータの思考法に関する究極のルールブックを構築するために、世界中の最も鋭い知性が集う場所です。この広大なホールの中には、「LFMTP 2026」として知られる、特別で心地よいサイドルームがあります。これは単なるサイドルームではありません。これは、「論理フレームワークとメタ言語（Logical Frameworks and Meta-Languages）」についてアイデアを交換してきたこの特定のグループにとって、21回目の集まりなのです。これらのフレームワークを、コードとしてではなく、コンピュータが自らの足をもつれさせることなく、いかにして妥当な議論を構築できるかを伝える、建築的な設計図や普遍的な文法として考えてみてください。
2026年7月24日、陽光降り注ぐポルトガルのリスボンにて、この部屋は最新の論文を発表する貢献者たちで満たされました。これらの論文は、「Electronic Proceedings in Theoretical Computer Science (EPTCS)」と呼ばれる特別なデジタル・ボリュームにまとめられています。それは、その一日に行われた最もスマートなスケッチや理論の年鑑のようなものです。
オリヴィエ・エルマン（Olivier Hermant）とソフィー・トゥレット（Sophie Tourret）が率いる選定チームは、非常に厳格で、かつ非常にクールなアートギャラリーのキュレーターのように振る舞いました。彼らは単に誰でも入れてきたわけではありません。コンピューティングにおける「真実」や「構造」の定義の境界を押し広げるような、特定の論文を選別したのです。この集まりは真空の中で行われたわけではありません。これは、より大きく有名なカンファレンスの波に乗って、第11回計算と推論の形式的構造に関する国際会議（FSCD 2026）に併設されたサテライト・イベントでした。
では、ここでの大きな要点は何でしょうか？ この文書は、単にその一日に発表された特定の講演や論文のコレクションに過ぎません。これは宇宙のあらゆる謎を解明したとか、自ら考えるロボットを構築したと主張するものではありません。その代わりに、私たちのデジタル論理が確実で、一貫しており、エラーのない状態であり続けるために、専門家たちが現在探求している理論と手法の、最先端の状態を写し取ったスナップショットを提供しています。もし、コンピュータ論理の未来を形作る人々の、生の、フィルターを通さない思考を見たいのであれば、このボリュームは彼らの最新の発見への地図となります。この進行中の旅路についての詳細は、彼らのデジタルホーム（https://lfmtp.org）をご覧ください。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。