『初等相対性理論 新装版』（高橋 康） 製品詳細 講談社BOOK倶楽部
世界的物理学者、高橋康教授の知的遺産が待望の復刊！ 高校レベルの三角法と微分積分だけから始まる名講義。泰斗が語る老練でエキサイティングな講義は、読者を相対性理論の本質的な理解へ導いてくれる。 【目次】 第0章 わたしと相対論 第I章 Newton力学と空間時間図形 §1.Newton力学と惰性系 §2.空間時間による考え方 §3.空間時間図形とGalilei変換 §4.注意と蛇足 §5.波の画 第II章 波動方程式と4次元回転 §1.波動方程式 §2.波動方程式とGalilei変換 §3.波動方程式と4次元回転 §4.まとめ 第III章 Einsteinの惰性系 §1.はじめに §2.Einsteinの相対性理論 §3.惰性系とLorentz変換 §4.Einsteinの空間時間概念 §5.空間時間図形・I（Minkowski測度） §6.空間時間図形・II（Euclid測度） §7.注意
InferでLinuxカーネルのメモリ関連エラーを検出してみる - VA Linux エンジニアブログ
1. 静的コード解析 2. Infer 3. 調査環境 4. Inferのビルド 5. Inferで解析できるようにLinuxカーネルソースコードに少し修正を加える 6. LinuxカーネルソースコードをInferで検証 7. 解析結果に対する精査の一例 7.1. 真のバグの例 7.2. フォールスポジティブの例 7.3. 真のバグか判断に困るものの例 8. 結論とこれから 執筆者 : 岡部 究 1. 静的コード解析 普段の開発で品質向上させるためにどのような手法を採用されているでしょうか。おそらくユニットテストや結合テストを代表するテストを使っているのではないでしょうか。 このテスト手法は現実的ですがざっと挙げるだけでも以下の課題があります: 入力と出力をテストケースと呼ばれる例として与えるので全ての場合を網羅することは不可能 テストの網羅率を上げるにはユニットテストのような小さい単位で
C++23: The Next C++ Standard – MC++ BLOG
C++23 will be the next C++ standard after C++20. This new standard significantly improves C++ but is less game-changing than C++98, C++11, or C++20. C++23 is more in the tradition of C++17. To understand this next step in the evolution of C++, let me put the C++ standards into the historical context. The C++ Standards C++ is more than 40 years old. What happened in the last years? Here is a simpli
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
