Elliptium

全体の内容

目次を眺めてみると, 次のような 3 部構成になっていることが分かります.

• 第1部
  • Sencha Touch というフレームワークの位置付け
  • 基本的な道具や概念の説明
• 第2部
  • Sencha Touch の基礎
• 第3部
  • 実際にアプリを作る課程を説明
  • 本物の動くコードが載っている

パラパラめくってみると, 全体を通してソースコードがかなりの量載っていることが目に付きます.

ソースコードをどれくらい載せるのか? というのは, 技術書ではよく悩むところです. 載せ過ぎると煩雑になりがちですし, かと言って細かいところを省略してしまうと, そのせいで読者が実装しても上手く動かない危険性が出てきます.

この本では「ソースコードを全て載せる」という方針を採用したようですが, 実際の動作画面の画像や, Google Chrome の開発者コンソールの出力例を載せることで, 読んでいても煩雑と感じたり飽きてくるようなことはありません. ここは著者の方々が気を遣って, 工夫されたのだろうなぁ (そして, 編集者さんの発破掛けがあったのだろうなぁ) と想像しています.

少し話は変わりますが, 実は Sencha Touch には公式のかなり手厚いドキュメントがあります. → http://docs.sencha.com/touch/2.2.0/ このページには, API ドキュメント, 開発およびテストの方法論, 動画による解説, サンプル集があります. このドキュメント自体も Sencha Ext JS (Sencha Touch の非モバイル版) で作ってあります. API ドキュメントは Javadoc のようにソースコードコメントから生成されており, 見た範囲では全ての class, config, property, method, event, CSS 変数に解説が付いています.

これだけ聞くと「この本を読まなくてもいいんじゃないの?」と思うかもしれませんが, そうとはならない理由があります. ドキュメントは確かに豊富なのですが, 全体として散発的な感があり, 内容が豊富過ぎてかえってどれを読んでいいのか迷ったりします. そこをこの本では, 取捨選択し, 1つの流れに整理してあります. ComponentQuery が特にそうなのですが, 必要であれば説明のための例も付け足されています. また Web サーバの準備の仕方や Sass の解説など周辺の情報についても載っています. こういうところにこの本の価値があるのだと思います.

第1部

ここを一通り読んで, 指示の通りに作業すると, なんとアプリが1つ作れてしまいます. この部で開発の準備からアプリ作成の流れが分かるようになっています. sencha コマンド (Play framework の play コマンドのようなやつ) の使い方から, nginx のインストール方法, ブラウザの開発者コンソールの活用の仕方, 実際のアプリのソースコードとその解説まで載っています. 環境構築のところは Homebrew で nginx 入れててちょっと驚きましたが, 本を通しての解説である以上, 環境は揃えておきたいのだと思います.

この部を読んでいてふと気付いたのは, 書いてすぐに動かせる画面が出るのはやっぱり楽しいのだろうな, ということです. Sencha Touch が最低限の設定でそこそこ動くようになっているのがすごいところです. もちろん見栄えも悪くないです.

余談ですが「2.1.5 テキストエディタ」のところで, どんなエディタがオススメされているのか気になりましたが, 特にオススメのものは提示されていませんでした. アリエルさんの社員の方が多いので, きっとこの短い小節に落ち着くまでに血みどろの宗教戦争があったのでしょう(憶測) 社員ごとの使用エディタが載ってる社員紹介のページを探そうとしましたが, 今は見れないみたいで残念です.

第2部

ここを読むと Sencha Touch の基本を一通り理解できます. Sencha Touch のことを知っている人でもリファレンスとして見返すときに便利だと思います.

個々の内容について書いても本書の劣化版の文章にしかならないと思うので, 図やキャプチャが多く読み易い, とだけ書いておきます. それと Sencha Touch の config で設定する方式のおかげで, 余計なコードが無いのも読み易いです. そこは Sencha Touch (および Ext JS) のすごいところだと思います.

第3部

この部では実践的な内容として, アプリを1つ作ります. コンポーネントの作り方, Dropbox にデータを保存, 読み出しする proxy の作成などの内容が載っています. ここまで作れれば, 他の proxy の作成もできると思います.

誤植

気付いたものを書いておきます. (報告用のサイトがあればそっちに書こうと思います.)

P.27 2行目 s/Goole Chrome/Google Chrome/

最後に

Sencha Touch (に限らず Sencha Ext JS も) は JavaScript とは別の世界を作っていて, 独特の作法でアプリケーションを実装します. その作法を概観し実践につなげるには, この本はとても役立つと思います. 後から読み返すのにも良い本ですよ.

前置き

タイトルは本歌取りもいい加減にしろ, という長さですが. こんなつぶやきをしたので, 予告どおり記事を書きます.

【ブログ書く予定】「異様に難しいドラクエの謎解き」を線型代数を使って解くとある文章の布石でもありまする.ref. > twitter.com/masahiro_sakai…

— 怖くないtomo (@cocoatomo) March 27, 2013

酒井さんの続きの記事 → http://msakai.jp/d/?date=20130402#p01

