米Googleは11月13日（現地時間）、「Visual Studio Code」から「Google Colab」へ直接接続できる拡張機能をリリースした。現在、アドオンストア「Visual Studio ...

【概要】法律答案を作成する際に「答案構成」という名前で知られている答案を書く前の準備作業について、形式言語で記述できるエディターを制作し、公開します。また、それにあたって、法的推論のための形式言語「Matcha」を定義しました。 窃盗罪の論述を形式言語で記述した例 ...

JFEスチール（本社：東京都千代田区）は2025年11月13日、東日本製鉄所（京浜地区）の基幹システムをメインフレーム（IBM製）からオープン環境（Java）に移行したと発表した。約3400万行のシステムを2025年8月に一括で移行した。これにより全 ...

中外製薬は、GoogleのAIコーディングツール「Gemini Code Assist」を導入し、開発速度を大幅に高めた。開発の属人化や心理的ハードルに悩んでいた同社はなぜGemini Code Assistを選んだのか。