hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
Android (オペレーティングシステム) 特徴
画面上部にはステータスバーが配置されている。ステータスバーは、通知やシステムの状態情報を表示するためのシステムUIである。ステータスバーには通信状態やシステムサービス（Google Mobile Serviceなど）の稼働状況、バッテリー残量、時刻などが表示される。ステータスバーを下方にスワイプすることでクイック設定パネルが表示され、頻繁に使われる機能や各種システム設定（例えばWi-Fi/Bluetooth/機内モード/画面自動回転のON/OFFボタンなど）に素早くアクセスすることができる。クイック設定パネルの下部には通知ドロワーが表示され、通知の詳細を確認したり、各通知からのアプリ操作につなげたりすることができる。通知はステータスバーにもアイコンとして表示され、例えば新着のメールやSMSを受信したりデバイスを接続したりしたときに、ユーザーに作業を中断させることなく知らせることができる。
Android (オペレーティングシステム) 特徴
画面下部には「戻る」ボタン／「ホーム」ボタン／「マルチタスク」（アプリケーションリスト）ボタンによる各操作を実行できるナビゲーションバーが、Android 3.x、および4.0以降から配置されている。これ以前のバージョンでは、ハードウェアキー（物理ボタン）方式が主流であった。Android 9 Pieでは「ホーム」ボタンと「マルチタスク」ボタンが削除され、スワイプジェスチャーに置き換えられた。ただし、端末メーカーによっては従来のナビゲーションバーを採用しているものや、設定によって従来のナビゲーションバーを利用できるようになるものもある。Android 10では「戻る」ボタンも削除された。
Androidには文字入力のためのIMEを搭載しており、テキストボックスや検索ボックスなどの入力エリアをタップするなどしてフォーカスを当てると画面上に仮想キーボードが表示される。この仮想キーボードを、タップやスワイプ操作することによって文字を入力できるようになっている。IMEはサービスアプリケーションとして動作し、エンドユーザーが自由にサードパーティー製のIMEをインストールすることも可能になっている。IMEとハードウェアが対応していれば、BluetoothやUSB接続の外付けキーボードを接続して入力することができる。また発声によって文字入力を行う音声入力システムも備える。Googleあるいはサードパーティー製の手書き入力アプリを利用して、指やスタイラスペンなどで書いた文字を認識させることもできる。
なお2018年現在、Android OSには標準で日本語入力用のIMEが搭載されていない。そのため、日本語入力を行うには、Google 日本語入力やATOKなどのサードパーティー製IMEをインストールする必要がある。日本国内で販売されている端末は、最初から日本語入力できるようにiWnn、POBox Touch、S-Shoin、ATOK、FSKARENなどが、メーカーによって搭載されている。一部のAndroidデバイスでは、Google純正の新たなIMEであるGboardが最初から搭載されており、また2017年11月にはGboardが日本語に対応し、追加の言語およびキーボードレイアウトをダウンロードするだけで日本語入力ができるようになった。
Googleの認可を受けた端末には、アプリケーションマーケットとしてGoogle Play（旧：Androidマーケット）がインストールされている。多くの端末では、このGoogle Playからアプリコンテンツをダウンロードして使えるようになっている。2019年9月時点のGoogle Play内では、280万本を超えるアプリケーションが提供されている。
GoogleはGoogle Playを経由しないアプリ配布も認めており、APKファイルから直接インストールできるようになっており、それらのアプリは野良アプリと呼ばれる。ただし一見普通のアプリに見える悪質なアプリ（マルウェア）も存在するため、公式マーケット以外からのダウンロードには細心の注意が必要である。
Androidで表示されるホーム画面を表示させるアプリケーションのことはホームアプリと呼ばれる。たくさんのアプリが公開されており、ユーザーは好きなものを選ぶことができる。別名、ランチャー（Launcher）とも呼ばれる。
Android (オペレーティングシステム) 構成
Androidは、カーネルからミドルウェア、ユーザーインターフェース、ウェブブラウザ、電話帳などの標準的なアプリケーション・ソフトウェア群までを1つのパッケージにして提供されている。
AndroidのカーネルにはLinuxが使われているが、その他の部分にはさまざまな技術が採用されている。たとえば、標準Cライブラリ（libc）にはGoogleがAndroid向けに開発したBionicが使われており、これはGNU C Library（glibc）とは異なり、メモリや処理能力が限られたデバイス向けに設計されている。BionicはFreeBSD、NetBSD、OpenBSDのコードと新たに書かれたコードを組み合わせて作られており、BSDライセンスのもとで提供されている。
Android (オペレーティングシステム) 構成
カーネルとライブラリ、ランタイムはほとんどがC言語またはC++で記述されているが、2021年から新規コードのデフォルト言語をRustにしており、2022年12月現在では新規コードのRustの占める割合が21%に達している。アプリケーションとアプリケーション・フレームワークは、Google独自に構築した仮想マシンであるDalvik仮想マシンまたはAndroid Runtime（ART）上の「Java Platform, Standard Edition（Java SE）のサブセット+Android拡張」環境で記述する。プリインストールされたアプリ、エンドユーザーが後からインストールするアプリを問わず、共通の仮想マシンおよびフレームワークを使用する。
Googleが公式サポートしているCPUはARM（ARMv5以降）、MIPS、x86である。ARM以外の環境はAndroid 2.3から対応した。端末シェアの多くはARMv7とARMv8が占めているが、日本においては2014年3月に大手家電量販店のビックカメラが自社ブランド製品としてIntel Atom搭載のタブレットを発売するなど、x86による製品もあった。
Android (オペレーティングシステム) 構成
ChromeOSにはAndroidアプリケーションの実行環境としてAndroid Runtime for Chrome（ARC）が搭載されており、x86ベースやARMベースのCPUを搭載するChromebook端末上でAndroidアプリケーションを動作させることもできる。
Microsoft Windows 11では、専用のAndroidサブシステム（Windows Subsystem for Android：WSA）をインストールすることで、x86ベースやARMベースのCPUを搭載するWindows PC上にて、Amazon Appstore経由で入手したAndroidアプリケーションを動作させることもできる（2025年3月5日にサポート終了に伴い非推奨になっている）。
Androidアプリケーションのパッケージ（APK）には、各種プロセッサのアーキテクチャ固有命令を含むネイティブライブラリを複数含めることができる。エミュレーションにより、x64プロセッサ上でARM32/ARM64ネイティブライブラリのみを含むAndroidアプリケーションを動作させることもできるが、オーバーヘッドを伴う。
AndroidのカーネルではLinuxカーネルに独自パッチを当てたAndroid共通カーネル（ACK）が使われている。
Android (オペレーティングシステム) 構成
ACK 5.4より前は各プロセッサーベンダー毎にACKを派生したベンダーカーネルがあり、製品メーカーは製品毎にベンダーカーネル派生のプロダクトカーネルを用意していたが、ACK 5.4以降は外部モジュールを読み込むためのカーネルモジュールインターフェース（KMI）を提供する汎用カーネルイメージ（GKI）となり、各プロセッサーベンダーはベンダーモジュールを提供する形となった。
ハードウェア寄りでは開発組織 Linaroがベンダー固有コードの本家Linuxカーネルへの還元（アップストリーミング）を続けている。
またAndroid共通カーネルも少しずつ本家Linuxカーネルへの還元が進んでおり、本家Linuxで受け入れられなかった独自機能もだんだん標準機能やユーザー空間への置き換えが進んでいる。
Android (オペレーティングシステム) 構成
Android 4.4以前のバージョンで動作するアプリケーションは、基本的にはDalvik仮想マシン（VM）上で動作する。DalvikはJavaのオープン実装であるApache Harmonyをベースとしているが、Java APIセットからはSwingやAWTなどが除去され、Android専用のUIフレームワークや独自ライブラリなどが追加されている。Java CDCのAPIは、全てではないが、概ね含まれている。なお、オラクル（旧：Sun）Javaの互換性テストを通過していないため、正式なJavaではない。APIセットはJava Platform, Micro Edition（Java ME）とも異なる。Android 7.0 Nougat以降はJava APIライブラリの実装がOpenJDKベースになった。
Android (オペレーティングシステム) 構成
Googleから提供されているソフトウェア開発キットでは、Javaプラットフォームによるプログラミング環境と、C/C++による開発がサポートされている。Java以外にも、Javaプラットフォーム向けの複数の言語（Scala、Kotlin）で書かれたプログラムがDalvik/ART上で動作する。Java Native Interface（JNI）を利用して、JavaとC/C++間で相互運用することも可能である。Android 2.3以降ではNative Activityのサポートにより、使用可能なAPIの制約はあるもののC/C++のみでアプリケーションを開発することも可能になっている。また、.NET Framework互換環境の1つであるMonoもAndroidに対応しており、XamarinとMicrosoft Visual Studioを利用することで、.NET言語（C#/F#）を使用してAndroidアプリケーションを開発することができる。
Android (オペレーティングシステム) 構成
Android 4.4（KitKat）からは、デベロッパー向けに新たな仮想マシンAndroid Runtime（ART）が実装された。ARTは、Dalvikよりもアプリケーションの動作効率などを向上させることを目的に開発された。Dalvikの場合、多様なハードウェアに対応できるよう、アプリを中間コードの状態で保管しておき、実行直前にネイティブコードに変換して動作させるJITコンパイル方式が採用されている。一方でART仮想マシンは、予め最初からネイティブコードに変換しておくため（ahead-of-time：AOT）、実行速度や動作速度が向上する。Android 7.0以降のARTではAOTとインタープリタとJITをミックスしたハイブリッド手法が採用された。
なお、Android 4.4では依然としてDalvikが標準となっており、ARTを用いるためには開発者向けオプションで設定が必要である。ただし、アプリケーションによってはART上では正常動作しないものもあり、Dalvikとの完全互換は保証されていない。
Android 5.0からは、ART仮想マシンが標準となった。5.0に搭載されたバッテリー改善システムと、ARTの効率性の良さという組み合わせによって、バッテリー持続時間がAndroid 4.4と比較して1.37倍と大幅に伸びた。
Android (オペレーティングシステム) 構成
ブートローダー（bootloader）とは、デバイスの電源を入れた際にフラッシュメモリ上にインストールされたLinuxカーネルを読み込み、そこからAndroidを起動させるシステムである。パソコンで例えると、BIOSという部分に相当する。ブートローダーのインターフェースは、一部の端末でアクセス可能である。多くの場合は、電源ボタンと音量ダウンボタンを同時押ししながら電源を入れて起動させる事ができる。起動後に表示されるインターフェースは、fastbootモードとも呼ばれる。ほとんどの携帯端末ではブートローダーにUbootが使用される。
Android (オペレーティングシステム) 構成
アプリケーション開発用にはAndroid SDK（Software Development Kit）が、ランタイムとライブラリの開発用にはAndroid NDK（Native Development Kit）が無償提供されている。SDKとツール類は後述のAndroid Studioに含まれているほか、単独のコマンドラインツールも利用可能である。Android SDKに含まれる通信ツール「Android Debug Bridge」（adb）によって、Androidデバイス（携帯電話機/タブレットなど）とホストPCとをUSBで接続して、アプリケーションプログラムをデバイス上で実行しながらPC上でデバッグすることができる。Googleが有償で提供するSIMロックフリーの開発専用携帯電話機や他社の専用の携帯電話機エミュレータでないと、低レベルのランタイムとライブラリを書き換えることはできない。統合開発環境は、Android Studioが推奨されている。Android Studioの実行環境つまりホストとして対応しているOSは、Microsoft Windows、macOS、Linux（Ubuntuなど）、ChromeOSである。Visual Studio、IntelliJ IDEA、RAD Studioなど他の統合開発環境もAndroid開発に対応しているものがある。
当初はアプリケーション開発にEclipseと専用プラグイン（Android Development Tools：ADT）が利用されていた。Googleは、2013年5月15日に開催されたGoogle I/OでAndroid Studioと称する新たな統合開発環境を開発中であることを表明した。これはIntelliJ IDEAをベースにしたオープンソースによるAndroid専用の開発環境であり、ビルドツールとして従来のApache AntではなくGradleを採用している。また、レイアウトのデザインもよりグラフィカルで端末実機のイメージに近くなるとされる。2014年12月8日に正式版1.0がリリースされた。これに伴い、Eclipse用プラグインのサポートは2015年に終了した。
Android SDKでは、Android Virtual Device（AVD）と呼ばれるPC上で動作する仮想デバイスを用いることができる。対応CPUと同様にARM、MIPS、x86の3種類のアーキテクチャをエミュレーションするソフトウェアがSDKに同梱されており、これにロードされるシステムイメージもAndroidバージョンごとにそれぞれ提供されている。ユーザーがこれらを選択して、任意のAndroidバージョンとCPUエミュレータの組み合わせによるAVDを作成する。ただし、一般的なエミュレータと同様、他のコンピュータシステムをエミュレーションするために動作が非常に重く、快適なデバッグを行うことは難しい。これをカバーするため、仮想化支援機能をサポートしているx86アーキテクチャのCPUが搭載されたホストマシン上では、x86システムイメージによるAVDを高速化することができる。WindowsおよびmacOSにおいては、インテルが提供するIntel Hardware Accelerated Execution Manager（HAXM）によってIntel VTによるサポートを有効にすることができる。また、Linux版のSDKにおいては、x86エミュレータ自体がKVM上で動作させることが可能となっており、Intel VTまたはAMD-Vによるサポートによって高速化することができる。
ほとんどのAndroid端末には、プロプライエタリソフトウェアのGoogle Mobile Service（GMS）アプリがプリインストールされている。Google Play、マップ、ギャラリー、カレンダー、Gmail、トークなどが含まれる。GMSアプリの搭載は互換性テストのCompatibility Test Suite（CTS）を通過し、Googleにライセンスを与えられた端末のみ認められている。オープンソースのAndroidから派生して、これらのアプリが入っていない場合は、CyanogenMod Gappsなどからroot権限で /system フォルダにコピーしてインストール可能。
基本ハードウェアを「goldfish」と定義しており、SDKのQEMUエミュレータはそれを踏襲している。サポートしているスペックは下記の通り。ただし、2007年10月当時のスペックである。
Android (オペレーティングシステム) バージョン
歴代のコードネームのうち、バージョン1.5から9までは頭文字がバージョンの発表順にCからPまでのアルファベット順で始まる菓子の名前が付けられており、Androidロボットが各コードネームの菓子に扮していた。また、コードネームがエンドユーザー向けの製品別名として使われることもあった。バージョン10からはそのようなコードネームは付けられなくなり、コードネームはアルファベット1文字だけになった。また、バージョン10以降では、コードネームはエンドユーザー向けの製品別名としては使われなくなっている。
Android (オペレーティングシステム) シェア
世界でのスマートフォンの販売台数のシェアの推移は以下の通り。
日本国内でのスマートフォンの利用者数（契約者数）の推移は以下の通り。
世界のタブレット出荷台数（電子書籍端末を除く）
日本国内のタブレット出荷台数（電子書籍端末を除く）
Android Studioでプロジェクトを新規作成するときに確認可能な、バージョンごとの世界シェア（2025年4月1日時点でのデータ）。
Android (オペレーティングシステム) ライセンス
Androidのソースコードは、アプリケーション・フレームワークから標準ライブラリ、ランタイム、カーネルまでのすべてが公開され、改変も自由である。基本的にAndroidのソースコードのライセンスは、Apache License 2.0に準じるため、Androidを採用した企業・個人が改変部や付加部分をGPLのように公開する必要はない。ただし、WebKitのライセンスはLGPLであり、カーネルとそのライブラリなどのLinuxに基づく部分のライセンスはGPLであるため、公開が求められる。
Android (オペレーティングシステム) ライセンス
Gmail、Googleマップ、Google検索、Google Playなどの一部のGoogle製アプリケーションは、Androidと密に連携しているがプロプライエタリなライセンスで提供されている。これらのGoogle製アプリケーションはGoogle Mobile Service認証をGoogleから受けた端末に対してのみ供給され、それらの端末でのみ動作が認められる。したがってカスタマイズしたAndroidに、これらのアプリケーションを載せるためには、カスタマイズを施したプロジェクトが個別にGoogleの許諾を得る必要がある。なお、アプリケーションをGoogle提供のファームウェアからバックアップし、権利を侵害していないカスタム版に再インストールする（カスタム版にはアプリケーションをバンドルしない）手法が説明される場合もあるが、Google Mobile Service認証を経ておらず、ライセンス違反の行為となる。
タブレット向けのバージョンであるAndroid 3.xはスマートフォンへの対応が不完全であるということを理由としてソースコードの公開が見送られていたが、4.0.1から再度公開に戻った。ただし、3.xのソースコードはGitの履歴の中に存在するだけで、Gitのタグとしては割り振られていない。
Android (オペレーティングシステム) 歴史
アンディ・ルービンが設立したプラットフォームベンダーであるアメリカのAndroid社を、2005年にGoogleが買収したことから一時はGoogleが「gPhone」と呼ばれる独自の携帯電話端末の開発を進めているという憶測が流れた。2007年11月に「Open Handset Alliance」（オープン・ハンドセット・アライアンス、以下OHAと表記）を通じて新規プラットフォームの概要のみが発表される結果となった。
Android (オペレーティングシステム) 歴史
2008年
9月23日 - アメリカのT-Mobile USA社は世界初の商用Android搭載端末としてT-Mobile G1を発表した。OHAはソフトウェア開発キット（SDK）の正式版「Android 1.0 SDK, Release 1」を発表した。OHAはAndroidの全ての動作環境を、2008年中にオープンソースライセンスの1つであるApacheライセンス Ver.2.0の下で公開する方針だとしている。OHAには上記の企業以外にも、日本のNTTドコモ、KDDI、テレフォニカなどの電気通信事業者や、アメリカのモトローラ、韓国のサムスン電子、LGエレクトロニクスなどの携帯端末メーカー、アメリカのインテル、ブロードコム、NVIDIA、テキサス・インスツルメンツ、マーベルなどの半導体メーカーなど、大手企業が合わせて34社も参加している。
10月22日 - 世界初のAndroid搭載スマートフォン、「T-Mobile G1」がT-Mobile USAから全米向けに発売された。同時に、Googleはアプリケーションを販売するためのマーケット「Android Market」を開設した。
Android (オペレーティングシステム) 歴史
12月9日 - 新たにソフトバンクモバイル、ボーダフォン、東芝、ソニー・エリクソン・モバイルコミュニケーションズ、華為技術、エリクソン、オムロン、ASUS、ガーミン、ARMなどの14社がOHAに加わった事が発表された。
2009年
6月24日 - ソフトフロント、Android上で双方向VoIP通話に成功を発表。
9月 「Android 1.6 SDK」の提供を開始。
10月23日 - HT-03AでAndroid 1.6が提供開始。
11月8日 - アメリカのベライゾン・ワイヤレスよりモトローラ製Android 2.0搭載のスマートフォン、「Motorola Droid」がアメリカで販売される。
2014年
3月18日 - スマートウォッチ向けにカスタマイズされたAndroid Wearをリリース。
6月25日 - カーナビゲーションシステムのAndroid Autoを発表。
6月26日 - Android Lのデベロッパープレビュー版を、Nexus 5とNexus 7向けに提供開始。
9月15日 - Googleより、新興国市場向け低価格帯スマートフォンのAndroid Oneが発表された。
10月15日 - Android Lの正式版となるAndroid 5.0が発表された。
11月3日 - Android 5.0の正式版を公開。
Android (オペレーティングシステム) セキュリティ
Androidのアプリケーションは、スーパーユーザー権限（root）を要求する一部のアプリを除き、システムの重要領域やユーザー情報にアクセスできないようサンドボックスで動作する。
権限に関してはユーザーに視覚的にわかるように、アプリをインストールする際、必要な権限のリストを表示する機能がある。例えば「Google マップ」の場合は、位置情報の読み取り（GPSへのアクセス）があり、「カメラ」だと撮影、マイクによる録音などの権限がリストに表示される。この機能によって、アプリケーションに無関係な権限を要求された際には、ユーザーが確認できる。
Android 4.3ではアプリ毎に権限を設定できる機能が実験的に追加されたが、アプリケーションの互換性を損なう恐れがあるという理由で4.4では無効になった。
端末をスリープ解除する際には、ロック画面にPINコードやパターンロックを割り当てる事もできる。これに加えてAndroid 5.0以降では、自宅にいる時、スマートウォッチが接続されている時などの条件に応じて自動でロック解除できるスマートロック機能もある。
Android (オペレーティングシステム) セキュリティ
盗難などで不正にファクトリーリセットされた端末は、Android Device Protection（アンドロイド デバイスプロテクション）という保護機能が働く。デバイスプロテクションが作動すると、直前オーナーのGoogleアカウントにログインしなければ全ての機能が使えないようロックされる。
その他に、端末の位置を逆探知したりリモートロックできるAndroid デバイス マネージャー（ADM、スマートフォンを探す）も提供されており、盗難や置き忘れの対応策のひとつとされている。
トレンドマイクロ社によると、2012年1月から3月の間に、Androidの不正アプリが約5,000種発見されたとしている。また、同社では、2012年4月に人気アプリである写真共有サービス「Instagram」や、アクションパズルゲーム「Angry Birds Space」などの偽アプリ配布サイトが存在し、特定のWebサイトにアクセスし、モバイル端末に他のファイルをダウンロードするなど、不正な動作を行う偽アプリがダウンロード出来るようになっていたことを確認している。「Google Play（旧Android Market）」などの公式サイトにおいて偽アプリが確認されるケースもある。
Android (オペレーティングシステム) セキュリティ
このような課題に早急に対応していくために、日本は、2011年10月に「スマートフォン・クラウドセキュリティ研究会」を設置し、スマートフォンを狙うマルウェア等に対する事業者等における対策の在り方や、利用者への情報セキュリティ対策の啓発の必要性について検討を進めてきた。同研究会では、同年12月の中間報告で、スマートフォン利用者が最低限取るべき情報セキュリティ対策として、「スマートフォン情報セキュリティ3か条」33を提唱し、2012年6月に最終報告を取りまとめた。また、2011年12月に「利用者視点を踏まえたICTサービスに係る諸問題に関する研究会」において「スマートフォンを経由した利用者情報の取扱いに関するWG」が開催され、スマートフォンにおける利用者情報が安心・安全な形で活用され、利便性の高いサービス提供につながるよう、諸外国の動向を含む現状と課題を把握し、利用者情報の取扱いに関して必要な対応等の検討が進められている。2012年4月には、スマートフォンを巡るサービス構造、利用者情報の取扱いに関する現状、利用者情報の管理等の在り方及び利用者に対する周知の在り方等の今後の論点を取りまとめた中間取りまとめ及び利用者自身が注意すべき事項を整理した「スマートフォンプライバシーガイド」34が公表された。
Android (オペレーティングシステム) 組み込み用Android
"Open Embedded Software Foundation"（OESF）がAndroidを基に、機能を追加した組み込み用プラットフォームを開発中である。OESFのWebには2005年からのタイムスタンプがある。日本のOESFはWebによると2009年2月12日に設立された。2011年3月現在のバージョンは、Android 2.2を基にしEM3（OESF Embedded Master 3）と呼ばれる。2011年3月にオープンソースとして一般向けに公開された。
IP電話、デジタルテレビ、マルチメディア、DLNA、Bluetooth、リモートコントロール、ポインティング・デバイス、ネットワーク管理、ユーザーインターフェース、SDKなどの機能拡張を行ってアプリケーション・フレームワークより上位のAPIから使用する。EM1の機能拡張は全てではないと推測されるが、Linuxカーネル部分と同じ深さでハードウェア上に直接載る低レベルで実装される。EM2は、Android 2.0を元に開発され、2010年10月に公開された。Androidそのものが軽量化を意図して設計されているが、OESF版ではさらに基本コンポーネントだけに絞り、必要な機能を選んで追加できる。
Android (オペレーティングシステム) Android Go Edition
Android Go editionは、Googleが開発者カンファレンス「Google I/O 2017」において「Android Go」プロジェクトとして発表された。メモリーやストレージが少ないローエンド端末でもAndroidが効率的に動作するように設計されており、Android 8.1 Oreoで動作するメモリー1GB以下のデバイス向けに最適化されている。
Android (オペレーティングシステム) マスコット
Androidのロゴには緑色のロボットのマスコットキャラクターが使われており、正式名称は「Android ロボット」（Android robot）だが、日本では「ドロイド君」の愛称で呼ばれている。海外ではBugdroidという愛称が使われることもある。
Androidロボットのアートワークはクリエイティブ・コモンズ・ライセンスに基づいて配布されているが、商標権はGoogleが保有する。
Android (オペレーティングシステム) イースターエッグ
Android 2.3 Gingerbread以降からは、ジョークの画像やアニメーションを表示する機能が隠されている。いわゆるイースターエッグと呼ばれるものである。この機能にアクセスするには、端末の設定情報から端末情報を開き、一覧にあるAndroidのバージョンを3回連続でタップすると表示される。なおAndroidのバージョンによって、表示される内容が異なる。
5.x（ロリポップ） - ペロペロキャンディが表示され、キャンディの部分をタップすると色が変化する。そこから何回かタップして更にロングタップすると、Flappy Birdに似たゲームで遊べる。JRummy Appsによって難易度調整機能が付いた『Lollipop Land』のゲームアプリが公開されている。
L（デベロッパービルド） - Android Lの開発者プレビュー版は、ランダムな色と大きさをした四角形が表示され、下部にビルド番号が表示される。ロングタップすると、4.4と同じくタイル型のインターフェースが表示される。
Android (オペレーティングシステム) システム領域のカスタマイズ
Androidでも、セキュリティ等の理由からユーザーやアプリケーションがある階層以上にしかアクセスできないように制限がなされている。その制限を解除し最低階層にアクセスできるようにすることを、root化（rooting）、root権を取るという。これにより、より高度な動作をするソフトウェアが実行可能になるが、ほとんどの場合販売元との規約に反するため、サポートを受けられないなどのデメリットが生じる。iOSでのjailbreakに近い。
ただ、AndroidセキュリティチームのNick Kralevichによれば、Googleはroot化を認めている。root化はユーザーの権利の一つであり、一方でユーザーの責任でそれに伴う不利益を受けることは仕方ないという見解を示している。またroot化によってアプリケーションや各種コンテンツの開発者、キャリア会社の権利は侵害されないとしている。
Androidのアップデートは、このブートローダーを経由してアップデートされるが、大半の端末ではブートローダーがロックされている。ブートローダーがロックされていると、メーカーの電子署名が入ったアップデートしか受け付けないようになっている。これに対して、ユーザーが自由にカスタムROMをインストール出来るように、一部の端末ではブートローダーをアンロックする方法がGoogleによって公開されている。
Android (オペレーティングシステム) システム領域のカスタマイズ
これらは改造行為となり保証外になるのが通常だが、中にはこの行為前提で初めからブートローダーがアンロックされた状態で出荷される端末もある。
fastbootモード（ファーストブートモード）とは、PC側のコマンド操作によってシステム領域の書き換えやパーティション操作を行うための機能である。fastbootのコマンド機能は前述に加え、ブート、リブート、アプリのアンインストール、ファイルの転送、システムのバックアップ、ブートローダのアンロックなど様々なコマンドに対応する。
Android (オペレーティングシステム) 問題点
2019年の1年間で、2019年に報告されたOS別の脆弱性の数で最も多い、414件の脆弱性が発見された。
2019年11月、一部のAndroidに個人情報の流出につながる脆弱性が新たに146件見つかった。
2011年4月、ウォール・ストリート・ジャーナル（Web版）が、Androidは個人情報（Android利用者の氏名や場所、付近のWi-Fiネットワークの信号強度や位置情報）を取得・蓄積し、Googleに送信していると報じた。セキュリティ専門家が台湾HTC製のAndroidスマートフォンを調べた際に、これらの情報を少なくとも1時間に数回、Googleに送信していたことが確認されたという。
この報道に対し、GoogleはAndroid搭載端末から位置情報を収集していることは認めたが、すべてあらかじめユーザーの同意を得た上で行っており、また収集したデータは匿名化された形でGoogleのサーバーに送られていることから、プライバシー上問題はないと主張している。
Android (オペレーティングシステム) 問題点
2011年5月、韓国の警察は、Android利用者の位置情報を無断収集した疑いで、アメリカのGoogle韓国法人のGoogle Koreaを家宅捜索し、位置情報の収集に関するデータを押収した。警察関係者は「携帯電話向け広告を扱うGoogle子会社のアドモブが、利用者の同意なくスマートフォン向けアプリケーションを通じて個人の位置情報を収集した疑いがある。押収物を分析し、個人情報の収集量や収集方法を把握する」と話している。
2019年12月、Google Play Storeで配布されている、3000個以上のアプリで既知の脆弱性が修正されてないことをトレンドマイクロが発見した。
2020年1月、Androidの脆弱性を利用した、不正なアプリがGoogle Play Storeに混入していることをトレンドマイクロが発見した。
2020年2月、Google Play Storeで提供されているTOP100のアプリのうち、約半数に脆弱性があることをLINEが発見した。
Android (オペレーティングシステム) 独占禁止法違反
2019年4月18日、独占禁止法に違反しているという欧州委員会（EC）の裁定を受け、ヨーロッパの「Android」ユーザーに対して検索アプリとブラウザーの選択肢を提示するという計画の概要を発表。
またECは3月、Googleに対して14億9000万ユーロ（約1900億円）の制裁金を科している。
リュウガ
リュウガは、原哲夫・武論尊による漫画『北斗の拳』およびそれを原作としたアニメ・派生作品などに登場する架空の人物である。
本稿では彼が使用する拳法・泰山天狼拳（たいざんてんろうけん）についても、併せて解説する。
リュウガ キャラクター概要
ラオウ率いる拳王軍の将軍として、その覇業に貢献した。あまりの速度ゆえ、流血の間もなく傷口に凍気を感じるという、「泰山天狼拳」を駆使する拳士。宿星は、狼の眼のごとく天空で最も強く輝き、すべての神にくみせず天駆ける孤高の星「天狼星」。その真の使命は世が乱れる時、天帝の使者として北斗神拳伝承者の覚醒を促すことにあった。
ユリアの実兄ゆえに南斗の正統血統でもあるが、設定上、南斗聖拳は継承していない。南斗五車星・雲のジュウザは異母兄弟。
『天の覇王』では、軍師のソウガと並ぶラオウの片腕という位置づけとなった。
身長190cm、体重105kg、バスト130cm、ウエスト92cm、ヒップ106cm、首周り46cm。モデルはイギリスのアーティスト、デヴィッド・ボウイ。
リュウガ 劇中での活躍
北斗の拳
ラオウの配下として仕えており、ケンシロウとの相打ちでラオウの消息が一時不明となると、暴徒と化したラオウの部下を平らげ、荒れる領村を掌握し拳王の伝説が汚れぬよう努めた（仕えていた部下達もガロウを始めまともな者が多かった）。時代が分裂した「南斗」ではなく、「北斗」を望んでいると悟るとラオウとケンシロウ、いずれがこの乱世を治めるにふさわしいかをその目で見定めるべく、ケンシロウとの闘いを望み、帰還したラオウにその褒美として認められる。
ケンシロウのすべての力を引き出すため、真の哀しみを負わせ、それを怒りへと変えるよう、あえて「魔狼」となって狂気の殺戮に走り、何ら罪のない村人たちを殺害（テレビアニメ版ではカット）し、病で弱ったトキに拳を打ち込んで殺したと見せかけ、ケンシロウを焚き付ける。ケンシロウとの戦いが始まるが、このとき既にリュウガは陰腹を斬っており、死と引き替えの闘いであった。泰山天狼拳が虚空を殺ぐが、ケンシロウの怒りが爆発し、とどめをさそうとしたその時、トキが現れ、両者の闘いを止める。
リュウガ 劇中での活躍
リュウガは｢魔狼｣の役に幕を降ろし、戦いを通じて時代はラオウよりケンシロウという巨木を望んでいることを確信して、なぜ妹のユリアがケンシロウを選んだのかを知って縡切れ、彼を見送るように息を引き取ったトキと共に天へ還っていった。リュウガもまた、自身の信念と乱世の宿命に殉じた男であり、ケンシロウの心の中に永く生き続けた。ケンシロウはリュウガがユリアの実兄である事実を知ったのは彼の死の直前であった。トキの敵討とはいえユリアの実兄を自らの手で殺めた哀しみをケンシロウは背負うことになる。
真救世主伝説 北斗の拳
新OVA『ユリア伝』では幼少時のユリアと共に、幼少時の姿で登場。新劇場版『ラオウ伝 激闘の章』ではトキとの絡みが割愛され、無想転生のシーンでは登場しなかったものの、劇中終幕近くのケンシロウの強敵（とも）たちのイメージ映像の中にその姿が見られる。また、新劇場版の『ケンシロウ伝』プロローグにおいて、海辺の教会で二人だけの結婚式を挙げたケンシロウとユリアを、リュウケンや強敵（とも）たちの魂魄が祝福の鐘を鳴らす場面がある。その中にジュウザと共にリュウガの姿も映っている。
天の覇王 北斗の拳ラオウ外伝
リュウガ 劇中での活躍
リュウガの宿星「天狼星」は本来、どこにも属さぬ孤高の星だが、自身が極星になって乱世を治める力はなく、乱世の眼となって真に時代が望む覇者を見極める道を選び、天の覇王たる「北斗」のラオウの下に降った。アニメ版『北斗の拳 ラオウ外伝 天の覇王』では臣下の礼をとる前に、ラオウと一戦手合せし、圧倒的な力の前に屈している。もっとも、リュウガは最初からラオウの部下になるつもりであったため、拳に殺気を込めなかった。
拳王軍の将となってからは、敵との戦い方をめぐって軍師のソウガと争い、ソウガの「嵩山旋風脚」をかわしきり、右脚の義足を破壊して勝利し、和解している。「崋山獅子吼拳」のイゴールに完勝後は、敵将の髑髏の杯でラオウ、ソウガらと共に祝杯を挙げる。
リュウガ 劇中での活躍
その後、拳王軍としてサザンクロスに侵攻した際には、異母弟のジュウザよりシンに連れ去られていた二人の妹のユリアの自殺を告げられ、シンと一戦交えようとするも、ケンシロウがサザンクロスに近づいているとの情報があり兵を引いた。「泰山天狼拳」のリュウガと南斗六聖の一人で「南斗孤鷲拳」のシンとの闘いは幻に終わったが、アニメ版では、行軍していた拳王親衛隊長のレイナに、もし戦った場合の勝敗の行方を「自分も無事ではすまないが勝てる」と自信ありげに語っている。しかし、鉄帝ジャダムとの闘いでは鋼鉄化したジャダムの肉体を寸断できず、逆撃にあって不覚を取りかけ、「黒山陰形拳」のガイヤには、その暗殺拳の気配すら察知できず敗北している。
銀の聖者 北斗の拳 トキ外伝
リュウガは天の平定を強く望み、乱世に副う巨木を切望して、「世紀末覇者」ラオウの部下になり忠誠を尽くした。しかし、民衆の側に立って各地の野盗や軍閥と戦うケンシロウの存在に心が動き、ラオウとケンシロウ、いずれの「北斗」が乱世を支える巨木にふさわしいかをその目で見定めたいと思うようになる。そのような中、ラオウの命を受けて奇跡の村を急襲、トキを捕らえるために真剣勝負に出たが、秘孔・新膻中を突かれ動けなくなり敗れている。
本外伝においてリュウガは、妹・ユリアの存命を知っており、トキがカサンドラへ収監されると訪れて、生きる希望をなくしていたトキにケンシロウとユリアの生存を報告し、この地でケンシロウとの再会を待ち、ケンシロウを「救世主」として導くように諭している。ラオウへの背信行為であるが、リュウガは「北斗」を戦場へ誘う「天狼星」の宿命をトキに語った。
リュウガ 泰山天狼拳
リュウガの使用する拳法。その呼称が示すように「天狼星」の宿命を帯し者が継承する拳法であり、ラオウはそれを承知でリュウガを部下とし、拳王軍の重臣に登用した。
その特質は、目撃したケンシロウの言による「その拳はあまりに速く、流血の間もなく、凍気さえ感じさせる」という説明に尽きる。手刀を使う南斗聖拳に似ているように見えるが本質的に異なり、素手で相手の肉体を削り取るのが基本となる。足技はなく、脚力は技を繰り出す時の跳躍に使われる。
奥義、秘伝などは登場しておらず、原作で唯一技名が出た「天狼凍牙拳」がケンシロウに防がれたため、どのような技か不明であったが、アニメ版『天の覇王』に技が描かれており判明している。「泰山天狼拳」の基本となる技で、狼の牙を模した手の突きから、連撃で敵の躰を削り取ったり、一撃で巨漢の獅子王イゴールの首を削り落したりする描写が見られた。いずれにしても、技をくらった敵は凍気を感じて死亡するが、その際に「さぶい」「つべたい」などの断末魔の声を上げている。
リュウガ 泰山天狼拳
『彷徨の雲 -北斗の拳 ジュウザ外伝-』では、「天狼凍雹拳」、「天狼剛氷拳」なる技も披露している。また、ギャグ漫画である『北斗の拳 イチゴ味』では羅将・ハンに対し、南斗五車星・風のヒューイの起こす烈風に身を任せて体当たり攻撃する「烈風泰山天狼拳」も披露している。
作品中には他にも泰山の名を冠した拳法や闘技が登場するのは、北斗七星と並び称される「泰山」の名前を入れて、北斗神拳と対抗させているためである。
アレクサンドル・アルハンゲルスキー
アレクサンドル・アンドレーイェヴィチ・アルハンゲルスキー(1846年10月11日（23日とも） - 1924年11月16日)は、合唱指揮者、正教会の一員であるロシア正教会の聖歌作曲家。ロシア・ソビエト連邦社会主義共和国功労芸術家。
同姓の人物名は、現代日本では通例「アルハンゲリスキー」と転写されその方がより原音に近いとされる事が多いが、正教会の聖歌作曲家たる本項目の人物については日本正教会で行われている表記である「アルハンゲルスキー」が用いられる事が多く、本項の記事名・表記もそれに準拠した。
アレクサンドル・アルハンゲルスキー 略歴
1846年にペンザ、ナロフチャツキーのミハイロヴォ・テジコヴォ村で農村司祭の子として生まれる。1850年代、青年となった彼はナロフチャットの大聖堂で歌った。この大聖堂は、1870年にアルハンゲリスキーと同じくナロフチャツキーに生まれた作家アレクサンドル・クプリーンがここで洗礼を受けたことでも知られる。大聖堂の建物は今でも残り、文化的な遺産の地位を保っている。
付近のクラスノスロボツキー神学校、ペンザ神学校で音楽教育を受けた後、1862年、16歳で聖歌隊の主唱者となる。作曲法と和声法をN.ポトゥレフ(1810 - 1873)に師事。同時期にクリュキー記号（近代以前のロシア聖歌の記譜法）によって記録された古典聖歌の研究に取り組み始めた。
アレクサンドル・アルハンゲルスキー 略歴
彼はペンザで、その後サンクトペテルブルクで摂政を務めた。1872年から、彼はサンクトペテルブルクにある合唱団のメンバーとなった。アレクサンドロフスキー図書館では歌唱を教えた。彼は1880年にサンクトペテルブルクで混声合唱団を指揮し、広範囲のジャンルへの挑戦（ロシア民謡の編曲、古典合唱曲、現代音楽の作曲）と優れた音楽技術を持っていた。教会音楽の実践において、アルハンゲルスキーは、普通は少年で歌うパートをあえて女性に歌わせるという革新をもたらした。ロシアの宗教音楽の分野においてアルハンゲルスキーは社会や音楽界にロシアの歌への関心を呼び起こし、合唱団のために多くの曲を編曲した人物である。
1880年にペテルブルクに来てから、終生彼が指導し続ける事に成る合唱団を組織する。この時、公式な聖歌隊としてはロシア正教会で初めてソプラノとアルトを導入し、混声合唱を採用した（それまでは少年合唱が高音部を歌っていた）。
聖体礼儀や徹夜祷（晩祷）といった正教会の奉神礼音楽に、膨大な作品を遺している。ドミトリー・ボルトニャンスキーの頃から始まった、西欧化された正教会聖歌を奉神礼に適合した伝統のもと復興させようという流れが完全に定着した時代にあった作曲家の1人がアルハンゲルスキーである。同時代に活躍した同様の傾向を持つ作曲家にパーヴェル・チェスノコフが居る。
アレクサンドル・アルハンゲルスキー 略歴
その素朴かつ美しいメロディと和声付けから、ロシア正教会に広く親しまれる聖歌作品が多い。また日本正教会でもアルハンゲルスキーの聖歌がしばしば歌われている。
2つのオリジナルの典礼、徹夜徹夜、そして11のケルビの歌、10の賛美歌「世界の慈悲 Милость мира」、礼拝中に歌われる16曲の賛美歌を含む80程のを書いた。傑出した作品の中で、その高い情熱性が特徴の「Помышляю день страшный」は特筆に値する。
1908年、モスクワで第一回指揮者会議を主宰した。
1921年10月、サンクトペテルブルクで音楽活動50周年を祝い、ロシア・ソビエト連邦社会主義共和国功労芸術家の称号を授与された。
晩年の2年間はプラハに住み、そこで少年合唱団と活動した。
1924年にチェコ・プラハのヴィノフラディにある住居にて永眠。その後、この建物にはチェコ語とロシア語で書かれた記念プレート（大理石）が設けられた。
彼は当初、プラハの聖母被昇天教会のすぐ近くにあるプラハのオルサニー墓地に埋葬されていた。その後、1925年に親戚や友人の要求により、彼の遺骨はレニングラードに移送され、サンクトペテルブルクのアレクサンドル・ネフスキー大修道院内にあるチフヴィン墓地に埋葬された。
アレクサンドル・アルハンゲルスキー 遺産
2002年にアルハンゲリスキーの名前がペンザ音楽学校に付けられたが、新たに芸術大学となった後、ここにはその名前が残されなかった。 2021年、大学は再びアルハンゲリスキー学校の名前となった。
2003年、ペンザのロシア合唱・声楽文化センターの建物にアルハンゲリスキーの記念プレート（製作：アレクサンドル・ハチャトゥリアン）が付けられた。
2019年、ナロフチャットにアレクサンダー・アルハンゲリスキー博物館がオープンした。
Qケルト語
Qケルト語（Qケルトご）とは、インド=ヨーロッパ語における/kw/の音を/q/の音で使っていたケルト語の一派を指し、アイルランド語、ゲール語、マンクス語が含まれる。
これに対して、ウェールズ語、コーンウォール語、ブルトン語などは、/q/の代わりに/p/の音を使っていたため、Pケルト語という。
在籍者
在籍者（ざいせきしゃ）とは、ある一定の集団の中に在籍している者のことである。
奥州会津角定一家
奥州会津角定一家（おうしゅうあいづかくさだいっか）は、福島県福島市に本部を置く博徒系暴力団で、指定暴力団山口組の二次団体。
奥州会津角定一家 来歴
その創立から長らく博徒系の独立組織としてあり続けたものの、住吉一家丸唐会系を経て三代目山口組の傘下へと至り、同団体の一翼として東北地方に地盤を構築。週刊誌などでは、『山口組の奥州鎮台』と称されてもきた。
会津若松を本拠地とする博徒組織として大正年間に創立。1973年（昭和48年）に五代目総長の木村茂夫が三代目山口組の田岡組長から親子盃を受け、これをもって直参組織（二次団体）として山口組に加入した。
奥州会津角定一家 歴代総長
1927年8月5日生。五代目山口組舎弟。
1939年7月11日生。菅谷組内川内組の組員として活動。
1970年、川内組栃木支部の支部長時代に寄居一家との抗争事件（暴力団員による監禁、殺人、死体遺棄事件）で武功を上げる。そののち、三代目山口組の有力直系組織であった佐々木組に移籍。一和会に参画した佐々木組の解散に伴い弘道会へと移籍した。山口組渡辺五代目の舎弟であった木村茂夫が1992年に病死。これに伴い奥州会津角定一家の跡目を継承し、翌1993年に山口組の直参に昇格。2000年代の後半頃に後藤組の処分問題が発生すると、井奥会会長の井奥文夫（神戸）、三代目大門会会長の奈須幸則（熊本）、二代目一心会会長の川﨑昌彦（大阪）、浅川会会長の浅川桂次（大阪）、太田興業組長の太田守正（大阪）、二代目浅川一家総長の浅川睦男（福岡）とともにこれに連座。除籍処分となり、2008年をもって山口組を追われるに至った。
1948年〈昭和23年〉9月3日生（77歳）、本名は李 人言。極東桜井總家連合会系組織を率いていた。芳菱会傘下を経て2009年に弘道会へ移籍。のち奥州会津角定一家の跡目を継承。
2025年4月、六代目山口組若中のままで八代目奥州会津角定一家総裁に就任。
奥州会津角定一家 歴代総長
1968年〈昭和43年〉6月16日生（57歳）。
上野真慶(うえの まさのり)六代目山口組若中、八代目奥州会津角定一家総長。
元々は茨城県にある住吉会系の組員であり、兄貴分の不始末から脱退を余儀なくされ栃木県那須町に居住地を移し、兄貴分と共に小野組傘下の組員となった経歴の人物である。兄貴分は勝手に一家名乗りをし覚せい剤や恐喝、発砲事件を起こし服役、そのまま破門処分を受けている。
元六代目奥州会津角定一家二代目小野組若頭で、組長の小野軍造は身勝手な行動が頻発し破門、二代目小野組の解散後小野組の地盤を引き継ぎ、地元の暴力団反対運動から上野組本部事務所を福島県いわき市から栃木県那須塩原市鍋掛1085-122（旧二代目小野組）に移転せざるを得なくなる、上野はその後順調に職務を務め、七代目奥州会津角定一家では若頭を務めた。
2025年4月8日、七代目・波入信一は六代目山口組若中のまま総裁に就任、上野真慶の奥州会津角定一家の八代目継承が伝えられた。
同月24日、福島市内の関連施設で、盃直し儀式が執り行われ、上野真慶が奥州会津角定一家の八代目を継承。六代目山口組若中に昇格。
プロパルギルアルコール
プロパルギルアルコール（英: propargylalcohol）とは、アルキンを含む最も単純なアルコールである。IUPAC名は2-プロピン-1-オール (2-propyn-1-ol)。
プロパルギルアルコール 性質
プロパルギルアルコールは無色透明で粘性のある液体で、水と極性のある有機溶媒に溶けるが炭化水素溶媒には溶けない。ゼラニウムの芳香がある。プロパルギルアルコールは加熱または塩基の作用で重合する。空気中で加熱すると重合反応が起こり黒変してしまうため、常圧蒸留は不活性気体中で行われる。
プロパルギルアルコール 用途
腐食防止剤、金属錯体の溶媒、溶媒の安定剤、電気メッキの添加物として使われる。また有機合成化学において中間体として使われる。
量化
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。
量化 概要
例えば、算術において、「全ての自然数にはその次の数が存在する」と言った場合、あるいは論理学で、「ある議論領域に特定の属性をもつ事象が少なくとも1つ存在する」と言った場合、いずれも量化を行っている。量化を伴う言語要素を量化子（quantifier）と呼ぶ。量化子を使った表現は量化されており、述語や関数の自由変項を量化子によって束縛することで量化が行われる。量化は自然言語でも形式言語でも行われる。自然言語での量化子の例として、「全ての」、「いくつかの」、「多くの」、「一部の」などがある。形式言語では、量化は（論理）式の構成要素の一部であり、ある式から別の式を生成する。言語の意味論によって、それら構成要素が妥当性の範囲でどう解釈されるかが指定される。量化は変項束縛操作の一例である。
述語論理における2種類の基本的量化として、全称量化と存在量化がある。これらの詳細は各項目にあるので、ここでは両者に共通する量化の概念を述べる。
全称量化子は、"A" を逆さにした "∀" で表される。存在量化子は、"E" を裏返しにした "∃" で表される。これらの量化子は、アンジェイ・モストフスキ と Lindström の研究を端緒として一般化されていった。
量化 自然言語における量化
全ての人間の言語は、完全な数体系がない場合でも、量化を利用している（Wiese 2004）。例えば、日本語での例は次の通りである。
これらを量化を使わずに、複数の文の論理和や論理積で表す単純な方法は存在しない。例えば、「Aの方針に目を通す必要がある」かつ「Bの方針に目を通す必要がある」……などと続くことになる。これらの例はまた、自然言語での量化表現の構築が統語的に非常に複雑となる可能性を示唆している。幸いにも、数学的表現における量化は、統語的により直接的である。
自然言語における量化の研究は形式言語の場合に比べて難しい。ひとつには、自然言語の文法構造が論理構造を隠蔽する場合があるためである。さらに、数学的規定は形式言語の量化子の妥当性の範囲を厳密に指定する。自然言語では、妥当性の範囲を指定するには、重要な意味論的問題に対処する必要が生じる。
モンタギュー文法は、自然言語の斬新な形式意味論を与える。その信奉者は、フレーゲ、ラッセル、クワインらの伝統的な手法よりも自然言語の自然な形式的再現が可能であると主張している。
量化 数学的記述での量化子の必要性
ここでは、まず数学での量化を非形式的に説明する。次のような文があるとする。
1·2 = 1 + 1、かつ 2·2 = 2 + 2、かつ 3·2 = 3 + 3、かつ ……、かつ n·2 = n + n、かつ ……
これはいわば、命題の「無限論理積」である。形式言語の観点からすれば、有限なオブジェクトを生成する統語的規則を期待しているので、これでは問題がある。それとは別に、この例の場合、全ての論理積の対象要素を生成するプロシージャがあることがわかる。しかし、全ての無理数について何かを主張したい場合、無理数は列挙できないので、論理積の全対象要素を並べ立てる方法はない。このような問題に対処する簡潔な定式化として、全称量化がある。
全ての自然数 n について、n·2 = n + n である。
同様に、論理和の場合もある。
2 は素数である、または 3 は素数である、または5は素数である、または …… 、または n は素数である、または ……
この場合は、存在量化によって簡潔に定式化される。
ある自然数 n があり、n は素数である。
量化 量化子の入れ子
次のような文を考えてみよう。
任意の自然数 n について、s = n × n となる、ある自然数 s がある。
これは明らかに真である。これは単に全ての数に平方が存在することを主張しているに過ぎない。
量化子を意味する部分の順序を変えると、その内容は全く変わってしまう。
ある自然数 s について、s = n × n となる、任意の自然数 n がある。
これは明らかに偽である。ある1つの自然数 s が、あらゆる自然数の平方であると主張することになってしまう。
以上の基本的事実は、量化子の入れ子に際して非常に重要となる。量化子の適用順序は極めて重要である。
やや複雑な例として、解析学の重要な概念である一様連続の例を示す。これは、2つの量化子の順序を入れ替えるだけで各点連続を表すようになる。これを示すため、f が R 上の実数値関数であるとする。
波括弧上の全称量化子を入れ替えても、同じである。
これは、A' で波括弧上にある存在量化子と全称量化子を入れ替えた次のものとは異なる。