雨水も生活排水などの下水も、下水道を通じて下水処理場まで運んでいる場合、大量の雨水が下水道に流れ込んでしまい、下水道管で受け止めきれなかった一定量については、汚水未処理のまま河川の公共水域に放流せざるを得ない状況が発生しており、大雨時には放流海域での大腸菌数の増加など、環境影響が発生している。家庭排水対策.対策として、合併浄化槽の整備や下水処理場の高度化、合流式下水道の改善などが行われている。海洋清掃船.東京湾内の浮遊ゴミおよび浮遊油を回収する目的で、清掃兼油回収船「べいくりん」が国土交通省関東地方整備局・千葉港湾事務所により運用されている。GIMP概要.レイヤー、トーンカーブ、ヒストグラム、画像の形状からの切り抜き、ブラシエディタ、パスの編集、多種多様なプラグインなどに加え、モザイク編集や、アニメーション合成(GIFアニメーション)を行うなどといったフィルタ機能も数多く備えており、これ一つで、コンピュータ上のほとんどの画像編集は行える。しかし多機能性を外部プラグインやスクリプトなどに頼っているため起動時の読み込み量が多く、時間がかかる。gettextの仕組みを使って多言語対応している。ファイル形式.GIMPは以下のファイル形式を開いたり保存したりすることができる。GIMPは以下の形式をインポートできる(開けるが保存できない):GIMPは以下の形式をエクスポートできる(保存できるが開けない):マスコット.派生品.GIMPをベースにしたいくつかの派生バージョンやカスタマイズパッケージが存在する。ラムダ計算この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。歴史.非形式的な概説.は全て同値となる。ラムダ計算そのものには上で用いた整数や加算などは存在しないが、算術演算や整数は特定のラムダ式の省略であると定義することによってエンコードできる。その具体的な定義については改めて後に述べる。定義.と書くことにする。この元で、アルファ変換はベータ簡約(ベータ変換とも)の基本的なアイデアは、関数の適用である。ベータ簡約は以下の変換である。この同値性は関数の外延性という概念によって以下のように示される。