ご当地カレー

春にこういうカレーを食べたのを忘れていました。

写真では立体感が出ませんが、真ん中はかなり尖ってます。10cm位かな。
ライスに乗っている青のりは雪のつもり？

コップを逆さにしてみると分かると思いますが、有名な山の側の道の駅です。

味はそれなり、カレーに浮いているポテトとニンジンが素人っぽい。


そういえば、写真は無いけど国会図書館の食堂の超大盛りが圧巻です。今度行くチャンスがあれば写真撮ってきますね。

恋の木神社

Upするのが遅くなりましたが、この夏はこんな所へ行きました。

・・・といってもここはいつもの通り道にあるんだけど、これまで知らなかった。
 NHKの72時間でも放送され、全国から参拝者が来るとか。

側には猿田彦も祭られていました。

KEK一般公開

ん十年ぶりにKEKの一般公開に行ってきました。KEKって今は「高エネルギー加速器研究機構」って言うんですね。
広い駐車場には関東のあちこちのナンバーの車が・・・アンテナの付いたアマ無線と思われる車も多かった。

広大な敷地に巡回バスが回っていますが、ほぼ満員状態。あちこちにあるビルの中（地中）に面白いのがいっぱいあって写真を載せたいんだけど、全てがデカすぎてスマホじゃぁ良い写真が撮れない。

これは高さ２ｍ位あるクライストロン。こんなんがズラ～っと並んでいるのはまだ可愛い方。
ちなみにこれの出力は1個で４０MWなんだけど2.8GHzで４μｓということは1パルスは１０サイクル程度。繰り返し５０Hzということは平均電力８KWか。

324MHz、こんな低い周波数の導波管なんて初めて見た。

一応それらしい写真も撮れました。
これは電子/陽電子の加速器。２ｍ程度の同じものが数百段繋がっているようでした。加速器と言っても速度は殆ど増えない。でもエネルギーは1段あたり１０MeV（だったっけ？）増える。相対論の効果で質量が無限に増えるから・・・目から鱗でした。

最先端の物理学を研究しているんだけど、その実体は工学の塊。しかも桁が違う。
高価な測定器もゴロゴロと川辺の石ころみたいに散らばっている。

宇宙の神秘を探るコライダー（衝突器？）はデカすぎて写真に入りませんでした。

いやぁ、ここに就職すればよかった。

一日歩き回ってクタクタに。

もなか

予約したうえで銀座のお店に行かないと買えない最中、4～５年ぶりに買いました。味は上品で値段もリーズナブル。ただし、ご覧の紙箱に直接入っているので、そのまま日が経つと乾燥してしまうそうでビニール袋に入れて保存してくださいとの事。それでも賞味期限は1週間ほど。

何でもJALのファーストクラスにこれが出るとか・・・。

ハムフェアにて 2016

今年のハムフェアは40周年ということで、おまけに缶バッジをくれた。

そして戦利品はこちら・・・ジャンク屋での売りは１８GHｚまで使える５W ３０ｄBのアッテネータということだった。本当は２０ｄBのが欲しかったんだけど、、、何度か悩んだ末に30dBでOKした。

で、帰って計ってみると減衰量は20dBではないか。
希望通りとはいえ、おかしいな～。

よく見ると、オスコネクタに刻印がある。拡大すると、

　　INMET 4B5W 20dB

とある。
ネットで調べるとカタログが出てきた。
それによると、DC-４GHｚ　５W　２０ｄB　というものだった。
希望にピッタリなんだけど、損した気分。

それにしてもハムフェアって、私を含めて老人会の様相を呈している。
参加者の平均年齢が知りたい。
ただ、老人がものすごく元気なのが凄い。

嵐の前の・・・

日本近傍を３つの台風がうろついている。

明日はその1つが関東に上陸との予報。台風の前日の夕焼けはいつも綺麗なんだけど、

今日も綺麗でした。

VDMって御存知ないとは思いますが

最近訳あって形式手法(Formal Method)を勉強している。形式手法とは数学的な考え方（数理論理学）をソフト開発やハード開発に持ち込み信頼性を確保する手法の総称。形式手法の歴史は長いが一部の人にしか知られてないと思う。

その中でも比較的取っつきやすいのが厳密さより実効性を優先するライトウェイトと呼ばれる手法であり、VDMはIBMが開発したその１つ。VDMには表現するモデルに対応してVDM-SL、VDM++、VDM-RTの3つの記述言語があり、最初のVSM-SLはISO規格にもなっている。VDM自体はロジックの記述に使えるが手足がほとんどない。数学の清い世界にI/O等の泥臭い話は馴染みにくい事は理解できる。でも実用に使うにはI/O等は避けて通れない。

VDMの開発環境としてEclipseの上に構築されたOvertureがフリーで使える。つまりVDMはJAVA-VMのバイトコードにコンパイルできる。守備範囲の広いJAVAと繋げて使うこともできるようだ。・・・このやり方はOverture User Guideの中に書いてあるがイマイチ分からなかった。

VDMとJAVAでは表現できる世界や規格の決め方が異なるから単純に繋げられないことはわかる。例えばJAVAの整数(long)に対応するVDMのデータ型には整数、自然数（2種類）の3種類ある。文字列の表現がVDMでは３通り可能・・・ってな具合。
結論から言うとVDMからJAVAを呼び出す場合と、その逆でやり方が全く異なった。これを解説すると長くなるから別の機会に。

・・・とりあえず