Skip to main content
株式会社オブライト

Column

Useful articles about SEO, Web Development, and IT

Browse by calendar (flip like a book)

895 articles

AI2026-08-01
Lean 4 Explained: The Theorem Prover Powering AI Math
Lean 4 is a proof assistant that verifies proofs by compiling them. In 2026, AI-Lean pairs such as AlphaProof Nexus and Gauss delivered striking new results.
LeanAI
Business DX2026-07-31
Files Deleted from a Shared Folder: First Response Guide
What to do first when a file vanishes from a shared folder or cloud drive: what to stop immediately, recovery options and deadlines by storage type (Windows shares, NAS, Microsoft 365, Google Drive), actions that destroy your chances, and who to call.
IT緊急対応中小企業DX保守運用
AI2026-07-31
GPT-5.6 API Price Cut (July 30, 2026): Luna −80%, Terra −20%, and Fast Mode for Sol
On July 30, 2026 OpenAI cut GPT-5.6 API prices: Luna drops 80% to $0.20 in / $1.20 out per 1M tokens, Terra drops 20% to $2 / $12, Sol is unchanged and gains Fast mode (up to 2.5x speed at 2x price). Full old-vs-new tables, monthly cost recalculations, and what to change in your routing design.
GPT-5.6OpenAIAPI料金+1
AI2026-07-30
Qwen Scribe Explained: Fully Local Transcription and System-Wide Dictation on Apple Silicon
Qwen Scribe runs Qwen3-ASR on Apple Silicon via MLX for fully offline transcription and system-wide dictation — 3.4GB unified memory for the 1.7B model, 1.2GB for 0.6B. Covers requirements, setup, push-to-talk usage, SRT export, the three macOS permissions, and how it compares to Whisper-based tools.
ローカルLLM音声入力音声認識+2
Business DX2026-07-30
Google Workspace vs Microsoft 365 for Small Businesses: How to Choose and What It Costs
A neutral guide for small businesses choosing between Google Workspace and Microsoft 365: per-user monthly cost bands by plan, where each one is genuinely stronger, migration cost, the risk of running both, and a checklist to decide.
中小企業DXひとり情シスIT予算+1
AI2026-07-30
Plaud MCP & CLI Explained: Recordings and Transcripts Inside Your AI Client
A guide to Plaud's official MCP server (@plaud-ai/mcp) and CLI: search recordings, pull transcripts, and read AI summaries directly from Claude, ChatGPT, Cursor, and other AI clients. Covers one-command setup, the 7 MCP tools and 6 skills, terminal commands, meeting-to-follow-up workflows, and privacy considerations — based on the official docs.
MCPAIエージェントClaude Code
Business DX2026-07-29
Email Spoofing Protection for Small Businesses: SPF, DKIM and DMARC Explained
How SPF, DKIM and DMARC stop attackers sending mail as your domain: checking your setup, what DMARC policies mean, a phased rollout, and cost ranges.
中小企業DXITリスク対策保守運用+1
Software Development2026-07-29
MCP 2026-07-28 Spec: Stateless Core, Extensions and Hardened Authorization
MCP 2026-07-28 explained: no initialize handshake, no session IDs, server/discover, MRTR, the Tasks extension, hardened OAuth, and what breaks in existing servers.
MCPModel Context ProtocolAIエージェント+1
AI2026-07-29
OpenAI Codex Security: The AI Vulnerability Scanner CLI and SDK, Explained
A hands-on guide to @openai/codex-security, the open-source CLI and TypeScript SDK for OpenAI's security agent: the find-validate-patch pipeline, key commands, pre-commit hooks, CI integration with --fail-on-severity and SARIF export, cost controls, and requirements — based on the repository's primary sources.
OpenAI CodexOpenAIセキュリティ+1
Business DX2026-07-28
Account, Password and MFA Management for Small Businesses — The First Three Steps
A practical guide for small businesses with no IT staff: which accounts to protect first, what password managers cost, and how MFA methods compare.
中小企業DXITリスク対策ひとり情シス+1
Software Development2026-07-28
Scriptc — Vercel Labs' TypeScript-to-Native Compiler with No JavaScript Engine in the Binary
Vercel Labs' scriptc compiles TypeScript into native binaries with no Node or V8 inside — how the three-tier model works and how it compares to Bun and Deno.
TypeScriptVercel開発ツール+2
Business DX2026-07-27
Choosing an E-Signature Service — Costs, Types, and Rollout Steps
How SMBs pick an e-signature service: certificate-based vs platform-based signing, price bands, rollout steps, and what to do when a counterparty wants paper.
中小企業DX業務効率化ITリスク対策
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475