InfoQ ホームページ Language Workbench に関するすべてのコンテンツ
ニュース
RSSフィード-
DeepSeek社、数学定理証明向けLLM「Prover-V2」をオープンソースで公開
DeepSeek社は、Lean 4における数学定理証明に特化した新しいオープンソースの大規模言語モデルDeepSeek-Prover-V2を公開した。このモデルは、同社の基盤モデルであるDeepSeek-V3を活用した再帰的定理証明パイプラインを基盤として構築されている。Lean 4は、Microsoft Researchが開発した最新バージョンのLean定理証明ツールであり、機械による検証が可能な形式的証明を数学者やコンピュータ科学者が記述できる対話型証明支援システムである。
-
プログラミング言語Colmの紹介
Colmはコンピュータ言語の分析と変換のための新しいプログラミング言語だ。この新しい言語が革新的なのは構文解析の方法だ。この言語はAdrian Thurston氏の博士課程の成果物だ。
-
JetBrains MPS 1.1: パフォーマンス改善と容易になったデバッグ
半年前に Meta-Programming System (MPS)バージョン 1.0がJetBrainsからリリースされた。この続報として、1.1のリリースが１２月にあった。 InfoQは、Apache 2.0のライセンスの元で、オープンソース製品として提供されているLanguage Workbenchの現状を確認した（例外的にオープンソースでないのは、IntelliJ IDEAから抜き出されたJetBrains IDEフレームワークである）。
-
JetBrains のメタプログラミングシステムは言語指向プログラミングと DSL をサポート
JetBrainsの新しい言語指向プログラミングツールMPS（Meta Programming System: メタプログラミングシステム）を利用すると、開発作業時にプログラミング言語を拡張したり、企業アプリケーション用のドメイン固有言語を作成したりすることができる。JetBrainsの開発チームはこのほど、MPSソフトウェアのβ版を公開すると発表した。