NRIネットコムBlog
インフラ屋さんはAIコーディングエージェントとどう生きるか ~ Kiroを使ったWebシステムなアーキテクチャ構築をしてハマった話 ~ - NRIネットコムBlog
ozawaです。暑い日が続いていますのでオフィス出社した際のランチは毎回同じ中華屋さんで冷麺セットを頼ん...
 インフラ屋さんはAIコーディングエージェントとどう生きるか ~ Kiroを使ったWebシステムなアーキテクチャ構築をしてハマった話 ~ - NRIネットコムBlog NRIネットコムのエンジニアによる、AWSのAIコーディングエージェント「Kiro」を使ったWebシステム構築についてのブログ記事です。 Kiroを実際に使用して、インフラエンジニアがAIコーディングエージェントに何を求めるか、そしてどのように付き合っていくかを考察しています。 上流工程の品質の重要性、曖昧な指示の改善、考慮すべき観点の洗い出し、前提条件のすり合わせの必要性を述べています。
From XML to JSON to CBOR - The CBOR, dCBOR, and Gordian Envelope Book
 From XML to JSON to CBOR - The CBOR, dCBOR, and Gordian Envelope Book XMLからJSON、そしてCBORへの進化を辿る技術記事です。 各フォーマットの設計思想、トレードオフ、そして普及の背景を解説しています。 データ交換フォーマットの進化の歴史を理解するのに役立ちます。
国内ITサービス市場、昨年（2024年）の売上1位は富士通、2位は日立製作所、3位はNEC。IDC Japan
調査会社のIDC Japanは2024年の国内ITサービス市場ベンダー売上ランキングを発表しました。 売上の上位6社は1位...
 国内ITサービス市場、昨年（2024年）の売上1位は富士通、2位は日立製作所、3位はNEC。IDC Japan － Publickey IDC Japanは2024年の国内ITサービス市場ベンダー売上ランキングを発表しました。 上位5社は富士通、日立製作所、NEC、NTTデータ、IBM、アクセンチュアです。 金融、製造、政府／公共の各分野で高い成長を示しました。
Zenn
React.js UI/Container分離 × Hooks × Composition で責務を整理してみた話
 React.js UI/Container分離 × Hooks × Composition で責務を整理してみた話 React.jsでUIとContainerを分離し、HooksとCompositionを組み合わせた設計について解説しています。 これにより、コンポーネントの責務が明確になり、テストやStorybookの作成が容易になります。 チーム開発における効率化や再利用性の向上にもつながるとしています。
GIGAZINE
定番ローカルAIツール「Ollama」のGUIアプリ版が登場、数多くの大規模言語モデルをローカルで実行してチャットできる
「Ollama」は数多くのAIモデルをローカル環境で実行できるツールです。新たに、WindowsとmacOS向けに使いやすいG...
 定番ローカルAIツール「Ollama」のGUIアプリ版が登場、数多くの大規模言語モデルをローカルで実行してチャットできる - GIGAZINE 定番ローカルAIツール「Ollama」のGUIアプリ版が登場しました。 これにより、数多くの大規模言語モデルをローカルで実行し、チャットできます。 WindowsとmacOSに対応しています。
CyberAgent Developers Blog
形式手法入門：生成 AI 時代の『設計』のあり方について | CyberAgent Developers Blog
本記事では設計を正確に記述し検証することができる「形式手法」の入門的な内容についてご紹介します。
 形式手法入門：生成 AI 時代の『設計』のあり方について | CyberAgent Developers Blog この記事では、形式手法の入門的な内容を解説しています。 システムの設計・振る舞いを形式的な言語で記述し、その正しさを検証する手法について紹介されています。 生成AI時代における設計のあり方を考える上で、形式手法が改めて注目される意義を解説しています。
ITmedia AI{
uConfluencěAxRAGɊpɂvɂǂށH@Cygames̎s
ConfluencepRAG̖BCygames͂ǂH
 「Confluenceの検索、精度が悪くてRAGに活用しにくい」にどう挑む？ Cygamesの試行錯誤：CEDEC2025 - ITmedia AI＋ CygamesがConfluenceの検索精度向上のためにRAG（Retrieval-Augmented Generation）を活用した事例を紹介します。 Confluence APIの検索ではキーワードと文言の完全一致が必要で、RAGに使ってもユーザーが望む情報に到達しにくい問題がありました。 キーワード検索とベクトル検索を組み合わせることで、検索精度が改善されたとのことです。
日経クロステック（xTECH）
Python用GUIライブラリーを活用、ローカルLLMを利用するAIアプリをつくろう
「TkEasyGUI」は、筆者が開発しているPython用のGUIライブラリです。PythonとTkEasyGUI、そして、LLMの推論を行えるソ...
 Python用GUIライブラリーを活用、ローカルLLMを利用するAIアプリをつくろう | 日経クロステック（xTECH） この記事では、ローカルLLMを利用したAIアプリの作成について解説します。 Python GUIライブラリTkEasyGUIとOllamaを組み合わせることで、手軽にAIアシスタントのデスクトップアプリを作成できます。 OllamaのインストールからLLMのダウンロード、そしてPythonでの実装まで、具体的な手順が記載されています。
ITmedia NEWS
g11h͑H@ƎS̊֌WAB`[
I[XgÃVhj[wȂǂɏ錤҂́A1̕ƌN̊֌Wɂ‚ĕ͂񍐂𔭕\B
 “1日1万歩”は多すぎた？ 歩数と死亡率の関係、豪州チームが調査：Innovative Tech - ITmedia NEWS オーストラリアの研究チームが歩数と健康の関係を分析しました。 1日7000歩で多くの健康改善が見られ、死亡率や疾患リスクが低下するとのことです。 1万歩でも効果は継続しますが、7000歩を超えると追加効果は限定的です。
GitHub
GitHub - traccar/traccar: Traccar GPS Tracking System
Traccar GPS Tracking System. Contribute to traccar/traccar development by creating an account on GitHub.
 GitHub - traccar/traccar TraccarはオープンソースのGPS追跡システムです。 Javaベースのバックエンドサービスを提供し、200以上のGPSプロトコルと2000以上のGPS追跡デバイスモデルをサポートします。 主要なSQLデータベースシステムで使用でき、使いやすいREST APIも提供します。