4ヶ月ぶりの海外出張.パリ.ここの記事をもとに数えてみたら1年ぶり,累計10回目でした.twitterができてからこっちに全然書かなくなりましたが,出張のときくらい書きましょうかね.でも空き時間がほとんどなく,行って用務を終えたらすぐ帰ってくるので,料理の写真くらいしか出てこないと思いますけど.
先週表参道のレストランでやってきました.
お越しいただいた皆様ありがとうございました!
場所はわかりづらいし,いろいろどたばたしたのですが,料理とワインが好評だったようで何よりです.
自分も久しぶりに食べたら,記憶の中のものよりかなりおいしかったです.
かなり人数を絞ったので,お呼びできなかった皆様,すいませんがまたの機会に紹介させて下さい!
自分の写った写真をこんなに出すのはたぶん最初で最後.人生で一番恥ずかしい儀式だったのでもう何も恥ずかしくない.
これで今年の重要報告3つ目ですが,まだあります.後日.
お越しいただいた皆様ありがとうございました!
場所はわかりづらいし,いろいろどたばたしたのですが,料理とワインが好評だったようで何よりです.
自分も久しぶりに食べたら,記憶の中のものよりかなりおいしかったです.
かなり人数を絞ったので,お呼びできなかった皆様,すいませんがまたの機会に紹介させて下さい!
自分の写った写真をこんなに出すのはたぶん最初で最後.人生で一番恥ずかしい儀式だったのでもう何も恥ずかしくない.
これで今年の重要報告3つ目ですが,まだあります.後日.
いまだにやっぱり「形式手法とは?(きちんと聞きたい)」というくらいのニーズをぶつけて下さる産業界の方々が多いのと,かといってこういうWebサイトで読み物を提供するだけだと何とも言えないことが多いので,「実際に触ってみる」入門セミナーをやらせていただくことになりました.
詳しくはこちら.
ありきたりな入門だけではなく,ついに和訳本が出たAlloyも含めて様々な手法を俯瞰するとか,最近よく整理されているガイダンスや応用事例集を俯瞰するとか,そういうことも要望が多いのでこの機会に整理する予定です.
なお,VDM++本は明日が発売日です.Amazonで買うと数日前にフライングゲットできたとの報告を受けています.そういう方がいらっしゃったことがありがたいです.
自分は出版社から先週もらっていたので,早速秋葉原のキンコーズに持ち込んで105円できれいにばらばらにしてもらいました.初めての自炊です.最後の方の校正何往復かはずっと紙ベースだったので,完成版はファイルとしては持っていないのですよね.もちろん個人的な利用のため(ぱっと内容確認したり検索したりするため)ということで.
詳しくはこちら.
ありきたりな入門だけではなく,ついに和訳本が出たAlloyも含めて様々な手法を俯瞰するとか,最近よく整理されているガイダンスや応用事例集を俯瞰するとか,そういうことも要望が多いのでこの機会に整理する予定です.
なお,VDM++本は明日が発売日です.Amazonで買うと数日前にフライングゲットできたとの報告を受けています.そういう方がいらっしゃったことがありがたいです.
自分は出版社から先週もらっていたので,早速秋葉原のキンコーズに持ち込んで105円できれいにばらばらにしてもらいました.初めての自炊です.最後の方の校正何往復かはずっと紙ベースだったので,完成版はファイルとしては持っていないのですよね.もちろん個人的な利用のため(ぱっと内容確認したり検索したりするため)ということで.
今日入籍しました.正確には,「今日入籍した」ということで明日手続きが進められるように,市役所の守衛さんに書類を渡してきました.
7/18なので,「ないわー」の日と覚えます.
普段会う方々にはたいてい話していると思います.普段会っていなくて「もっとちゃんと話せ!」という方は,ぜひお会いしましょう.
7/18なので,「ないわー」の日と覚えます.
普段会う方々にはたいてい話していると思います.普段会っていなくて「もっとちゃんと話せ!」という方は,ぜひお会いしましょう.
近代科学社からVDMの本を出させていただくことになりました.監修者の九大荒木先生には本当にお世話になりました.27日発売です.
本という媒体では厳しいところ,例えば最新のツールの具体的なことや記述例のバリエーションについては,関連してWebサイトも簡単に作りました.Eclipseベースの新しいツールであるOverture IDEの利用法説明も含め,細かいマニュアルを見る段階に行く前に必要になるところと実際によく聞かれる(はまりやすい)ところは一通り書きたいと思っています.まぁこの辺は単に,どうせ年に何度も,そして毎年聞かれるから(かといって全部予め話すことは到底できないから)なんですけどね.
こういうところは,トップエスイーや日科技連SQiPなどで,多くの産業界の方々と関わるいろいろな機会をいただき,楽しくやらせていただいております.現場の実態とニーズ(あと偉そうですがレベル)が実感できるというのは本当に重要なことだと思います.
一方,こうやってその分野に浅くて国際的にImpact Factorの高いようなことを成し遂げたわけでもないぽっと出の人が,歴史ある当たり前のもの(コンピュータ科学がわかっていれば&英語でアンテナを張れば何てことはないもの)を日本語で解説し直すようなことで,こんなに目立ってしまうというのはどうなの?とも正直思っています(「日本のレベルが」という偉そうなことではなくて,自分自身の価値と位置づけについて).
もちろんサービスコンピューティング関連の研究は,今はやはりメインとして,方向性修正も含め進めています.一方,(関連したソフトウェア工学周りの方の)研究にも遅まきながら手を出し始めましたが,やっぱり片手間になってしまっているので,もっともっと時間をかけて世界に通じる結果を出さなければならない,ということが明らか.まぁがんばります.
本という媒体では厳しいところ,例えば最新のツールの具体的なことや記述例のバリエーションについては,関連してWebサイトも簡単に作りました.Eclipseベースの新しいツールであるOverture IDEの利用法説明も含め,細かいマニュアルを見る段階に行く前に必要になるところと実際によく聞かれる(はまりやすい)ところは一通り書きたいと思っています.まぁこの辺は単に,どうせ年に何度も,そして毎年聞かれるから(かといって全部予め話すことは到底できないから)なんですけどね.
こういうところは,トップエスイーや日科技連SQiPなどで,多くの産業界の方々と関わるいろいろな機会をいただき,楽しくやらせていただいております.現場の実態とニーズ(あと偉そうですがレベル)が実感できるというのは本当に重要なことだと思います.
一方,こうやってその分野に浅くて国際的にImpact Factorの高いようなことを成し遂げたわけでもないぽっと出の人が,歴史ある当たり前のもの(コンピュータ科学がわかっていれば&英語でアンテナを張れば何てことはないもの)を日本語で解説し直すようなことで,こんなに目立ってしまうというのはどうなの?とも正直思っています(「日本のレベルが」という偉そうなことではなくて,自分自身の価値と位置づけについて).
もちろんサービスコンピューティング関連の研究は,今はやはりメインとして,方向性修正も含め進めています.一方,(関連したソフトウェア工学周りの方の)研究にも遅まきながら手を出し始めましたが,やっぱり片手間になってしまっているので,もっともっと時間をかけて世界に通じる結果を出さなければならない,ということが明らか.まぁがんばります.
しょうもない記事.
今日は日帰りで名古屋.これからの数年,下手すると10年,20年にかかわる(と勝手に思っている)大事な議論をしにいったつもり.普段Skypeのところ物理的に会いに行ってよかったです.春には外に見える動きになると思います.
名古屋,食事&お土産という観点では,アイルランドよりずっと楽しみにして行っていたりします.
なぜか突然喫茶マウンテンのことを思い出して調べたら,もろに最寄り駅でした.30分くらい早く着いたのでGoogle先生に「喫茶店」と聞いたら全推しされました.知らない方は,まぁ,「甘口抹茶小倉スパ」が有名なメニューだったり,ご飯に豆腐となすを乗せて黒蜜かけて「甘口マーボー丼」とか言い出したりお店です.
→ よくまとまっているサイトさん
そんないわゆる「登山」をするほどもうネタに体力をかけてないので,お昼は普通に名古屋駅地下で鶏ひつまぶし.夜は風来坊で手羽先.山ちゃんの方は神田神保町に3店舗あるのでいいのですが,風来坊は初.これで,細かすぎて伝わらないモノマネの「風来坊の手羽先」と「山ちゃんの手羽先」がわかるようになった,のかもしれない.
今日は日帰りで名古屋.これからの数年,下手すると10年,20年にかかわる(と勝手に思っている)大事な議論をしにいったつもり.普段Skypeのところ物理的に会いに行ってよかったです.春には外に見える動きになると思います.
名古屋,食事&お土産という観点では,アイルランドよりずっと楽しみにして行っていたりします.
なぜか突然喫茶マウンテンのことを思い出して調べたら,もろに最寄り駅でした.30分くらい早く着いたのでGoogle先生に「喫茶店」と聞いたら全推しされました.知らない方は,まぁ,「甘口抹茶小倉スパ」が有名なメニューだったり,ご飯に豆腐となすを乗せて黒蜜かけて「甘口マーボー丼」とか言い出したりお店です.
→ よくまとまっているサイトさん
そんないわゆる「登山」をするほどもうネタに体力をかけてないので,お昼は普通に名古屋駅地下で鶏ひつまぶし.夜は風来坊で手羽先.山ちゃんの方は神田神保町に3店舗あるのでいいのですが,風来坊は初.これで,細かすぎて伝わらないモノマネの「風来坊の手羽先」と「山ちゃんの手羽先」がわかるようになった,のかもしれない.
昨日は1日Industry Dayに参加.形式手法活用に関する産業界のレベルというか,それなりの時間を経ての使い込み方が違いすぎて考えさせられます.先々週会った現地の大学の人と議論もして,何人か話したかった人たちを捕まえて諸々の話と約束もしてきて,思っていた以上に収穫が多く満足.そういった話はおいおいお仕事の方で出していきます.明日が会議最終日ですがもう帰ります.
今さらながら大学周りの諸々写真.
ホテルの前.リムリックの中心部から離れて大通りに沿って住宅街がちびちびある感じ.何もないです.そして毎日晴れたり曇ったり雨が降ったり1時間単位でめまぐるしく変わります.
リムリック大学.何というか,広大な自然の中.
Living Bridge.すごくぐらんぐらん揺れます.そういう仕様なのでしょうが,311以降はちょっと嫌な感じ.
大学の建物とは思えないおしゃれさ.
大学内にパブがあります.日本ではありえないですかね.昨日はそこでバーベキュー大会でした.大学の子たち?がまたリバーダンスを見せてくれました.
今日の夜はバンケットでした.先々週と同じと思いこんでいましたが,全然違うCastleでした.お城に作った5つ星ホテル.
なにこれすごい.ちなみに午後8時.
ギリギリ24時前にホテルに戻る(今ココ).さすがにこの時間は暗いです.
帰りの飛行機が朝7時台なので,この酔っ払った状態で今から寝たら乗り過ごすこと間違いなし.
今さらながら大学周りの諸々写真.
ホテルの前.リムリックの中心部から離れて大通りに沿って住宅街がちびちびある感じ.何もないです.そして毎日晴れたり曇ったり雨が降ったり1時間単位でめまぐるしく変わります.
リムリック大学.何というか,広大な自然の中.
Living Bridge.すごくぐらんぐらん揺れます.そういう仕様なのでしょうが,311以降はちょっと嫌な感じ.
大学の建物とは思えないおしゃれさ.
大学内にパブがあります.日本ではありえないですかね.昨日はそこでバーベキュー大会でした.大学の子たち?がまたリバーダンスを見せてくれました.
今日の夜はバンケットでした.先々週と同じと思いこんでいましたが,全然違うCastleでした.お城に作った5つ星ホテル.
なにこれすごい.ちなみに午後8時.
ギリギリ24時前にホテルに戻る(今ココ).さすがにこの時間は暗いです.
帰りの飛行機が朝7時台なので,この酔っ払った状態で今から寝たら乗り過ごすこと間違いなし.
追記: Overture IDEの情報を求めて検索で来た方はこちらのページへどうぞ
たまにはお仕事の話も.
FM 2011に来ています.形式手法のトップ国際会議です.形式手法分野は,助教になって産業界向け教育活動を任されるようになってからちゃんと取り組むようになったのですが,さすがに研究でもそれなりの結果を出さなければなりません.研究のメインはサービスコンピューティングなのでかなりの片手間なのですが,ようやく「一流国際会議に論文を通す!」というところまで何とか来たくらい.FM 2011には全然間に合ってなかったですが...
今回は併設のOverture・VDMのワークショップで発表.今日一日の中で一番目新しいチャレンジングな話をしたはず(勝手にそう思っている).終了後に大御所が寄ってきて「これについて諸々話したい」と言ってもらえたのでまずはOKでしょうか.質疑で手抜き過ぎるひどい回答をしてしまいましたが...
VDMのコミュニティもちょっとclosedな感じでまずいかな,とずっと思っていましたが,怒濤のOverture IDEリリース,裏で進めている証明系や意味論定義の話,FP7でやっているリアルタイム性(離散系と連続系のハイブリッド)を扱う組み込み向けの話,聞くたびに大きく進んでいておもしろいですね.日本(だけ)で妙に流行っている感もありますがこれからどうなるやら.
夜はそのコミュニティの人たちとお食事.特にアイリッシュというわけではない普通の食事ですが,先々週来たときは食事の写真を載せてなかったので載せてみます.
traditionalだというクラムチャウダー.前菜ってレベルじゃない量.おいしかったです.
北の方に来たから,と安易にサーモン.意外に小さい(それでも日本人には多いですしジャガイモ4個付いてますが).普通においしかったですが,クラムチャウダーの中にクラムよりサーモンがたくさん入っていてかぶりました.
Puddingと呼ばれる何か.欧米のデザートの甘さには慣れていたつもりでしたが,こんなに甘いものは初めて.スポンジケーキをハチミツ+カラメルソースにどっぷり3時間付けておきました,って感じ.3分の1くらいでギブ.ヨーロッパの人もアイス部分しか食べてませんでしたし.
たまにはお仕事の話も.
FM 2011に来ています.形式手法のトップ国際会議です.形式手法分野は,助教になって産業界向け教育活動を任されるようになってからちゃんと取り組むようになったのですが,さすがに研究でもそれなりの結果を出さなければなりません.研究のメインはサービスコンピューティングなのでかなりの片手間なのですが,ようやく「一流国際会議に論文を通す!」というところまで何とか来たくらい.FM 2011には全然間に合ってなかったですが...
今回は併設のOverture・VDMのワークショップで発表.今日一日の中で一番目新しいチャレンジングな話をしたはず(勝手にそう思っている).終了後に大御所が寄ってきて「これについて諸々話したい」と言ってもらえたのでまずはOKでしょうか.質疑で手抜き過ぎるひどい回答をしてしまいましたが...
VDMのコミュニティもちょっとclosedな感じでまずいかな,とずっと思っていましたが,怒濤のOverture IDEリリース,裏で進めている証明系や意味論定義の話,FP7でやっているリアルタイム性(離散系と連続系のハイブリッド)を扱う組み込み向けの話,聞くたびに大きく進んでいておもしろいですね.日本(だけ)で妙に流行っている感もありますがこれからどうなるやら.
夜はそのコミュニティの人たちとお食事.特にアイリッシュというわけではない普通の食事ですが,先々週来たときは食事の写真を載せてなかったので載せてみます.
traditionalだというクラムチャウダー.前菜ってレベルじゃない量.おいしかったです.
北の方に来たから,と安易にサーモン.意外に小さい(それでも日本人には多いですしジャガイモ4個付いてますが).普通においしかったですが,クラムチャウダーの中にクラムよりサーモンがたくさん入っていてかぶりました.
Puddingと呼ばれる何か.欧米のデザートの甘さには慣れていたつもりでしたが,こんなに甘いものは初めて.スポンジケーキをハチミツ+カラメルソースにどっぷり3時間付けておきました,って感じ.3分の1くらいでギブ.ヨーロッパの人もアイス部分しか食べてませんでしたし.
ようこそ!
- 累計:
中の人(石川 冬樹)
情報系研究所の准教授(32歳)
神田・神保町付近
記事内容における意見・見解等は,所属機関によるものではありません.リンクはご自由にどうぞ.
記事検索
最新コメント
タグ
カテゴリ別
昔の記事へ