新しいものを表示

閏年の判定を論理演算使わないで計算ってお遊びから、デジタルフィルタのよくわかんなかった部分のお話に繋がるの、数学不思議><

orange さんがブースト

これがまあ「それぞれの時点を起点とした信号を重ねる」というコアの部分の概念を図とうまい説明で与えられると、そりゃもう定義の数式そのまんまだったので、理解できない方が不思議じゃんという気持ちにさえなってしまって

スレッドを表示
orange さんがブースト

特定の時間が起点となる信号をそれぞれの時点について計算して重ね合わせるのが畳み込みで、ある時点でのあらゆる信号について、後から発生した信号ほど起点からの経過時間が少なく、よって起点の時間と起点からの経過時間が逆符号になるという、それだけの話なんですが

デジタルフィルタの本、8割くらい意味不明だったので難しすぎる><

orange さんがブースト

いや、その手法で計算するためにはシステムが線形である必要があるのか。
線形システムが有り難がられるゆえん?

スレッドを表示
orange さんがブースト

あーそうだ、インパルス応答を畳み込み積分とかにかけてやると任意の入力信号に対するシステムの出力を再現できるんだっけ?
もう完全に忘却の彼方だわ

orange さんがブースト

入力x(と定数)を加減乗除して得られるものは(1変数)有理関数と言ってまあ変な関数は出てこないですね

orange さんがブースト

EMANの物理学・物理数学・超関数のフーリエ変換
eman-physics.net/math/fourier0

> つまり、あらゆる波長の波が均等に混じり合ったものがデルタ関数であるというようなイメージである。

これが肝で、よーするにインパルス応答は「すべての周波数信号を同時に均等に与えたときの各周波数に対する応答を全部重ね合わせたもの」といえるのでいろいろ有用らしい

orange さんがブースト

ところで初等関数ではないと考える根拠、「初等関数ならすべての点で微分可能」だろうからそうでないものは初等関数ではなさそうみたいな雑な推論 (なお初等関数の正確な定義は忘れた (は?))

スレッドを表示
orange さんがブースト

で、λ計算を理論的裏付けとして関数型言語が発明されているので、これはもう関数型言語や現代のマルチパラダイム言語を使う上での教養と言っても過言ではない

スレッドを表示
orange さんがブースト

ところで一方、数学においても「アルゴリズム」を扱うことはあるわけで、その辺りを “通常の” 関数と同じように表現できないかみたいな発想は当然生まれるわけです。
そのひとつの帰結がラムダ計算とかなので、これは計算論を学ぶチャンスですよ

難しすぎてなぜかすっぱいもの食べた時みたいに顎痛くなった><;
なんかググって出てきたニコニコ大百科の記事の最初に
dic.nicovideo.jp/a/%CE%B4%E9%9
"工学の分野ではインパルス応答、単位インパルスなどと呼ばれる。"
って、これもしかして、デジタルフィルタのお勉強に出てくるあれかも?><

orange さんがブースト
orange さんがブースト
orange さんがブースト

たぶん orange 氏が欲しいのはδ関数とか階段関数相当のものだと思うんだけど、これは初等関数ではないと思うし多分無理

数学なんもわからんけど、この発想から広げてなんか証明できたりするのかも?><;

このやり方だと4までだけど、0以外にするとこの(year+1)みたいなところが(year+(∞-1)) ?><;まで必要になるし、 剰余の4の所が無限になっちゃうかも?><
ということは少なくともこの方法では不可能って事かも><

閏年を論理演算を使わないで判定するやつ作る時に思いついたのは、
= ((year + 1) % 4) * ((year + 2) % 4) * ((year + 3) % 4)
ってして、年が4で割り切れなかったら0、4で割り切れたら0以外 みたいなの><(だったっけ?><;)

何のことかというと、閏年を論理演算を使わないで判定するやつ前に作ったけど、0年だけは正しく出せない・・・><
gist.github.com/orange-in-spac

古いものを表示
:realtek:

思考の /dev/null