Mifare Classic と FeliCa FCF 同時対応

SONY FeliCa の秘密主義と SONY の NFC リーダの SDKをあんまり売る気のないのか？という代理店にちょっと途方にくれたが，研究家の方々がインターネット上に公表している成果（1, 2, 3 ほか）を参考にして，Adafruit 等から購入できる PN532 / I2C をつかったリーダで読み取りが可能になった．SONY の現行最新 NFC チップでもほぼ同じコマンドシーケンスなので USB タイプや RCS620S でも使えるだろう．

サービスコードの違うバージョン？やバイトオーダーが仕様書と違う記載があったりしたが，結局 PN532 のスルー通信コマンド InCommunicateThru で FeliCa カードの仕様書通りのコマンド送信とレスポンスを実装して，
(1) Polling をシステムコード ANY 0xFFFF ではなくEdy/FCF の 0x00FE でかける．Suica 系は ANY でも読めてしまう．．．Edy つき FCF カードは Edy が読めれば FCF も読めるということだろうか．
(2) そうすると Service Request で FCF のサービスコード 0x1a8b が確認できる．最初に見たページのいくつかでは Edy は 0x1317 ? だったが，手持ちのカードではサービスがなかった．別のページのソースコードにあった 0x170F でやっとサービスを確認できた．．．
(3) そして Read Without Encryption で 0 番から数ブロックを読めばいいのだった．FeliCa カードのコマンド仕様どおり２バイトのブロック番号指定で最初のバイトの msb はビットをたてるから 0x80, 0x00, 0x80, 0x01, ... となる．

これで，やっといまだに半角カナ文字が使われている世界にたどりついた．

しかし仕様を公開しない，ＳＤＫでお金をとる，というのでセキュリティがはたしてまもれるものなのか．．．世界中でつかわれ，かつ脆弱という主張がある Mifare Classic でも，いまだ電子チケットシステムがやられたという話はきかないけれども．
次期チップは NXP と SONY で共同開発するという話もあるようなので期待したいですね．

現実に帰納法の証明をつけパラドックスと喜ぶ人々

簡単に言うと数学屋（の一部？多く？）である．
「ご冗談でしょう，ファインマンさん」には，「彼らはさんざん考え議論して証明できると『うんうん明らかだ』とうなずきあっている．彼らが一生をかけたとしてもできることといえば，明らかなことだけなのである」とある．これは clear という言葉の意味を使ったイヤミだが，実際そういう傾向がある．
数学を愛する方々がお好みの「たのしいお話」の一群に，帰納法を使った「パラドックス」がある． 「人間みなハゲである」，「ごはんは何杯でも食べられる」というのを帰納法によって証明できる，というものである．Wikipedia によればギリシャ時代からあって欧米では Sorites Paradox と呼ばれるそうである．
「頭に髪の毛をいっぱいはやしている男はハゲではない．さて，毛を一本抜いたところでハゲではない男がハゲになることはない．だがしかしながらこの作業を続けるとハゲになるのは明らかではないか．」
「砂粒が山とある砂の山から，砂粒を一つ二つ取り去っても，砂の山であるのにかわりない．しかしこの作業を続け砂粒一つになれば，砂の山ではないではないか．」
これらのいにしえの問答のネタを数学的帰納法の証明に使って，「何本抜いてもハゲにならない」とか，「ごはん（米）はどれだけ食べてもおなかがいっぱいにならない」という話にすると，おもしろいのだそうである． そんなことよりギリシャやローマ時代から男性にとってハゲというのが悲哀の源であるのに変わりがないということのほうが興味深いと思うが，それはいいとしても．
sorites paradox は，ハゲとか砂の山といった言葉の曖昧さからおきる逆説だということになっているようだが，そんな数学は不完全な理論体系である，的な小難しいしかしわかりきっている議論をする必要すらないと思われる． というか，数学屋は，不思議でも何でもないことを，パラドクスと呼んで不思議がってよろこんでいるだけだ．

１．「ごはんはどれだけ食べてもおなかいっぱいにならない」
主張： 「今，おなかいっぱいではないとする．このとき，ご飯（米）を一粒を食べてもおなかいっぱいにならない． すると数学的帰納法により，ご飯をどれだけ食べても，いつまでもおなかいっぱいにならないではないか！」
あたりまえだ！ ご飯を一粒ずつ食べていたら，いつまでも，おなかいっぱいにはならない．やってみたらわかるだろう．ご飯（米）以外のものを隠れて食べたら当然おなかいっぱいになるから，まあ２〜３日ご飯ばかり食べてみればいい．ご主張どおり，ご飯を一粒ずつ食べてもらう．ネットで調べると，茶碗一杯で３２００〜３８００粒ほどであるらしい．訓練すれば，くっついてかたまりになっていても１秒に一粒ぐらい確実に食べられるだろう．ご飯茶碗一杯ではカロリーもたりぬだろうから，一食ごとに２〜３杯食べていただく．一食につき２〜３時間かかることになるだろうか．ほかの生活は，夜寝るとか仕事とか，普段通りにしていたら，食事の時間が足りずにどんどんひもじくなっていくだろう．
一粒ずつ食べるなんて，と自分でした主張に自分でけちをつけるなら，「ご飯を一杯食べてもおなかいっぱいにならない」と修正してみたらいい．非常に多くの人が主張には時によって同意できないと言うだろう．
生物は，代謝する（定義）．生きていればエネルギーを消費するし，エネルギーを得るために食べて消化する．食べるのにも，消化するのにも，時間がかかるのである．ファーブル昆虫記に，ヒジリオオフンコロガシ（スカラベ）の食事の観察が出てきたと思う．食べているそばから排泄するらしい．多くの野生動物は，いつも食べ物を探している． 数学は，時間の概念がないので，現実の話ができないのである．

