この例では、移動平均フィルターとリサンプリングを使用して、1 時間ごとの温度の測定値について時刻の周期的成分の影響を分離したり、開ループ電圧測定値から望ましくない回線ノイズを取り除いたりする方法を示します。この例では、メディアン フィルターを使用してエッジを保存しながら、クロック信号のレベルを平滑化する方法も説明します。さらに、例では、Hampel フィルターを使用して大きな外れ値を取り除く方法についても説明します。 目的平滑化とは、データにおける重要パターンを、ノイズなど、重要性の低いものを除去しながら見つけ出す方法です。この平滑化のためにフィルター処理を使用します。平滑化の目的は、値の変化をなだらかにしてデータのトレンドをわかりやすくすることです。 入力データを検証するとき、信号のトレンドを調べるためにデータの平滑化を行うことがあります。ここに、2011 年 1 月の 1 か月間、ボス

決定不能問題ギャラリー Gallery of Undecidable Problems 決定不能問題(undecidable problem)というのは，簡単に言えばコンピューターに解けない問題のことです． ここでは様々な決定不能問題とその証明を掲載しています．決定不能性の証明に主眼を置いているため，決定可能であることの証明はたいていの場合は概略に留めてあります．計算量に関する結果はたいてい証明しません． 初めての方は一番上の「Turing機械の定義と停止問題」から読むことをお勧めします．それ以降はおおよそどの順番で読んでも大丈夫です． 前提知識としては，集合と写像に関する基本的な知識があれば大丈夫なはずです(もちろん問題によって必要な前提知識は異なります)．細かいことに囚われず，大らかな気持ちで読んでいただければと思います．