特殊相対性理論以前の電磁気学において、J.J.トムソンやワルター・カウフマンによって電子の質量の速さ依存性が指摘されていた。それを説明する理論としてマックス・アブラハムは、電子の慣性質量の起源を全て電磁場に求めるという電磁質量概念 (Electromagnetic mass) を提唱したが、電子以外の物質の構成要素に対して一般化することができなかった。一方、特殊相対性理論はその物質の質量の速さ依存性についての一般的な説明と慣性質量とエネルギーに関する普遍的な関係を与える。
光速で移動する有限のエネルギーを持った粒子を考える。この時、mγc² の γ が無限大に発散してしまうので、m = 0 でなければならない。この逆も成立するため、質量を持たずに有限のエネルギーを持つ物質は常に光速で走り続けねばならず、また光速で移動するエネルギーを持つ物質はすべて質量が0であることが分かる。
ニュートン力学では、3次元空間のガリレイ変換に対して不変になるように理論が構築されている。それに対し特殊相対性理論では、4次元時空間のローレンツ変換に対して不変になるように理論を構築する必要があるので、ニュートン力学の概念をそのまま用いることばかりできない。本節では、ニュートン力学の諸概念を「4次元化」し、それがローレンツ変換(と平行移動)に対して不変になることを示すことで特殊相対性理論における力学を構築する。以下、記法を簡単にするため、と書くことにする。
変分法を用いる事で、以下の事実を示せるミンコフスキー空間上の2つの世界点 x→, y→ を結ぶ世界線（で光速度未満のもの）のうち、最も固有時間が長くなるのは、x→ と y→ を直線的に結ぶ世界線であるx→ から y→ へと直線的に動く観測者は慣性系にいることになるので、これは慣性運動している場合が最も固有時間が長くなる事を意味する。固有時間が世界線の「長さ」であった事に着目すると、上述した事実は、ユークリッド空間上の二点を結ぶ最短線が直線であることに対応している事がわかる。なお、ユークリッド空間では「最短」であったはずの直線がミンコフスキー空間上では「最大」に変わっているのは、ミンコフスキーノルムの2乗 ct² − x² − y² − z² の空間部分がユークリッドノルムの2乗 x² + y² + z² とは符号が反対である事に起因する。
固有時間について述べる前に、まず慣性系から見た時間についての公式を与える。x→ を世界点とし、(e→₀, e→₁, e→₂, e→₃) を原点における慣性座標系とする。このとき、以下が成立する。慣性座標系 (e→₀, e→₁, e→₂, e→₃) における x→ の起こる時刻は η(x→, e→₀)である。ただしここでいう「時間の長さ」は c 秒を1単位として数えた時間である。秒を単位とした時間の長さの場合は右辺を c で割る必要がある。実際、(e→₀, e→₁, e→₂, e→₃) における成分表示を (ct,x,y,z) とすると、x→ の起こる時刻は x→ を時間軸方向へ射影したものに一致するが、x→ を時間軸方向へ射影した値は η(x→,e→₀) である。
本節では光速を超えずに移動する観測者 A の感じる時間の長さ（観測者の固有時間）s が、A の世界線の（ミンコフスキー計量で図った）「長さ」に一致することを示す。
特殊相対性理論（とくしゅそうたいせいりろん、独: Spezielle Relativitätstheorie、英: Special relativity）とは、慣性運動する観測者が電磁気学的現象および力学的現象をどのように観測するかを記述する、物理学上の理論である。アルベルト・アインシュタインが1905年に発表した論文に端を発する。特殊相対論と呼ばれる事もある。最も端的に述べると、重力のない状態での慣性系を取り扱った理論である。
以下はVisual Basic for Applicationsでオリジンを指定する例である。Option ExplicitOption Base 1    ' 1オリジンに指定Sub Foo()    Dim bar(2) As Integer    bar(0) = 1   ' 1オリジンの場合のみランタイムエラーが発生するEnd Sub
プログラミング言語やそのライブラリ・API類では、両方が散在する。特に言語によって配列の先頭が0なのか1なのかはよく議論になる。配列では、C言語などは0オリジン・FORTRANは1オリジンである。BASICのように複数回の標準化で標準が変わったという言語もある（特に2回目の標準ではデフォルトの1オリジンから0オリジンに変更できるようにした。そのためVisual Basicなど現代的なBASICは両対応である）。また日付を扱うライブラリを例にすると、月日を直感的な1オリジンで扱うか、算術的に便利な0オリジンに変換するか、どちらにも得失があり混在していることもあるので注意を要する。
労働環境の劣悪さ揶揄する言葉として、従来のブルーカラーの労働環境を表す「きつい、汚い、危険」の3Kになぞらえ、新3Kあるいはニュー3Kというものがある。2007年には、NTTデータの代表取締役である浜口友一が決算発表でこの言葉を例えに挙げて業界を憂えたと報道された。新3Kの中身は諸説あるが2007年に開かれた情報処理推進機構によるITフォーラムでは、学生がIT業界に対して持つイメージとして「きつい、帰れない、給料が安い、休暇取れない、結婚できない、子供作れない」などの他に、職業として多くのネガティブイメージの存在が明らかにされた。一方、情報処理推進機構理事として2000年代に日本のIT国家戦略の支援に携わってきた藤原武平太は、企業新卒採用の課題を複数回答でまとめた表（第一位は、46.5%、業界の仕事のイメージが良くない）を踏まえて、「3K、5K、7K、10Kなど私自身は根拠がないと思っていることが、面白おかしく伝わっている。（中略）私は由々しき事態と思っている」と述べている。