はてなブックマーク

なんでそう思ったかの概略 証明する気はないが、なんで実数（とBinat型のすべての値の集合の濃度が同じ）と思ったか、概略を述べておく。 まず、LSuccとRSuccをBizeroに有限回適用して得られる値の集合$B_0$は可算無限集合。 次に、RSuccは有限回、LSuccは可算無限回Bizeroに適用して得られる値の集合$B_1$も可算無限集合。 最後に、LSuccとRSuccをBizeroに可算無限回適用して得られる値の集合を$B_2$として、差集合$B_2 \setminus B_1$を考える。LSuccを0、RSuccを1と読み替えれば、半開区間$(0, 1]$の各実数を二進数の無限小数で一意1に表したものと一対一に対応するので、$B_2 \setminus B_1$の濃度は連続体濃度。 以上より、Binat型のすべての値の集合は連続体濃度2。 0.1とか0.1000...は0.0

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 逆ポーランド記法をネタにGIFアニメ作りたかっただけです。 演算子の優先順位 四則演算では加減算より乗除算のほうが優先順位が高い。例えば、下記の通り乗除算を先に評価すると解釈するのが一般的である。 1 ＋ 2 × 3であれば、1 ＋ (2 × 3) = 1 + 6 = 7と解釈される。 12 − 8 ÷ 4であれば、12 − (8 ÷ 4) = 12 - 2 = 10と解釈される。 演算子の結合性 また、四則演算は左結合である。例えば、下記の通り左側から結合して考えるのが一般的である。（減算が連続した場合や、除算が連続した場合に左結合で

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

会社で XML ファイルからデータを抽出する作業が発生 正規表現を駆使して抽出に成功 ただ、構造化されたデータに正規表現で対応するは愚行 XMLをテキストファイルではなく、きちんとXMLとして扱う方法を調査すべき というわけで調べました。なお、会社で使えるのは PowerShell V2 のみなので、V2 の情報になります。 XML データの処理 XML文書は木構造 木構造で身近な例と言えばディレクトリツリー ディレクトリツリーと言えば ls -l *.txt みたいに glob パターンが便利 glob のように XML 文書のノードの集合を表す表現があったら便利なのでは？ その便利な表現が XPath だ！ というわけで XPath 使います。 なお、メモリ内の XML データの処理の記事を見ると、下記３つの方法があります。（Version 2.0 には Select-XML がないの

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

下記のような感じで PowerShell で peco っぽいものを作った。なお、選択機能は実装されていない なぜ作った そのまま peco 使えばいいじゃん peco は、テキストストリームを扱うコマンドであって、PowerShell のオブジェクトを扱うコマンドではない。そのため、Where-Object のように、オブジェクトをオブジェクトのままフィルタリングすることができない。そのままオブジェクトとしてフィルタリングできるコマンドが欲しかったので作った。 Out-GridView -PassThruで十分じゃん 全くその通りだし、普通は豊富なフィルタリング機能を持つOut-GridViewを使うべき。ただ、折角 CLI 使ってるのに GUI に頼りたくないという思いがあったので作った。 使い方 リンク先（Gist）の、各ファイルをローカルで作って、poco.psm1 をインポートす

PowerShell - テキストファイルの文字コードを変換する方法 - Qiita のコード、便利そうだなーと思ったんですが、一方でファイルの取得やら、フォルダ構造を維持した出力やらを他のコマンドレットにやらせたいなーと思ったりもしました。具体的には次のように書きたいと思ったわけです。 ls ./conv_enc -r | ConvertTo-WinContent ./conv_enc 配下の UTF-8(改行コード：LF)のファイルを SJIS(改行コード：CR LF) のファイルに一括で変換 cp ./win_enc/* -dest ./unix_enc -r -pass | ConvertTo-UnixContent ./win_enc 配下の SJIS(改行コード：CR LF)のファイルを ./unix_enc にフォルダ構造を維持しつつコピーして UTF-8(改行コード：LF)

関数プログラミング実践入門 ──簡潔で、正しいコードを書くために (WEB+DB PRESS plus)を買って第六章読んだら 40 行くらいで読みやすい数独ソルバ書かれてて、自分で書いたらどれだけ長くて読みにくくなるのか試しに書いてみたら酷いことになった。 自分のヤバイコードと対比することでこの本の良書っぷりが更にわかって良かった。 なお、下記の実行結果は本当に解ける人いるの？　フィンランド人数学者が作った “世界一難しい数独” が発表されるを解いたもの。 $ ghc ./Sudoku/main.hs -odir ./Sudoku -O2 $ time ./Sudoku/main "8..........36......7..9.2...5...7.......457.....1...3...1....68..85...1..9....4.." [["812753649943682175

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

// バリデーションクラスをインスタンス化 $val = Validation::instance(); // emailカラムにバリデートを設定 $val->add('email', 'メールアドレス') ->add_rule('required') ->add_rule('valid_email'); // 何も引数を指定しなかった場合、デフォルトで$_POSTが引き渡される if($val->run()){ // バリデーション成功の場合ここに入ってくる }else{ // バリデーション失敗の場合ここに入ってくる foreach($val->error as $key=>$value){ // $key:'email' // $value:エラー // $value->get_message():エラーメッセージ } } ちなみにデフォルトのvalid_emailの中身はfilte

// 基本形 DB::select()->from('hoge')->execute()->as_array(); // join DB::select()->from('hoge') ->join('moge','left')->on('hoge.moge_id','=','moge.id') ->execute()->as_array(); // order by DB::select()->from('hoge') ->order_by('hoge.pub_date','desc') ->execute()->as_array(); // group_by DB::select()->from('hoge')->group_by('hoge.moge_id') ->execute()->as_array(); // sumを取りたい DB::select(DB::expr('sum(

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

最近FuelPHPというのを始めたので書く。 FuelPHPの特徴 JSON,XMLでのデータ吐き出しが容易 コントローラー側:$this->response($data); http://localhost/コントローラ/メソッド.xml →XMLで返却 http://localhost/コントローラ/メソッド.json →JSONで返却 http://localhost/コントローラ/メソッド.php →PHP配列で返却 ひとつのメソッドでXMLもJSONもPHP配列もCSVも返却できる！ RESTコントローラの利用が容易 BootStrap標準装備 デバッグ機能 プロファイラ標準装備 個人的な印象としては、Webアプリ開発にはCakePHP、モバイル連携にはFuelPHPが適しているというイメージがあります。 CakePHPだとメソッドごとに切り替えられるレイアウトファイルが、Fue

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?