（この文章は『劇場版 魔法少女まどか☆マギカ [新編] 叛逆の物語』の感想でありネタバレを含みます。あと色々なものに酔って書いてるのでかなり読みにくいかも知れません） 私は暁美ほむらが好きだ。 何故と言われても困るが、あの第十話を観てからというも…

感覚信号の効率的な(即ちスパースな)符号化に関して「視覚野・聴覚野地図の同一適応アルゴリズムによる解釈」に興味を持ったので、論文で使用されているトポグラフィック独立成分分析(TICA)の論文「Topographic Independent Component Analysis」を読もうと…

レンズの固有振動数ってどんなもんかな？ ってお話。 データも根拠も怪しいものですが、参考程度に。基本振動だけ分かればいいので、レンズは円筒が連なって円柱を成しているものと看做します。 すると円筒のずれに対する復元力を求めるには、ガラスの剛性率…

初音ミク嬢を筆頭として音声サンプルの編集による音声合成は随分栄華を誇っていますが、力学モデルのシミュレーションによる音声合成はどうも人気が無い様ですね。私が世情に疎いだけかも知れませんけれど。 実用程度*1ならそうした経験的帰納的な手法も使え…

最近は VirtualBox 上の ubuntu で開発することで Windows の呪縛から解き放たれていたんですが(まあ Windows がホストOSではありますけど)、どうもマイク入力が VirtualBox ではサポートされていない様子。USB マイクなら大丈夫とか聞くんですが。 開発環境…

〈この物語は事実を基にしたフィクションです。〉 的な注意書きを見かける事がある。『月光の夏』だとか『電車男』だとか。 というのは恐らく、ノンフィクションと銘打ちながら脚色があったりすると「騙された！」だのと騒ぐ人が居るからなのだろうけれど、…

偶には自分の妄言でも話しましょう。極微の世界を扱う物理学として今日量子力学が確立されている訳ですが、量子力学ではその根幹に於いて当代あらゆる物理学者を悩ませる不可思議な言明を含んでいるのであります。 即ち、電子等々の粒子が微小世界で織り成す…

調べた内容の私的な解釈を書いた感じなので用心されたい。命題について、述語論理が「どんな対象について成り立つか」を扱う様に、様相論理は「どの程度成り立つか」を扱う。様相論理は世界（解釈とその上で成り立つ論理式の集まり）自体を記述し、命題に対…

第2回将棋 電王戦というのがありまして、プロ棋士とコンピュータ将棋がガチバトルした訳です。それでコンピュータ側は3勝1敗1分の大殊勲だったと。 人間側完敗などと悲観的？ に受け取る向きもある様ですが*1、私としては「よくもまぁコンピュータのゴリ押し…

その昔、Eulerは階乗の一般化として積分を見出し、後にGaußがと書き直した訳ですが、では二重階乗なんかはどうなるのという話。 因みに現代ではというややこしい定義のガンマ函数が罷り通っていますが、ここでは使いません。その方が綺麗なので。さて取り敢…

Haskellでよくある primes = [2, 3] ++ filter (\n -> all (\p -> mod n p /= 0) $ takeWhile (\p -> p*p <= n) primes) [5, 7 ..] 的なやつを。 let infty n m = Seq.initInfinite (fun i -> n + i * m) let rec primes = seq { yield! [2; 3] for i in inf…

「8 8 9 9」のmake10を四則演算でやれと言う話なので。分かんないので。 アルゴリズムとしては「切符の番号で10を作る」のと同じです。カッコよく言うと分割統治法。コードはあんま美しくないけど。 import Data.List data Expr = C Int | Add Expr Expr | S…

みたいなのを連分数と呼ぶ。これだとスペースを取るので とか(低い位置の+は直前の分数の分母にそれ以降を足す感じ)、分子が皆1の時は+の左の数字を並べてとも書く。 値を求めるには、これをと置くと よりとなるから は普通に考えて正なので、の正を取るとこ…

\frac{ \sum_{i=1}^{n} x_i }{ \sum_{i=1}^{n} a_i } \quad (n \ge 2,\, a_i, x_i > 0)"> を数学的帰納法により示す。の時 よって成り立つ。の時に成り立つとすると \frac{ \sum_{i=1}^{k} x_i }{ \sum_{i=1}^{k} a_i } "> ここでと置き換えると \frac{ \sum…