![](https://cdn-ak-scissors.b.st-hatena.com/image/square/2f46da004c94b4db48c4db29e52bb17e3e6867de/height=288;version=1;width=512/https%3A%2F%2Fimage.itmedia.co.jp%2Fnews%2Farticles%2F0505%2F25%2Fyu_nri.jpg)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント2件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
HTMLとJavaの不整合を自動チェック――NRIと名大
野村総合研究所(NRI)は5月25日、異言語プログラム同士の不整合を高精度で自動検出する技術を、名古屋... 野村総合研究所(NRI)は5月25日、異言語プログラム同士の不整合を高精度で自動検出する技術を、名古屋大学と共同開発したと発表した。 HTMLやJava、XMLといった複数のプログラミング言語を組み合わせたWebシステムで、記述の不一致や記述漏れを検出できる。同様のチェックは従来、手作業で行うか、テスト環境で実際に動かしてみる必要があり、信頼性の高いシステムを構築するには人手と時間がかかっていた。 文部科学省のソフト開発プロジェクト「リーディングプロジェクト」の一環。名大が研究しているプログラム言語の静的解析技術「Sapid」と、NRIのWebシステム開発プラットフォーム「オブジェクトワークス」を組み合わせて開発した。同機能は、NRIが4月に発売した「オブジェクトワークスR6.5」に搭載している。 NRIは同技術を活用し、プログラムの実行テスト用テストケースを自動生成する研究にも取り組む。
2005/09/21 リンク