いきるちから

気が向いたときに適当なことを書きます

2016-04-01から1ヶ月間の記事一覧

クワインと対角化定理 ~計算理論入門~

はじめに クワインとは この前プログラミングの教科書を読んでいたら面白い問題があった。大雑把には次のような感じ。*1 自分自身のソースコードを出力するプログラムを書け。 調べてみたところクワインというらしい。細かい話をすると入力を受け取るのもダ…

直積空間での境界作用素

A Concise Course in Algebraic Topologyのゼミ発表の準備をしてたら沼にはまった。13.4節のお話。 やりたいこと を示す。 基本戦略 ] とするとは境界作用素と可換になる。はの次元。これより上の同型が従う。 やったこと 可換性を示すとき直積空間上での境…