以下の製品は主に健康保険組合向けに販売されているもので、一般の薬局・薬店等では購入不可となる。製品キャラクター.タノムサク鳥羽人物.また、かなりのAV評論家でもあり、雑誌連載やAV企画、監督も手がけている。また、それによってAVメーカーがスポンサーにつくなどしている。サラヴィアサラビアサラビア(、、)サラービア表佳世サラートフ航空アルセーヌ・リュパン鳩の巣原理鳩の巣原理は数え上げ問題の例の一つで、一対一対応ができない無限集合など、多くの形式的問題に適用できる。この原理は、ディオファントス近似において、小さな係数を持ち、なおかつ指定された解をもつ線形方程式系の存在を示すために応用される。この方法は、「ジーゲルの補題」という名前で知られる。発見者であるディリクレ自身、そのような高度な技巧を経由するものではないがディオファントス近似に関する彼の定理を証明するためにこの原理を用いている。また、さらに一般的な数学的構造においても類似の定理が数多く存在することが知られている。例.計算機科学における鳩の巣原理.鳩の巣原理は計算機科学の分野でも証明に使われる。ハッシュテーブルにおいて想定されるキーの種類がテーブルの配列長を上回る場合、テーブルのインデックスが衝突しえないような値を出力するハッシュ関数(完全ハッシュ関数)は存在しないということが、この原理によって証明できる。可逆圧縮アルゴリズムの圧縮処理後にデータサイズが小さくなる入力データが存在する場合、圧縮処理後にデータサイズが大きくなる入力データも必ず存在することが、鳩の巣原理を用いて証明できる。具体的には下記の通り。鳩の巣原理の一般化.鳩の巣原理はさらに一般化され、グラフなどのより複雑な数学的構造、また算術的な関係などに対しても類似の定理が知られている(ラムゼーの定理など)。それらをラムゼー型の定理という。濃度に関する一般化.濃度に関する一般化を述べる為にまず鳩の巣原理を集合の言葉で言い換える。確率を使った一般化.ツアー・オブ・ジャパン概要.出場チーム.各賞について.各ステージの概要.現在使用されているステージ.堺ステージ.京都ステージ.美濃ステージ.いなべステージ.信州飯田ステージ.富士山ステージ.相模原ステージ.東京ステージ.