タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

Py-BOLDとLangGraphとASTに関するmkusakaのブックマーク (1)

  • 遺産であるCOBOLを現代化し、その正確性を自ら証明するAIを開発した話

    予想してみてください。CUSTはCustomer(顧客)でしょう。IDはそのままID。ですが、末尾のXは何を指すのか、さっぱりわかりません。 次に、一般的なAI移行ツールによって「現代化」された後のコードを見てみましょう。 名前はそのまま、スネークケース(snake_case)になっただけ。相変わらず意味不明です。業界ではこれを 「Py-BOL」 と呼びます。モダンな環境で動作し、中身はCOBOLの思考回路のままのPythonコードのことです。コンパイルも通るし実行もできます。しかし、保守性は絶望的です。 私はこの問題を解決するシステムを構築しました。 誰も語らない「3兆ドル」の問題 1959年に設計されたCOBOL(Common Business-Oriented Language)は、現在も1日あたり推定3兆ドルの金融取引を処理しています。ATM取引の約95%、クレジットカード決済の8

    遺産であるCOBOLを現代化し、その正確性を自ら証明するAIを開発した話
    mkusaka
    mkusaka 2026/04/05
    COBOL現代化でLLMの誤りを防ぎ、LangGraphと型付きAST、pytestで同一性検証するPy-BOLDを解説。
  • 1