解説

まず方針としては酒井さんと同じく連立方程式を解きます. 酒井さんはモデル検査を用いて解いていますが, 私は数学で解きます. 一応, 数学を学んできた身としては, 数学で解けるものは数学で解きたいものです. (酒井さんも同じようなお考えなのかもしれません) 数学を使って厳密に解いてしまえば, この解が最適解かどうか考えるのも楽になります. 手法による違いを楽しんでいただけたら, と思います.

まず最初に立式する連立方程式は同じです.

$$ \begin{aligned} x_1 + x_2 + x_3 + a_1 &\equiv b_1\ (\bmod 4) \\ x_2 + x_3 + x_4 + a_2 &\equiv b_2\ (\bmod 4) \\ x_1 + x_3 + x_4 + a_3 &\equiv b_3\ (\bmod 4) \\ x_1 + x_2 + x_4 + a_4 &\equiv b_4\ (\bmod 4) \end{aligned} $$

4 次元の縦ベクトル \(\mathbf{a}\) は 4 つの銅像の初期状態, \(\mathbf{b}\) は終了状態を表します. 各要素は内側を向いている状態を 0 として, 右回りに 90 度回るごとに 1 増えるとします.

与えられた \(\mathbf{a}\) に対し \(\mathbf{b} \equiv 0\) の条件で \(\mathbf{x}\) について解くのですが, ここでおもむろに行列を持ち出します.

$$ \begin{aligned} \begin{pmatrix} 1 & 1 & 1 & 0 \\ 0 & 1 & 1 & 1 \\ 1 & 0 & 1 & 1 \\ 1 & 1 & 0 & 1 \end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \end{pmatrix} + \begin{pmatrix} a_1 \\ a_2 \\ a_3 \\ a_4 \end{pmatrix} \equiv \begin{pmatrix} 0 \\ 0 \\ 0 \\ 0 \end{pmatrix} \end{aligned} $$

こうして

$$ \begin{aligned} \begin{pmatrix} 1 & 1 & 1 & 0 \\ 0 & 1 & 1 & 1 \\ 1 & 0 & 1 & 1 \\ 1 & 1 & 0 & 1 \end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \end{pmatrix} \equiv \begin{pmatrix} - a_1 \\ - a_2 \\ - a_3 \\ - a_4 \end{pmatrix} \end{aligned} $$

こうして

