ノーマルビュー

Idrisでビジネスロジックを書く場合どのように証明を書けるのか気になった

2026年3月30日 09:02
背景 最近、輪読会でIdrisの勉強をしました。 教材はプログラング言語Idrisに入門させたい(v0.9)を使ったのですが、ド・モルガンの法則等の証明はとても興味深かったです。 証明を書くことで、単体テスト等で確認していたことがコンパイラで賄える点は非常に便利だと感じま...

AIネイティブな時代への準備

2026年3月29日 22:37
Codingエージェントの進化が日々凄まじいですが、自分の肌感覚としても感じている、今年~来年のメイントレンドになりそうな事をまとめてみました。 領域や組織規模によるので一概には当然言えないですが、簡単な社内での振り返りやディスカッションのきっかけにして頂ければ嬉しいです。...

セキュリティコンサルタント1年目が最初に身につけるべき「情報の読み解き方」

著者: Intect-i
2026年3月29日 11:44
TL;DR 技術知識だけでは「事実の要約」止まり。顧客が求めるのは「判断材料と提案」 3つの問い(背景・目的・効果)を立てるだけで、情報の読み解き方が変わる 毎週のJPCERT/CC Weekly Reportで繰り返し練習できる 対象読者 セキュリティコンサルタ...

個人開発者がVercelを無料で使い倒す方法【初心者向け完全ガイド】

2026年3月29日 08:59
個人開発者がVercelを無料で使い倒す方法 個人開発者にとって、Vercelは最強のホスティングプラットフォームの一つです。無料プランでも十分な機能が使えるため、サイドプロジェクトや学習用アプリの公開に最適です。 今回は、Vercelの無料プランを最大限活用する方法を初...

AIが同じミスを学習し自律的に学習し成長する仕組みを作った

著者: Keita-0025
2026年3月27日 20:02
はじめに Claude Code を半年くらい使ってきて、正直しんどいなと思うことがあった。 そして、僕は気付いた「Aiがより人間らしくなっている」と どうしたAIに気持ちよく仕事してもらえるか、 どうしたらAIをハンドリングできるかと考えてみた AIが同じミスを何度も繰...

TLS・IPsec・SSHに横断する特許リスク? — ML-KEM標準化を揺るがすIPR disclosure問題を徹底解説

著者: yumi-sakemi
2026年3月28日 01:03
はじめに こんばんは!暗号のおねぇさんことGMOコネクト(GMOインターネットグループ エキスパート)の酒見です。 今日(2026年3月27日)、IRTF(Internet Research Task Force)で暗号技術の研究を行なっているCFRG(Crypto Fo...

Agentic SearchとAgentic RAG、何が違うのかを自分なりに整理してスッキリするための備忘録

著者: y-okayama-tb
2026年3月27日 10:48
はじめに こんにちは。トライベック株式会社の岡山です。 最近、AIエージェントの文脈で 「Agentic Search」 や 「Agentic RAG」 という言葉をよく耳にするようになりました。どちらもWeb検索を活用する自律型アプローチとして注目されていますが、「We...

大阪・関西万博におけるローカル5G活用事例と屋内位置測位技術について

2026年3月27日 09:35
京セラコミュニケーションシステム株式会社 赤嶺です。 宜しくお願いします。 はじめに 2025年の大きな出来事といえば何といっても大阪・関西万博でしたね。 私も2度ほど家族で来場し、既存のテーマパークとは違う貴重な体験をしました。また、小学1年生と2歳の息子も彼らなりに楽...

【DevOps Agent】AWS DevOps Agent のできること・できないことを責任共有モデルから考えてみる

著者: ryu-ki
2026年3月27日 18:17
はじめに AWS DevOps Agent は re:Invent 2025 で発表された Frontier Agent で、インシデント発生時に自律的に調査を行い、根本原因の特定から緩和策の提案まで支援してくれるサービスです(2026年3月時点でパブリックプレビュー中)...

生成AIを「実際に」Androidアプリに組み込んでみた【ローカルLLM実装編】

著者: hirano-yuto
2026年3月27日 10:44
はじめに この記事は以前公開した『生成AIの仕組みを「なんとなく」理解する』の続編、実装編です。 前回は、LLM(大規模言語モデル)とは何か、ローカルLLMとは何か、といった概念や仕組みをざっくり解説しました。 開発手法について この取り組みでは、仕様駆動開発(...

自作MCP×AI Agentの回答精度をClaude Codeで評価させてみた[LLM-as-a-Judge]

2026年3月26日 13:13
背景 最近、業務データとLLMを繋ぐためにMCPサーバーを自作していました。ツールを実装しながら気になったのが、「ユーザーがAI Agentに投げる質問に対して、MCPツール経由で正しい回答を返せるのか」という点です。 そこでLLM-as-a-Judge(LLMの出力を別...

[小ネタ] Webサーバ、Node.js は無限ループで停止するが Go は停止しない

著者: ssc-ksaitou
2026年3月24日 10:35
はじめに それぞれNode.jsとGoでは以下のように並行処理方式が異なるので、無限ループに遭遇すると、理屈で考えると以下のようになるはずですが…… Node.js: mainスレッドが一つのみの実質的なシングルスレッドなので、サーバ全体が停止します 回避するために...
❌