２．「抜き打ちテストはできない」
主張： 「論理学の集中講義について，こんな掲示がされた：『来週月曜から金曜までのいずれかの日に，テストを抜き打ちで行う．その日をテストが行われる前にあらかじめ知ることはできないから，授業の期間中毎日しっかり勉強しておくように』．
これをみてある論理学が得意な学生が言った．『この抜き打ちテストは実施できない．木曜までにテストがなければ，金曜に行うことがあらかじめわかってしまうから，金曜にはできない．水曜までにテストがなければ，金曜にはテストができないから，木曜にするしかないことがあらかじめわかってしまい，木曜にもできない．同様に，水曜，火曜，そして月曜もできない．したがって，このような抜き打ちテストは不可能である．』 そうして安心していたところ，木曜に突然抜き打ちテストが行われた．」
あたりまえだ．まず抜き打ちテストが行われる日をあらかじめ知ることはできない，というのは，テストの日をテストが行われる前に論理的に導くことはできませんよ，ということであって，だから学生の結論「抜き打ちテストは実施不可能」という結論は，どの日にもテストが予想できない，という追認の結論を曲解しただけ． 論理的でなければ，あらかじめテスト日を予想をして，必ずあてることが可能である．これは，のむらしんぼ著「とどろけ一番」のプロテス３兄弟の奥義「トリプル答案固め」を応用すればいい． 集中講義も履修者は５名ぐらいはいるだろう．履修者を５名つのり，それぞれ月，火，水と一日ずつ予想することにする．すると，５人のうち一人は必ず「予想した日にテストが行われるので，前日にだけ勉強をすればいい」のだ．（それにしても，いくら誰も満点を取ったことがないほど難しいからといって，試験中に会話をしないでほしいプロテス三兄弟．．）
そもそも，この学生の論理で，金曜に抜き打ちのテストができないのは，木曜までにテストをしなかった場合だけ．木曜にテストをした場合，金曜はテストをしなくていいし，逆に抜き打ちでもう一回してもいいのである．テストが行われないまま金曜になった場合には金曜にテストをすると抜き打ちにならないというのは事実だが，それを金曜になる前に，水曜，火曜に，勝手に常に成り立つ事実として使うのはおかしい． 数学は，時間の概念がないので，現実の話ができないのである．

すみませんひさしぶりにイラッとしたので書きました．

ＬＥＤ照明の寿命４万時間とかあきらかにウソじゃないの

サンゴ水槽用の 27W ＬＥＤ照明の一つが点灯しなくなった．使い出してまだ一年少々ではないか．同じ 27W 型３つのうち，一つは購入して１月前後で点灯しなくなりメーカーに送って交換．別の種類 9W ブルーは３つとも一年ほどで点灯しなくなった．いずれも設計寿命は４万〜５万時間．一日１２時間点灯なら買ったうちの半分ぐらいは１０年もちそうなものである．
パソコンの電源や周辺機器が動作しなくなる故障で多いのは，スイッチング電源の電解コンデンサの寿命によるものである．電源モジュールの中のふくらんだ電解コンデンサを見つけて，それを新品と交換すると元気に復活する．つい先日もキューブＰＣのＡＴＸーＦｌｅｘ電源を復活させたばかり．

しかしＬＥＤ照明のスイッチング電源は，電解コンデンサの交換程度で復活したことがない．結構高価なものなので，点灯しなくなったものは電源モジュールを取り外して穴をあけ，ＡＣ／ＤＣアダプタで外からＤＣを供給，ＬＥＤ用定電流モジュールをかませて点灯させ使っている．タップはアダプタだらけになった．

まるでダメ電源（右上）と改造後のＬＥＤ照明．

近頃は白熱電球型の白色ＬＥＤ照明が増えている，それらも寿命４万時間をうたっているが，どう考えてもおかしい．水槽用ほどあかるくないので大丈夫かもしれないが，やはりスイッチング電源を使っているはず．電解コンデンサの寿命は、長寿命タイプでも１万時間，普通は４〜５千時間である．しかも電源回路内蔵コンパクトなのでかなり熱くなる．一年でだめになるということは，寿命は４〜５千時間ということだ．４〜５万時間もつのは，ＬＥＤ素子モジュールだけのはず．
と思っていたら，「LED照明器具の光源の寿命はLEDモジュールの寿命のことです。（社）日本照明器具工業会にて2010年7月に改正された「JIL5006：白色LED照明器具性能要求事項」の中で，．．．」という記述をみつけた．ＬＥＤモジュールって，光る部分だけなのか？この基準自体はどこのメーカーも同じだとおもうが，省メンテナンスをうたうのはおかしくないか．
世に出回って１〜２年もしないうちから４年と表示して，設計寿命であるから保証するわけではありません，というならなんのために表示するのだろう．確率統計的な推定をするのだろうが，推定した方々のモデルがおかしくない保証はどこにあるのだろう．
故障検定という分野で身近にいる方は，「授業の評価は年々よくなっている」というタイトルがグラフにつけられ調査した期間のうち最後の数年だけで縦軸を引き延ばしたグラフを分析結果として発表していた．アンケート回答の選択肢の番号，程度をあらわす数値ではないもの，を平均したグラフ．インフル騒ぎのときは，流行シミュレーションによって厚労省が発表している感染率に収束するグラフを出していたが横の時間軸に目盛がなくいつ収束するのかわからないのが残念だった．機器の故障が相次いだときは，調査をさせて「これからも故障機器はふえる」という結果出していたそうだ．

照明の寿命がきたと判断するのは点灯しなくなるか明るさが７０％を切ったときだそうだが，それは照明器具として評価するものではないのか．メーカー創始者の業績を振り返っても，照明は電気機器メーカーの魂の源じゃないのか．