$$ \begin{aligned} \begin{pmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \end{pmatrix} \equiv \begin{pmatrix} 1 & 2 & 1 & 1 \\ 1 & 1 & 2 & 1 \\ 1 & 1 & 1 & 2 \\ 2 & 1 & 1 & 1 \end{pmatrix} \begin{pmatrix} a_1 \\ a_2 \\ a_3 \\ a_4 \end{pmatrix} \end{aligned ...

発端

「Python3 で Sphinx って使えるんだっけー?」と思って, 試しにインストールしてみたときに気付いた. Jinja2 を pip でインストールするときに, 不思議なエラーが出る. インストール自体は成功する.

やりとり

清水川さんと色々やりとり

@cocoatomo それ、pipがpython3.3対応してないんじゃ…

— Takayuki Shimizukawa (@shimizukawa) February 16, 2013

というわけで, distribute の easy_install 使って入れてみたら, さっきのエラーは出ずに無事インストールできた.

原因がさっぱり予想付かなかったけど, 稲田さんによるとこんなことらしい.

@cocoatomo @shimizukawa ああそれ、ダウンロードする対象をスクレイピングで探している時に、Python3ならページをutf8でデコードしてからURLを探そうとするから、ページをバイト列として扱ってURL部分だけASCIIとして扱えば良いはず。

— INADA Naoki (@methane) February 16, 2013

pip けっこう過激な対応してますね……

(追記 2013/02/16 22:50) この点について稲田さんが Pull Request を作成しています → https://github.com/pypa/pip/pull/810

distribute じゃなくて pip 使ってる理由は uninstall コマンドが使えることなんだけど, また清水川さんから教わる.

@cocoatomo easy_installでインストールしたものもpipでアンインストールできますよ。多分

— Takayuki Shimizukawa (@shimizukawa) February 16, 2013

easy_install で入れたものが, pip freeze -l でも認識されてるし, pip uninstall でもちゃんと egg を消してくれた.

venv

venv + distribute での Shpinx のインストールを試す (予定)

Setting up Environment

We need JavaFX SDK and Jython which can use it. A following sequence is actual processes I went through.

To obtain JavaFX developing environment, I installed JavaFX for Java SE 7.

Following this instruction, I made Java 7 as a default JDK.

$ sudo mv /System/Library/Java/JavaVirtualMachines/1.6.0.jdk /System/Library/Java/JavaVirtualMachines/1.6.0.jdk.bak
$ sudo ln -s /Library/Java/JavaVirtualMachines/1.7.0.jdk /System/Library/Java/JavaVirtualMachines/1.6.0.jdk
$ java -version
java version "1.7.0_04"
Java(TM) SE Runtime Environment (build 1.7.0_04-b21)
Java HotSpot(TM) 64-Bit Server VM (build 23.0-b21, mixed mode)

Next I compiled Jython with Java 7.

$ hg clone https://bitbucket.org/jython/jython
$ cd jython
$ ant
$ ls dist/bin/jython

The result jython executable exists at dist/bin/jython. When I compiled, the Mercurial changeset ID is 6898:2ccd73a00a86 and Jython version is 2.7.0a2+.

Now, all had been set up.

Hello, World!

Since ...

準備

今回の実装をするために sbt で管理している Scala プロジェクトを作成しました. 同じ環境を作成して色々触ってみると楽しいと思います. 実際, 私は自分で実装してみて Functor の使い方がより分かるようになりました.

私は以下の環境で作業しました. (scala, scalaz は sbt で取得するので, sbt のバージョンさえ合っていれば同じ作業ができるはずです)

sbt 0.12.1
scala 2.10.0-M7
scalaz 7.0.0-M3
Giter8 0.4.5

Giter8 についてはこちらを参照してください. http://blog.twiwt.org/e/f12c0f

前置き

説明を簡単にするために implicit なものは使っていません. 対象を函手で写すときには, implicit conversion を使うと綺麗に書けるのですが, 今回はそこが本題ではないので敢えて使っていません.

今回は以下のページを参考にしました.

• A Small Functor Example
• Scalaメモ(Hishidama's Scala Memo)
• 独習 Scalaz: 1日目

環境準備

g8 typesafehub/scala-sbt コマンドを実行して, パッケージ名など適宜答えていきましょう. scala のバージョンを聞かれたら 2.10.0-M7 としておいてください.

<project_root>/project/<project_name>.scala に sbt の設定を追加して, scalaz が利用できるようにします.

resolvers += "Typesafe Snapshots" at "http://repo.typesafe.com/typesafe/snapshots/",

libraryDependencies ++= Seq(
  "org.scalaz" % "scalaz-core" % "7.0.0-M3" cross CrossVersion.full
),

scalacOptions += "-feature",

initialCommands in console := "import scalaz._, Scalaz._"

実際のファイルは https://bitbucket.org/cocoatomo/scalazsample/src/e5efd3d7b750/project/ScalazsampleBuild.scala?at=default を見てください.

次に <project_root>/src/main/scala/<package_hierarchy>/なんとか.scala に以下の import 文を追加します.

import scalaz.Functor

ソースコードは https://bitbucket.org/cocoatomo/scalazsample/src/a451998f4f2fa9ab09771622a333e9dd9fbe64b9/src/main/scala/net/elliptium/Scalazsample.scala?at=default を見てください.

そして最後にコンソールに戻って sbt run コマンドを実行すると, scalaz-core の取得が行われ, プログラムが動きます. g8 コマンドの引数に typesafehub/scala-sbt を指定してプロジェクトを作成した場合, "Hello, <project_name>" メッセージが出力されるだけのプログラムになっているはずです.

作成する Functor

今回作成する Functor は Important という名前にします. 普通の「クラスの圏」から「重要なクラスの圏」への函手というイメージになります. 今回持ち上げる射の例として length というものを選びます. 図式を書くと以下のようになります.

              lift(length)
Important[String] → Important[Int]
       ↑                ↑
       ↑                ↑
       ↑                ↑
     String       →     Int
                length

length: String => Int 函数は名前の通り「文字列の長さ」を返すものです. Important という Functor は「2重にする」函手です. 実体は Tuple2 に似た case class で, toString をちょっとイジってあります. これはソースコードを見た方が理解が早いでしょう.

実装

case class Important[T](val value: T) extends Product2[T, T] {

  def _1: T = value
  def _2: T = value

  override def toString: String = value.toString + ", " + value.toString

}

Important[String]    Important[Int]
       ↑                ↑
       ↑                ↑
       ↑                ↑
     String ...

準備

今回解説するソースコードは scalaz/Functor.scala です.

scalaz-seven ブランチのものであることに注意してください.

前置き

数学 (代数) は一応やってはいたものの, Scala や Scalaz のことを全然分からない状態からこの記事を書いています. そんな人間が Scalaz を読んだらどう見えるか? という実験記録のようなものがこの記事です.

圏論については「圏論の基礎」を参照しています. 用語などはそちらに倣いました.

数学の函手とは

最初にざっと圏論の概念の定義を並べておきます.

Scalaz の Functor とは

ここまでを踏まえて Scalaz の Functor が数学の函手になっているのか見ていきましょう.

trait Functor[F[_]]  { self =>
  ////

  /** Lift `f` into `F` and apply to `F[A]`. */
  def map[A, B](fa: F[A])(f: A => B): F[B]

  // derived functions
  ...

/** Lift `f` into `F` and apply to `F[A]`. */
def map[A, B](fa: F[A])(f: A => B): F[B]

F[A] → F[B]
 ↑      ↑
 A   →  B

A → B
  f

  F[A]   F[B]
F ↑    F ↑
  A ...