世界を動かす技術を、日本語で。
トピック
言語、コンパイラ、開発ツール、ソフトウェア設計
322件の記事
Unicode を使う場合、全ての文字を許可すべきではないという指摘 RFC 9839 が問題のあるUnicode文字と推奨されるサブセットを定義 JSONなどのデータ構造設計時に 問題文字の除外 が...
AnandTechフォーラムは 多岐にわたるIT・テクノロジー分野 のディスカッションを提供 CPU、マザーボード、グラフィックカード など主要ハードウェアカテゴリが充実 ソフトウェアや ネットワーク...
プログラミングで使われる「関数を呼ぶ(call)」の語源と歴史的背景の解説 「call」は図書館の「call number(請求記号)」などの用語と関連 FORTRAN IIの「CALL」命令が普及の...
東京大学の情報科学科で行われた CPU実験プロジェクト の体験談 独自ISA設計、FPGA上へのCPU実装、Cコンパイラ開発、 Xv6 OS移植 の挑戦 学生主体の学習と開発が求められる 高度な課題設...
Pomological Watercolor Collection の公開推進活動の10年回顧 FOIAリクエスト を通じた画像の一般公開実現 Wikimedia Commons やSNSでの展開、P...
文字列検索アルゴリズムの従来手法の課題と現代CPUとのギャップ SIMD命令を活用した高速な部分文字列検索手法の紹介 Karp-RabinアルゴリズムのSIMD最適化と具体的な実装例 各種SIMD命令...
AI支援開発 による生産性向上の本質と具体的手法を解説。 Julep 社での実践例や Claude 活用ノウハウを紹介。 テスト記述の重要性 とAI任せにしすぎるリスクを強調。 AI活用の3モード (...
microsandbox は、信頼できないユーザーやAI生成コードを安全かつ高速に実行するための 超軽量仮想化環境 を提供。 microVM による堅牢な分離、 200ms未満の即時起動、 自己ホスト...
このリストは、 CUDAプログラミング に関する主要な書籍を初級から上級まで網羅。 C++/Python、アーキテクチャ、最適化、2024–2026年の最新刊も掲載。 実践的かつ高品質 なリソースに重...
数学の形式化は Lean 以前から続く長い歴史 AUTOMATH やLCFなど初期のシステムの重要性 Leanの成功と 依存型理論 への批判 Isabelle など他システムの利点と選択理由 AIや今...
Hypothesis の開発者が Antithesis に参加し、 Hegel という新しいプロパティベーステストライブラリを発表 Hegel は多言語対応を目指し、まず Rust 用をリリース、今後...
AI支援によるコーディングが開発者の間にあった見えない分断を顕在化 コードの「作る楽しさ」と「成果重視」の価値観の違いが表面化 著者自身の喪失感はクラフトそのものよりも環境変化に起因 どちらの喪失感も...
VectorWareが GPUネイティブRust async/await の実現を発表 従来のGPU並列処理 と warp specialization による課題整理 JAX/Triton/CUDA...
Susam Pal による20年以上のソフトウェア開発経験の回顧録 技術的な知識よりも 人とのエピソード を中心に構成 ソフトウェア開発初期の体験や、仕事での印象的な出来事の紹介 教訓やアドバイス で...
2026年以降、ソフトウェアエンジニアにとって最重要スキルはコミュニケーション AIコーディングエージェントの進化により、従来のコーディング能力の価値が相対的に低下 要件定義や仕様作成の精度が成果に直...
The Concise TypeScript Book はTypeScriptの機能を網羅的かつ簡潔に解説 初心者 から 上級者 まで役立つ無料・オープンソース書籍 公式サイトやEpub形式で ダウン...
SDR と DSP 分野への入門書 初心者 や 視覚的学習者 向けの内容 Python を用いた実践的な例の紹介 数式よりも 図やアニメーション 重視 貢献方法 や連絡先も案内 本書の目的と対象読者 ...
AI導入 が進む現場での キャリア不安 の増加 AI利用強制 が新たな職場ストレスの要因 評価基準の変化 によるエンジニアの役割変質 創造性の喪失 と職業のアイデンティティ危機 今後の プログラマー像...
ソフトウェア開発は 問題解決 中心の知的作業 AIによるコーディングは スピード重視 だが、 本質的な課題 が残る テックリードのジレンマと AIエージェント管理 の類似性 ベストプラクティス の重要...
Bolt はリアルタイムアプリケーション向けの 軽量・高速・型安全 な埋め込み言語 最小限の依存関係 と 小規模な実装 でビルドサイズへの影響が少ない 高速なコンパイル と 豊富な型システム による安...