まず、「記録が見当たらない」は明白な虚偽です。そもそも、有田議員の質問で言及されている『災害教訓の継承に関する専門調査会報告書』自体が「政府内」の「記録」です。また、同報告書は震災について多くの一次資料・二次資料を引いています。その中では、虐殺のきっかけとなったデマの流布に政府が関わった事例、虐殺に政府・軍が直接関わった事例も触れられています。その内のいくつかは、同時代の「政府内」の「記録」です（p. 191, pp. 207-209, pp. 209-210）。

第4章混乱による被害の拡大第1節流言蜚語と都市（デマの流布について）
同第2節殺傷事件の発生（虐殺の発生について）
コラム８殺傷事件の検証（虐殺の事後検証について）

この報告書を取り上げた質問に対して「記録が見当たらない」と言っているわけですから、これは「理解不能」とか「怠慢」とかいう次元の話ではなく、あからさまな虚偽の強弁です。同報告書は、今年の4月に内閣府のサイトから一時的に削除されて、虐殺に関する情報を隠蔽する意図があるのではないか、という疑念を呼びました。今回の答弁は、この疑念をあらためて深めるものです。

また、「遺憾の意を表明する予定はない」との答弁は、正義への挑戦であり、被害者に対する冒涜です。政府答弁は単なる叙述ではなく、政治的行為としての言語行為なのだから、ここで政府は「遺憾ではない」という立場を表明したわけです。悲しいです。

最後に、一連の政府答弁に、歴史を直視し、生かそうという姿勢がまったく見受けられないことを懸念しています。危機の際に社会の周縁に位置する人々が攻撃されることは、古今東西、社会集団の大小を問わず普遍的な事象です *1 。それが他人事ではない証左として、私が住んでいる関東平野には、100年前の虐殺の歴史が染み付いています。そこから目を背けないことは、今の私たちの責務だと思います。

*1:念のため、だからといって個別の迫害が免罪されるわけではありません。迫害は偶然的な出来事ではなく、日常的な不正義の爆発的な現れです。

2017-05-09

海猫

月島では猫をよく見る。尾道や伊豆の下田にも猫がたくさんいた。海辺の町には猫が多いのかもしれない。

2017-05-07

伊勢参宮神乃賑

旅行

ようよう上がりましたわたくしが初席一番艘でございます。おあと二番艘に三番艘、四番艘に五番艘、御番僧にお住持に旗に天蓋、銅鑼に妙鉢、影灯籠に白張と申しますとこら葬礼の方で、てな具合にガチャガチャと始まりますのが上方噺の旅のお噂、「伊勢参宮神乃賑」、通称「東の旅」でございますが、わたくしは品川の宿から箱根の山を越えて、浜松名古屋を尻目に殺して、西へ西へのお伊勢参りでございます。その道中の陽気なこと！

宮巡り

初日に月夜見宮と外宮、二日目に月讀宮と内宮へと参りました。

外宮も内宮も拝殿がなく、本宮を拝むところには幕が張られていて、その先の垣根は門が閉まっていて、その先に本殿があって、裏には回れない。新約聖書の神殿の幕が裂けるシーンを思い出して、ははあ、となりました。

古市

内宮をお参りしたあと、お茶を飲んで赤福を食べて、ひとしきりゴロゴロしてからの帰り道、バスが「古市」の停留所に差し掛かりました。古市といえば昔の遊郭で、伊勢参りの旅人が精進落しに訪れて、ずいぶん繁盛したところだそうです。

思わず降りてひとめぐりしてみましたが、今はただの高台の住宅地で、集落の端っこの小さな資料館はもう閉館時刻を過ぎていました。

こんなもんかいなとブラブラして、唯一まだ営業しているという麻吉旅館に立ち寄ってみたところ、かつての妓楼のたたずまいをバッチリ残していました。

資料館は翌日に再訪しました。

言葉

伊勢のひとたちの言葉は、おおむね名古屋よりも大阪京都に近いようです。

ただ、バスの運転手さんは「お降りの方みえますか（いらっしゃいますか）」と言っていました。これは名古屋と同じです。

雀

伊勢の雀は東京の雀よりもシュッとしていて首が長い気がしました。気がしただけかもしれません。

2017-04-23

各言語のprintfはロケールに依存するか

C Java Golang Python Ruby Lua

言語やライブラリによっては、printf系関数の出力がロケールに依存する場合があります。たとえば、ロケールによっては小数点がカンマで出力される場合があります。

手元の各環境で調べたところ、次のとおりでした。

ロケールに依存する: POSIX, Java, Lua
ロケールに依存しない: Go言語, Python, Ruby

C (POSIX.1-2008, eglibc 2.19)

POSIXが定義するprintf関数の出力はロケールに依存します。

fprintf / POSIX.1-2008

// printf.c
#include <stdio.h>
#include <locale.h>

int main(void)
{
    setlocale(LC_ALL, "");
    printf("%g\n", 3.14);
    return 0;
}

$ gcc printf.c -o printf
$ LANG=da_DK.utf8 ./printf
3,14

Java (Java SE 8)

Javaのprintf系メソッドの出力はロケールに依存します。ロケールは引数として明示的に指定することもできます。

java.util.Formatter / Java Platform SE 8

public class Printf {
    public static void main(String[] args) {
        System.out.printf("%g%n", 3.14);
    }
}

$ javac Printf.java
$ LANG=da_DK.utf8 java Printf
3,14000

Golang (1.7.5)

Go言語のprintf系メソッドの出力はロケールに依存しません。

package main

// #include <locale.h>
import "C"
import "fmt"

const LC_ALL = 6

