O’Reilly書籍はandroidで買うと安いらしい

最近F#に興味があって、O’Reillyのプログラミング F#を買おうか迷っていたんですが、実はandroid電子書籍で買うとめちゃくちゃ安い、という記事を見つけました。

たった600円でオライリー本をiPadやKindleで読む。すてき。
F-12C epub16冊分買ってもリアル書籍1冊分くらい… オライリー本の電子版が android ではついに400円台に突入… しかも epub export がアプリについてる…

ちなみに、こちらがO’Reilly Mediaのandroidマーケットアプリ一覧。
……本当に400円前後の値段が付いてますね。古本漁るのがあほらしい値段。
しかもepub形式でエクスポートできるので、iPadに入れたりKindleのmobiファイルに変換したりすればそちらでも読めるようになる。持ってないけど。
Windowsから読めるならこれで十分だなー、と思って調べて見ましたが、現状epubビューワはこんな感じの模様。
PDFに変換したりできないかと調べてみたのですが、PDF→epubの記事はいろいろあってもepub→PDFの記事がなかなか見つからない。
拡張子を.zipに変えて展開すればいいみたいなのもありますが、コンテナ形式がzipなのかとか中にどんな形式で入ってるのかとか調べてないのでホントにそれでいいのかはわからず。

プラグイン追加時のホワイトアウト現象

わぷーを入れた辺りから、プラグイン画面を開こうとするとホワイトアウトするという謎現象に陥っていたのですが、解決策がこちらのブログに載っていました。
メモリ不足だと起こるのですね。
てっきりプラグイン同士の干渉とかその辺だと思ってたらもっと簡単な理由だった。

これで新しいプラグインも有効化出来るようになったのでソースのハイライトとかTwitterウィジェット変えたりとかしてみますかね。

OCamlのSet.Sにmap関数はない

最近研究でOCamlのSetやMapを多用するんですが、Set.Sの中にmap関数はないんですね。
タプルの特定要素を取り出したり情報を付与したりするときにSet->Set変換する必要があるんですが、いちいちfoldするのが面倒……
Listなんかにはmap関数があるのであってもよさそうなものですが、よく考えるとこの関数、型として表現が難しい(というかできない)のですね。

Setはファンクターなので、例えばint型のSetなら(作れないですが)

int Set

ではなく

module IntSet = Set.Make  (struct    type t = int    let compare = compare   end)

といった感じになります。
要素の型や比較関数をまとめてストラクチャーとしてファンクターに与えることで、内部の型が固定されたストラクチャーが返されるわけです。

んで、ファンクターの内部では集合自体の型はt、要素の型はeltで表されてるわけです。例えば

empty : tadd : elt -> t -> t

といった具合です。(OCamlマニュアルより)
ところがここでmap関数を考えると、

map : (elt -> 'a) -> t -> 'a set(?)

といった具合で、出力が’aを要素とするSetになるわけですが、当然ファンクターはそんな型を知らないので定義できません。
with type構文とか使えないかなーと一瞬考えましたが、あれはSet.Sに型を与えてシグネチャを作るだけでしたね。全然関係ないです。

WordPressにTweetableを設置

Twitter連携には元からインストールされてたTweetableを導入しました。
というわけで投稿テストも兼ねて、参考にしたサイトや詰まった場所まとめ。

英語でもいいのですが、一応日本語も参照しておこうとこちらのブログを参考にさせて頂きました。
プラグインから直接いけるアプリケーション登録が何度やってもうまく動作せず「アプリケーションが登録されてないよ」と言われたので、Twitter Developersに自分のアカウントでログインしてからアプリケーションを追加しました。
こちらからだと登録時にはアクセス権限などの設定ができないため、登録後にその辺を編集してからOAuthキーなどをTweetableに設定、という感じでちゃんと動作しました。

ウィジェットを追加してみたところ、つぶやきはちゃんと取得されるけれどアイコンの表示は無いのか……
ちょっと寂しいので、アイコン表示できないか少し弄ってみますかね。

WordPress設置

せっかくサーバーレンタルしてるんだから……ということで、Wordpressを設置してみました。
基本的にTwitterだと後の検索性が悪いので、技術的な備忘録を中心にメモっていきたいと思います。

が……使っているサーバー(ロケットサーバー)で簡単導入があるから楽勝だろうと思ってたら、意外に色々引っかかったのでメモ。