untitled: 11月 2010

自分にとって憲法は生まれたときから当然のようにあって、それ故に憲法がどうやって出来上がったのかという基本的なところに興味を持った事はありませんでした。

今回この本を手に取ったのはそういった理由からでは決してなく、ネットで著者である小室直樹氏が亡くなられたという記事で興味を持ったからでした。

氏のwikipediaからもわかる通り、小室直樹さんは理学部の出身でありながら、多くの学問を修められました。また、発言にも過激な所があるようで、そういった要因が私の興味を掻き立て本書を手にとった、という訳です。

憲法とはそもそも何なのか、という問いについて説明が論理的に、かつ易しく書かれているため、私のように事前知識がない人でもスラスラと読めます。

本書は憲法の成立について、主にキリスト教を軸として論を進めていきます。
なんでキリスト教？と思いましたが読んでいくと目から鱗。

確かに憲法が成立するには、民主主義、資本主義が誕生するにはキリスト教が必要だったのだと納得させられます。

それと同時に本書のタイトルが「日本人のための憲法原論」であることが理解できます。

無宗教である我々が憲法について理解をするにはキリスト教やヨーロッパの歴史を学ぶ事はさけて通れません。その事を本書は教えてくれます。

一見関係ないトピックが論を進めていくと憲法の成立に深く関わっていく様子はまるで次第に謎が解き明かされていく推理小説のようでもあります。

ページ数は多いのですが、細かく節が区切られておりテンポよく読み進められます。

所謂「教科書的」な憲法に関する知識を身につけることは出来ませんが、それ以前の問題として、憲法を学ぶ方に是非最初に手に取って欲しい本だと思います。

日本人のための憲法原論

posted with amazlet at 10.11.14

小室直樹
集英社インターナショナル
売り上げランキング: 10695

Amazon.co.jp で詳細を見る

次のような画像処理をandroidでやってみましょう。

画像を読み込む
平均値フィルタをかけて、画像をぼかす
処理をした画像を表示する

今回はこの画像をぼかして（平滑化して）みようと思います。

ソース

package com.android.avg_filter;

import android.app.Activity;
import android.graphics.Bitmap;
import android.graphics.BitmapFactory;
import android.graphics.Color;
import android.os.Bundle;
import android.widget.ImageView;

public class main extends Activity {
 /** Called when the activity is first created. */
 @Override
 public void onCreate(Bundle savedInstanceState) {
  super.onCreate(savedInstanceState);
  setContentView(R.layout.main);

  // 1. 画像を読み込む
  Bitmap src = BitmapFactory.decodeResource(getResources(), R.drawable.lenna);

  // 2. 平均値フィルタをかけて、画像をぼかす
  Bitmap dst;
  dst = avgFilter(src);

  // 3. 処理をした画像を表示する
  ImageView iv = (ImageView)findViewById(R.id.ImageView01);
  iv.setImageBitmap(dst);
 }
 
 // 画像をぼかす（平滑化する）メソッド
 private Bitmap avgFilter(Bitmap src) {
  Bitmap dst = Bitmap.createBitmap(src.getWidth(), src.getHeight(),Bitmap.Config.ARGB_8888);
  int width = src.getWidth();
  int height = src.getHeight();
  
  // 出力画像の初期化処理
  int initpixels[] = new int[width * height];
  dst.setPixels(initpixels, 0, width, 0, 0, width, height);

  // カーネルの宣言
  double[][] kernel = {
    {1.0/9.0, 1.0/9.0, 1.0/9.0},
    {1.0/9.0, 1.0/9.0, 1.0/9.0},
    {1.0/9.0, 1.0/9.0, 1.0/9.0}};


  // 処理を行う
  int dstpixels[] = new int[width * height];
  for(int i = 1; i < width - 1; i++){
   for(int j = 1; j < height - 1; j++){
    double red = 0.0;
    double green = 0.0;
    double blue = 0.0;
    
    // 畳込み演算
    for(int inR = -1; inR <=1; inR++){
     for(int inC = -1; inC <=1; inC++){
      red += kernel[inR+1][inC+1]*Color.red(src.getPixel(i+inR, j+inC));
      green += kernel[inR+1][inC+1]*Color.green(src.getPixel(i+inR, j+inC));
      blue += kernel[inR+1][inC+1]*Color.blue(src.getPixel(i+inR, j+inC));
     }
    }
    dstpixels[i + j * width] = Color.rgb((int)red, (int)green, (int)blue); 
   }
  }
  
  // 画素値をセットする
  dst.setPixels(dstpixels, 0, width, 0, 0, width, height);
  return dst;
 }
}

結果はこちら

それではポイントを見ていきましょう。

// 1. 画像を読み込む
  Bitmap src = BitmapFactory.decodeResource(getResources(), R.drawable.lenna);

では res/drawable に入っている lenna.jpg からBitmapインスタンスを生成しています。

// dstの初期化処理
  int initpixels[] = new int[width * height];
  dst.setPixels(initpixels, 0, width, 0, 0, width, height);

では出力画像の初期化を行っています。
initpixelsの型はint[]で、その大きさは総画素数(width * height)に等しいです。
ちなみにandroidではひとつの画素値はintで与えられており、
24bit～17bitまでが赤、16bit～9bitまでが緑、8bit～1bitが青となっています。
従ってある画素値をvalueとしたとき、RGB成分はそれぞれ

// RGBの取得
  int R = (value & 0x00FF0000) >> 16;
  int G = (value & 0x0000FF00) >> 8;
  int B = (value & 0x000000FF);

とすることで取得できますね。

最後に計算結果をBimapインスタンスにセットします。

// ピクセル値をセットする
  dst.setPixels(dstpixels, 0, width, 0, 0, width, height);

これにはBitmap.setPixelsを利用します。
setPixelsは7個の引数があります。
Referenceをみると次のようになっています。

public void setPixels (int[] pixels, int offset, int stride, int x, int y, int width, int height)

多くの場合、計算した結果の画素数とそれをセットしたいBitmapのインスタンスの画素数は同じであると思うので,
offset = 0,
Stride = 画像の横方向の画素数,
width = Strideと一緒,
height = 画像の縦方向の画素数
でいいかと思います。

以上簡単な画像処理に関する解説でした。