func main() {
    C.setlocale(LC_ALL, C.CString(""))
    fmt.Printf("%g\n", 3.14)
}

$ LANG=da_DK.utf8 go run printf.go
3.14

Python (2.7)

Pythonの%演算子の結果はロケールに依存しません。ロケールに依存した出力を行うためにはlocale.format関数を使います。

import locale

locale.setlocale(locale.LC_ALL, '')
print "%g" % 3.14

$ LANG=da_DK.utf8 python printf.py
3.14

Ruby (1.9.3)

Rubyのprintf系関数の結果はロケールに依存しません。マニュアルに明記はされていません。

Kernel.#format / Ruby 1.9.3 リファレンスマニュアル

require 'dl/import'

module Libc
  extend DL::Importer
  dlload 'libc.so.6'
  extern 'char *setlocale(int, const char *)'
end

LC_ALL = 6
Libc.setlocale(LC_ALL, '')
printf("%g\n", 3.14)

$ LANG=da_DK.utf8 ruby printf.rb
3.14

Lua (5.2.3)

Luaのstring.format関数の結果はロケールに依存します。ISO Cのsnprintfに従うものとして定義されています。

string.format / Lua 5.2 Reference Manual

os.setlocale("", "all")
print(string.format("%g", 3.14))

$ LANG=da_DK.utf8 lua printf.lua
3,14

2017-04-02

『はなればなれに』

映画

下高井戸シネマで初期ゴダールの『はなればなれに』を見ました。シャレオツでした☆

アンナ・カリーナのフォロワーはおおむね大好きだけど、アンナ・カリーナ自身にはあまり魅力を感じないんですけど、どうなんでしょうか。

2017-04-02

継続パズルyin-yangの回答

Ruby Scheme

Shiroさんに教えてもらったyin-yang puzzleの回答。

課題のプログラムは次の通りです。

(let* ([yin ((lambda (foo) (newline) foo) (call/cc (lambda (bar) bar)))]
       [yang ((lambda (foo) (write-char #\*) foo)
              (call/cc (lambda (bar) bar)))])
  (yin yang))

以下ネタバレ。

let*をlambdaと関数適用に分解して、名前をわかりやすくすると次のようになります。

((lambda (yin)
   ((lambda (yang)
      (yin yang))
    ((lambda (yang*) (write-char #\*) yang*)
     (call/cc (lambda (cc) cc)) ; (B)
     )))
 ((lambda (yin*) (newline) yin*)
  (call/cc (lambda (cc) cc)) ; (A)
  ))

注目するべき点は、Bで捕捉される継続では、yinになんらかの値が束縛されている、ということです。実際には、AかBで捕捉される継続のいずれかが束縛されます。Bの継続が束縛されている場合、その継続ではyinになんらかの値、具体的にはAかBで捕捉される継続のいずれかが束縛されており、Bの継続が束縛されている場合、その継続では……。

Aの継続が呼び出されると、改行して、引数で渡された値がyinに束縛されます。

Bの継続が呼び出されると、その継続が捕捉された時点でのyinへの束縛が再現され、アスタリスクが出力され、引数で渡された値がyangに束縛されます。

ステップを追うと次のとおり。

1. (newline), そしてAの継続がyinに渡される。ここで名前環境を{yin=A}と書く。
2. (write-char #\*), そしてBの継続がyangに渡される。このBの継続において、上述したとおり、yinにはAの継続が束縛されている。これを{yin=A, yang=B{yin=A}}と書く。
3. (yin yang)を呼ぶということは、(A B{yin=A})を呼ぶということ。Aに戻って(newline), そしてyin*, yinにはB{yin=A}が渡される。{yin=B{yin=A}}
4. (write-char #\*), そしてyangにはBの継続が渡されるが、このBの継続において、yinにはB{yin=A}が束縛されている。つまり{yin=B{yin=A}, yang=B{yin=B{yin=A}}}。
5. (yin yang)は(B{yin=A} B{yin=B{yin=A}})。Bに戻るが、そのときyinにはAが束縛された状態。(write-char #\*)を呼んで、yangには(yin yang)の引数であるB{yin=B{yin=A}}が渡される。{yin=A, yang=B{yin=B{yin=A}}}。
6. (yin yang)は(A B{yin=B{yin=A}})。Aに戻って(newline), そしてyinにはB{yin=B{yin=A}}が渡される。{yin=B{yin=B{yin=A}}}。
7. (write-char #\*), そしてyangにはBの継続が渡されるが、このBの継続において、yinにはB{yin=B{yin=A}}が束縛されている。{yin=B{yin=B{yin=A}}, yang=B{yin=B{yin=B{yin=A}}}}。
8. (write-char #\*), {yin=B{yin=A}, yang=B{yin=B{yin=B{yin=A}}}}
9. (write-char #\*), {yin=A, yang=B{yin=B{yin=B{yin=A}}}}
10. (newline), {yin=B{yin=B{yin=B{yin=A}}}}
11. (write-char #\*), {yin=B{yin=B{yin=B{yin=A}}}, yang=B{yin=B{yin=B{yin=B{yin=A}}}}}
12. (write-char #\*), {yin=B{yin=B{yin=A}}, yang=B{yin=B{yin=B{yin=B{yin=A}}}}}
13. ...

Rubyで書き直すと次の通り。

require 'continuation'

def let(v, &block)
  block[v]
end

let(lambda {|foo| puts ''; foo }[callcc{|bar| bar }]) {|yin|
  let(lambda {|foo| print '*'; foo }[callcc{|bar| bar }]) {|yang|
    yin[yang]
  }
}