c4se記:さっちゃんですよ☆

.。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)

.。oO(此のblogは、主に音樂考察Programming に分類されますよ。ヾ(〃l _ l)ノ゙♬♪♡)

音樂は SoundCloud 等に公開中です。

考察は現在は主に Scrapbox で公表中です。

Programming は GitHub で開発中です。

數學

多量のデータをストリームして省メモリで統計処理するgemを作った

log を撫でまはし乍らごそごそしてゐたら出來てゐたので gem にした。 github.com N 個のデータから成る large_data が在り Ruby の Enumerable として取得出來る時、標準偏差や分散等を計算しやうとしたら、単純にやると N 個のデータをディスクに置かなけ…

NAND系の構造ってさ

notAnd系の構造って洞う成ってるの。NOR系でも構いやしないけど。 交換法則は成り立つ。詰り、 nandの式を単純に、一方行のグラフと表せる。 notはnandで表せる。即ち、 であるから、二重否定の法則は、 と成る。 結合法則は成り立たない。 且つ、 であり、…

社会選択理論に於けるアローの不可能性定理

アローの不可能性定理 を社会的選好関係、を、選好対象が選好対象に対して関係である、を、主体に於ける社会選好関係、即ち簡単には、を、或る主体に於いてである、とする。3人以上の主体に於ける団体に於いて、3つ以上の社会選考対象が存在する場合、以下の…