あけましておめでとうございます！

2011年は地震があって，当たり前のことが当たり前ではないということを実感して，自分が何をすべきなのか考えさせられました．その中で，単著本の発売，准教授昇任，結婚と，いい方向に大きな節目のことが続きました．思えばすごい年でした．

特に准教授の件と結婚の件は，普段なかなか会えないような人も含め，いろいろな人にいろいろなことを言ってもらったりお祝いしてもらったりしました．本当にありがたく思いました．

一方で仕事の方については，自分としては実態は何も変わってなくて，自分のやってきたことへの不満・反省も多いので，何とも言えない気分にもなっています．そんなことを言ってもしょうがないので，2012年も粛々とがんばります！

来年は今まで以上に，いろいろな方々と一緒にインパクトのあることをやるチャンスが広がっているのが見えているので，それはありがたくめいっぱい活かします．その一方で自分の手を動かして大きなことをやるということも，今ならできると思っていることがあるので，どうにか時間を作ってやり遂げたいと思っています．今まで通り，「欲張り皮算用からの，無言実行」で．

とりあえず，すでに特定時期に集中しそうなのが見えている6個くらいの海外出張と，他の諸々の調整が今から心配なのですが・・・

というように今までと何も変わらない感じで，このブログの更新頻度だけが下がっていっている感じですが，今年もどうかよろしくお願いいたします．

近い方々には1ヶ月ほど前にお伝えしていたのと，twitterとfacebook上では朝に一通り皆様にご報告してたくさんの反応をいただいているのですが，こちらでも改めて．


本日11月1日付けで准教授となりました．

業界的には年功序列でもないし，助教というくらいの身分だと終身雇用でもないので、5年の任期が切れて就職活動をするというタイミングでした．が，結果として今の所属先で評価していただいて昇任ということになりました．なお，今は准教授でも任期付きが多いと思いますが，任期無しです．今でも，ほんといいのかね，と思いますが．

うちの機関の内部評価や外部採用のタイミングが夏で，内部なので早めに反映されて，11月というちょっと不思議なタイミングになっています．あと半年ほどは，部屋もそのままですし，兼任している大学院の方ではまだ助教のままだと思います．

「この年齢で」の前例など「上」をみると，やる気・申し訳なさ・危機感が数倍増した感じです．面接で弱点も当然見抜いた上で評価してもらえたこと，以前からこの若造に大きく投資してくれていることは，ほんと恵まれていると思います．

このブログのフィードを見て下さっているような近くの方々は，いいところも悪いところもいろいろ見えているのだろうなと思います．特に自分より若い方々には，とにもかくにも「こういうところは超えているぜ！ああいうところでも超えてやるぜ！」と思ってもらって，自分のすること・位置づけを決めて日々進んでいくときに何かしら一つの参考になればと思います．


というわけでこのブログのバージョンも3.0に上がりました．実は助教になったときに2.0にして今まで1年に0.1上げていたのです．それではもう無理な気もする（10年後，何の区切りでもないのに4.0になってしまうかも？次は何？次の次は何？）ので考えます．まぁ来年仕事辞めて4.0になってたり人生何があるかわからないでしょうけどね．

twitter（＆facebook）でしょうもないことを書いてばかりですが，このブログも役に立つことをもっと日々書きたいです．と5年前に助教になったときに書いている気がしますが，まぁほどほどに．

もう帰ってきました．

例によってお仕事の話は割愛．思ったより収穫があってよかったです．


食べてばっかりいたわけじゃないですが．．．．

大学の食堂でまさかのアンコウ．


シャレオツなお店でフォアグラ，お肉，ミルフィーユ．




お土産はカシスとか各種の味のマスタード．


まさかのSOYJOYがパリ進出してました．

4ヶ月ぶりの海外出張．パリ．ここの記事をもとに数えてみたら1年ぶり，累計10回目でした．twitterができてからこっちに全然書かなくなりましたが，出張のときくらい書きましょうかね．でも空き時間がほとんどなく，行って用務を終えたらすぐ帰ってくるので，料理の写真くらいしか出てこないと思いますけど．

先週表参道のレストランでやってきました．

お越しいただいた皆様ありがとうございました！
場所はわかりづらいし，いろいろどたばたしたのですが，料理とワインが好評だったようで何よりです．
自分も久しぶりに食べたら，記憶の中のものよりかなりおいしかったです．

かなり人数を絞ったので，お呼びできなかった皆様，すいませんがまたの機会に紹介させて下さい！



自分の写った写真をこんなに出すのはたぶん最初で最後．人生で一番恥ずかしい儀式だったのでもう何も恥ずかしくない．


これで今年の重要報告３つ目ですが，まだあります．後日．

