memo

乱数について

乱数に対する対角線論法 - yamblogの続き.プログラムの出力で01の文字列をつくってきたが, 頭に"0."をつけて[0,1]の実数の2進展開と対応付けることを考える. 例えば"10101"は"0.10101"となる. ”1”と”01111111…”は同じ値と対応付けられることが気になるか…

乱数に対する対角線論法

また,対角線論法で混乱してしまったので復習のためのメモ. コルモゴロフ複雑は人伝にしか聞いたことがないので,用語などは適当. 適当な0,1の文字列を出力するプログラムを考える. 言語はCでもJavaでもよい. ただし,Turing-completeで逐次的な出力がで…

sedの正規表現

()や{}をそのままの意味で使うときにエスケープシークエンスが必要かと思っていたら必要なかった.ものによって仕様が異なるのでややこしい. 参考 正規表現メモ