有向グラフを表現するデータ形式について - 檜山正幸のキマイラ飼育記 (はてなBlog)
今年の4月に、「すごいグラフ処理ライブラリNetworkXの使い方」という記事を書きました。メモ編にもいくつかNetworkX関係のメモが残っています。 https://m-hiyama-memo.hatenablog.jp/search?q=networkX NetworkXとGraphVizの組み合わせは、グラフの操作・解析・描画に便利なんですが、グラフを表現するデータ形式が色々あって頭がこんがらかる時があります。実装に依存しない一般論を一回整理しておいたほうがいいようです。ライブラリ固有のネイティブ形式ではなくて、JSONで表現できるデータ形式の話をします。 例題は次のようなグラフだとします。 頂点（ノード）は、a, b, c, d, e の5つがある。 辺は次の4本： a → b b → c c → a c → d 内容： 単純な有向グラフ dict-of-lists形式 頂点／辺
便利で超強力なWSGIサーバー uWSGI を使ってみよう - 檜山正幸のキマイラ飼育記 (はてなBlog)
「Nginxをダウンタイム・ゼロで入れ替える方法」で書いたように、/usr/local/nginx/ のNginxを version 1.0.13 に更新しました。これとは別に、catyというユーザーアカウントのホームディレクトリ内にNginxをインストールして、Nginx+uWSGIとCatyの実験をしようとしています。 Nginx+uWSGIは、Catyに限らず一般的なWSGIアプリケーションを稼働させる良い環境を提供します。簡単に紹介しましょう。 内容： WSGIとuWSGI なぜ Nginx+uWSGI にしたのか uWSGIについて少し インストール とりあえず動かしてみる ソレナリに動かしてみる プロセスの制御など WSGIとuWSGI WSGI（Web Server Gateway Interface）*1は、Pythonで書かれたWebアプリケーションとアプリケーションサー
エイトクイーン問題をAlloyで解いてみる - 檜山正幸のキマイラ飼育記 (はてなBlog)
「自然数の区間をAlloyで書いてみる」より： ある目的から、自然数の区間 {0, 1, 2, ..., n} の性質の一部を抽象した構造が欲しくなりました。 「ある目的」とは、エイトクイーン問題を解くことです。 Wikipedia: エイト・クイーン エイトクイーンは、「ある条件を満たすパターンを検索して列挙する」タイプの問題のなかでも典型的なモノです。Alloyにやらせるにはウッテツケの例題でしょう。 内容： エイトクイーン問題を解いた結果 問題の分析と定式化 Eightの定義 エイトクイーン問題の定義 解の検索 結果のエクスポートと加工 結果の表示 Alloyサーバーが欲しい エイトクイーン問題を解いた結果 次は、Alloyアナライザーが見つけてきたエイトクイーン問題の解のひとつです。 縦・横・斜め、どの方向の直線上にも、2つのクイーン（「Q」と書いてある）がいないような配置になって
XPathの要点を少し抽象的にまとめておく - 檜山正幸のキマイラ飼育記 (はてなBlog)
ものすごく久しぶりにXPathを使おうと思ったのですが、「XPathってなんだっけ？」という程度に忘れています。 細部はリファレンスマニュアルを調べれば分かることなので、概念的にどんなものかを思い出すのが先。概念や構造を手っ取り早く理解するには、抽象化したほうが都合がいいです。抽象化すると本質がコンパクトにまとまるので忘れにくいし、忘れても思い出す手間も少ないですからね。 内容： ツリー、有向グラフ、ノードセット 全順序付きノードセット 軸 コンテキスト ステップ ロケーションパスの評価 続きの記事：XPathの構文を割と具体的にまとめておく ツリー、有向グラフ、ノードセット XPathが相手にするデータ構造はツリーです。XMLのツリーには属性ノード、名前空間ノードとかもあるので、ノードにも辺にもいろいろな値（ラベル）が付着している有向グラフと考えましょう。ルートが特定されていてサイクルが
EmacsのクレオールWikiモード - 檜山正幸のキマイラ飼育記 (はてなBlog)
Wikiってのはもともと、プレーンテキストとみなしても不自然ではないようなマークアップのはずです。ですから、カラーリングしたりする必然性はないような気もしますが、EmacsのクレオールWikiモードが存在します。 http://manuelp.github.com/emacs/2009/11/03/wikicreole-mode-emacs.html ちょっと驚いたのは、そのEmacs Lispコードが短いことです。クレオールWikiが簡単だからと言えば、まーそうなんでしょうが、それにしてもたったコレダケ。 [追記]ウワーーッ、下のpreのなかが、pppバグで散々なことになっている。pppタグを取り去ればevalできます。 「はてな」さん、pppバグは対処しないのかな？[/追記] ;; From: http://manuelp.github.com/emacs/2009/11/03/wik
サーバーサイドJavaScript - 檜山正幸のキマイラ飼育記 (はてなBlog)
amachangの「IT戦記」からトラックバックをいただいていたので、「なんだろな？」と思ったら minidom.js のこと。一瞬「それなんだ？」と思ったが、僕の放置ウェアだった。 amachangの同記事に曰く： まあ、ともあれ JavaScript がサーバーサイドで動くってーのはめっちゃ楽しいですね！ サーバーサイドでJavaScriptをやりたいなら、Helmaがありますよ*1。僕がやっている某社内勉強会で取り上げたことがあって、簡単な解説が次のページにあります。 http://symple.jp/85.html http://symple.jp/100.html 上記ページから引用すると： Helmaは「多年にわたり数多くのサイトで採用された、安定したソフトウェア」だそうです。それでも日本ではいまいち普及していないらしい（Helmaの詳しい日本語ページが見つからない、 Helm
JavaScriptで言語処理系の勉強をしましょう：構文解析準備編 - 檜山正幸のキマイラ飼育記 (はてなBlog)
次の2つの記事の続き； JavaScriptで実装したごく簡単な仮想機械RAC0（Rudimentary Arithmetic Calculator Level-0）に対して、高級言語とその処理系を作りましょう、というシリーズです。 JavaScriptで仮想機械の勉強をしましょう JavaScriptで言語処理系の勉強をしましょう：字句解析編 トークンスキャナーが出来たので、次はパーザーを作る番です。実際のパーザー（構文解析器）の例を示す前に、方針と方法について説明しておきます。 内容： ソースコードとトークン列 パーザーと構文木 BNFによる文法記述 再帰降下（下降）法 ソースコードとトークン列 高級言語のソースコード（今回の例では、1 + 2, (5 - 2)*4 のような算術式です）は、なんらかのテキストストリームから言語処理系に入力されます。ファイル、キーボード、文字列データなど
本日のtip：Emacsで、文字をアンパサンドによる文字参照に置き換える - 檜山正幸のキマイラ飼育記 (はてなBlog)
1年ぶりに本日のtip。 はてな記法で書いていると、行頭のマイナスとか丸括弧の連続なんかが、はてな記法として解釈されて困ることがしょっちゅう。Emacsの場合、CTRL+C, = とすると文字番号がわかるので、それを見て手でHTML文字参照に直してもいいのですが、次のような関数を定義しておくといいかもね。 (defun replace-by-char-ref () (interactive) (let ((num (char-after))) (delete-char 1) (insert (format "&#%d;" num)))) ;; バインドするキーはお好みで変える (global-set-key "\C-cr" 'replace-by-char-ref)
JavaScriptで仮想機械の勉強をしましょう - 檜山正幸のキマイラ飼育記 (はてなBlog)
事情があって、コンピュータのハードウェアメカニズムをごく簡単に説明したいのです。本物のCPUは難しくて簡単な説明にはならないし、そもそも僕は本物がどうなっているかよく知りません。 そこで、オモチャの仮想機械を作ることにしました。加減乗除だけができるスタックマシンです。仮想機械の実装はJavaScript、ユーザーインターフェースはHTMLです。こういうとき、JavaScript + HTML はお手軽でほんとに便利です。 Web上で試せるURL http://www.chimaira.org/tools/rac0.html 初等算術計算仮想機械の実装 仮想機械を実装するソースコードは次のようです。インストラクション（機械語命令）の説明はすぐ後でします。 /* rac0vm.js */ /* * Rudimentary Arithmetic Calculator Level-0 */ var
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