いまだにやっぱり「形式手法とは？（きちんと聞きたい）」というくらいのニーズをぶつけて下さる産業界の方々が多いのと，かといってこういうWebサイトで読み物を提供するだけだと何とも言えないことが多いので，「実際に触ってみる」入門セミナーをやらせていただくことになりました．

詳しくはこちら．

ありきたりな入門だけではなく，ついに和訳本が出たAlloyも含めて様々な手法を俯瞰するとか，最近よく整理されているガイダンスや応用事例集を俯瞰するとか，そういうことも要望が多いのでこの機会に整理する予定です．


なお，VDM++本は明日が発売日です．Amazonで買うと数日前にフライングゲットできたとの報告を受けています．そういう方がいらっしゃったことがありがたいです．

自分は出版社から先週もらっていたので，早速秋葉原のキンコーズに持ち込んで105円できれいにばらばらにしてもらいました．初めての自炊です．最後の方の校正何往復かはずっと紙ベースだったので，完成版はファイルとしては持っていないのですよね．もちろん個人的な利用のため（ぱっと内容確認したり検索したりするため）ということで．

今日入籍しました．正確には，「今日入籍した」ということで明日手続きが進められるように，市役所の守衛さんに書類を渡してきました．

7/18なので，「ないわー」の日と覚えます．

普段会う方々にはたいてい話していると思います．普段会っていなくて「もっとちゃんと話せ！」という方は，ぜひお会いしましょう．

近代科学社からVDMの本を出させていただくことになりました．監修者の九大荒木先生には本当にお世話になりました．27日発売です．


本という媒体では厳しいところ，例えば最新のツールの具体的なことや記述例のバリエーションについては，関連してWebサイトも簡単に作りました．Eclipseベースの新しいツールであるOverture IDEの利用法説明も含め，細かいマニュアルを見る段階に行く前に必要になるところと実際によく聞かれる（はまりやすい）ところは一通り書きたいと思っています．まぁこの辺は単に，どうせ年に何度も，そして毎年聞かれるから（かといって全部予め話すことは到底できないから）なんですけどね．


こういうところは，トップエスイーや日科技連SQiPなどで，多くの産業界の方々と関わるいろいろな機会をいただき，楽しくやらせていただいております．現場の実態とニーズ（あと偉そうですがレベル）が実感できるというのは本当に重要なことだと思います．

一方，こうやってその分野に浅くて国際的にImpact Factorの高いようなことを成し遂げたわけでもないぽっと出の人が，歴史ある当たり前のもの（コンピュータ科学がわかっていれば＆英語でアンテナを張れば何てことはないもの）を日本語で解説し直すようなことで，こんなに目立ってしまうというのはどうなの？とも正直思っています（「日本のレベルが」という偉そうなことではなくて，自分自身の価値と位置づけについて）．

もちろんサービスコンピューティング関連の研究は，今はやはりメインとして，方向性修正も含め進めています．一方，（関連したソフトウェア工学周りの方の）研究にも遅まきながら手を出し始めましたが，やっぱり片手間になってしまっているので，もっともっと時間をかけて世界に通じる結果を出さなければならない，ということが明らか．まぁがんばります．

しょうもない記事．

今日は日帰りで名古屋．これからの数年，下手すると10年，20年にかかわる（と勝手に思っている）大事な議論をしにいったつもり．普段Skypeのところ物理的に会いに行ってよかったです．春には外に見える動きになると思います．


名古屋，食事＆お土産という観点では，アイルランドよりずっと楽しみにして行っていたりします．

なぜか突然喫茶マウンテンのことを思い出して調べたら，もろに最寄り駅でした．30分くらい早く着いたのでGoogle先生に「喫茶店」と聞いたら全推しされました．知らない方は，まぁ，「甘口抹茶小倉スパ」が有名なメニューだったり，ご飯に豆腐となすを乗せて黒蜜かけて「甘口マーボー丼」とか言い出したりお店です．
→ よくまとまっているサイトさん

そんないわゆる「登山」をするほどもうネタに体力をかけてないので，お昼は普通に名古屋駅地下で鶏ひつまぶし．夜は風来坊で手羽先．山ちゃんの方は神田神保町に3店舗あるのでいいのですが，風来坊は初．これで，細かすぎて伝わらないモノマネの「風来坊の手羽先」と「山ちゃんの手羽先」がわかるようになった，のかもしれない．

無事帰ってきました．毎年恒例の7月アメリカ行き（今年はワシントン）は，今年は箱根での大事なお仕事に上書きされてしまったので，海外出張はたぶん秋までないです．

アイルランドらしいお土産はなかなかないっぽいです．先々週来たときはBaileysと紅茶．

今回は噂のこれ．