フォーレ四重奏団 ベストオブ、クラッシックにてフォーレ四重奏団の演奏がながれた、マーラー、フォーレ、ブラームスのピアノ四重奏だ。なかでもブラームスはすごい、今年最大の収穫です。帰りのバスでオンエアを聞いていてすごいなと思っていましたが、かえ…

Ressurectionを読了。結局、面白い本がキーなので、デバイスの変化はあまり関係なかったなあ。軽くなったのがメリットか。アマゾン日本進出といううわさもありますが、まあ日本には日本のリーダーということでBookPlace購入。Bookliveの端末です。 microSDに…

なんと、日経より、４月からアマゾンが日本で電子書籍を販売、どうもKindle Touch3GをDocomo回線をつかうらしい。３Gといっても本国と同じように、kindle storeとwiipedianのみの３G接続（wifiならブラウザが使える）を許すことになるんでしょうが、どこでも…

２年前にkindle2を買って、結構つかっているので、特に理由はないが最新のkindle touchをポチ 日本から買えるtouchは3G対応がないけども、まあ使わないか。 やっぱりtouchインターフェイスって興味ある。本体にホームボタンしかない。 国内配達がUPSさまのた…

今週のベストオブクラッシック(NHK)もマーラー没後１００周年づくし 交響曲 第７番 ホ短調“夜の歌”」マーラー作曲、（１時間２１分３９秒）、ベルリン・ドイツ交響楽団、インゴ・メッツマッハー、＜２０１０／３／２５＞（ポーランド・ラジオ提供） 「交響曲…

どうも、パーヴォ・ヤルヴィのベートーベンが強烈すぎる。ipodに転送して通勤時に聞いてみますが、なんというか、楽器のバランスもたぶん通常の物と違って、かといって古楽というふうでもなく、やたらメリハリがあり、静寂にみちた緊張と爆発、おそろしいこ…

NHK海外コンサートシリーズ(2/6)より、とりあえず練習にPCMで録音して、曲を楽章にあとから分割することを試行。１つ分割をいれるのに１０分ぐらいかかる様子。曲が長いとそれだけかかる傾向あり。パーヴォは、かの大ヤルヴィの子どもらしい。それにしても演…

藤原浜雄 バイオリン・リサイタル が今週の聞き物。 「バイオリン・ソナタ 第９番 イ長調 作品４７“クロイツェル”」ベートーベン作曲、2011/11/17 はブログによると、ピアノは奥さんの三上桂子。なかなか緊張感のあるお互いに相手の間合いがわかる掛け合いで…

さて、今週のNHKのBOC(ベストオブクラッシック）では、やたら弦楽器しかもバッハ入りが多かった。BOCは国内のリサイタルの録音を流すこともあって、ブログと付き合わせるとなかなかおもしろい。 アルバン・ゲルハルト、「無伴奏チェロ組曲 第１番 ト長調 Ｂ…

ネットジュークの使い方Tips。FMエアチェックの場合は、タイトル名取得が、後から（マニュアルで）になるので面倒だが、フォルダ（録音セッション毎に作られる）単位で一括タイトル名取得ができる。ところが、録音時オート設定で、MusicとTalkを分離させてお…

NAS-D500HDを買った。ジャスコにいくと、「展示品処分29,000円」と表示があり、つい買ってしまった。HDD160Gをもつ音楽コンポで、ネットワークにも接続でき、ラジオをHDDに録音できて、それをUSB経由で外に吸い出せるという仕組みをもっている、さらにDLNA対…

前の職場が解散しそう、あるいは社会人ドクター進学を許諾していただいた元社長の引退が６月にせまっているので、その旨を伝えるとあっさり印刷作業ＯＫの返事が返ってきた。ということで急遽九段下にある日本文書に発注。ハードカバー１０冊、ソフトカバー…

気晴らしに、flickr写真の取り込みのテストです。下の写真は、保育園からの帰りにトイレの明かりで怪しく光る、桜です。なんとも不思議な風景でした。 デジカメで撮ると、さらに不思議な絵となりました。

学位はもらいましたが、製本して収めなければなりません。それにむけて修正中。公聴会の指摘事項から、関連研究の紹介が少ないということと、普通のモデル検査とかそういう手法を使わなかった理由を書くということをします。関連研究の増強等で総ページは121…

学位論文製本はまだ作成中ですが、スケジュール的には学校を追い出されることに。２２日の学位授与式は仕事の日なので、出席は出来なかったので、後日郵送で送られるサテライトにて受理することになります。というわけで、朝から娘たちをつれて、田町に車で…

学生課から、製本論文の提出への案内があった、しかしまだ指導教官のＤ論修正指摘事項が反映できてない。 (1)関連研究の記述の補充、それに伴う文献リストの充実 (2)2章eMSCシステムから、3章プロセス代数(形式化)への橋渡 形式化を行う必要のある部分を限定…

うわさ？のkindleを米国アマゾンに発注、25日にオーダーして30日に着。 いろんなところで乗り継ぎできなくて滞留していたようです。って贅沢な。UPSを追跡すると、いったんUPSのハブ(LOUISVILLE)からアンカレッジ！経由で成田へ。 TOKYO, JP 2009/11/30 13:2…

18日に教授会が開かれ、そこで学位授与が決定されたと先生から連絡が来た。ついでに、公聴会の指摘事項を反映した「完璧な」論文にしてから製本せよ！という指示。完璧は無理だナー、とおもいつつだらだらも出来ないので年始を目処にがんばろう！４年３ヶ月…

2時間前にはいって、D論の修正原稿を審査委員の先生分印刷をしようとしますが、ここでコピー機が壊れてしまい、kinkosに飛んだりしてバタバタします。審査会本体は、もうぼろぼろ、まあD論をそのまま発表しているからしょうがないですね。とはいっても縦・横…

結局、家族の用事があって、修正する時間が夜中しかとれません。 充足性演算における非決定性の取り扱い タイポ等 は修正しましたが、 連動性の計算のところのロジックの不全 は厄介です。この日記をたどる（といっても９月）と、弱双模倣性は＋結合のところ…

縮めても64page。もうどうしようもありません。というところで、外部審査委員の先生よりコメントがかえってくる。なんて律儀な。 充足性演算における非決定性の取り扱い 連動性の計算のところのロジックの不全 タイポ等 の指摘。ありがたい、最初の非決定性…

マテリアルの取捨選択と、構造調整で80pageを65pageにできた。しかし目標は50毎強。 まだ10pageを消滅させるには、いろいろ削らないといけないし、Result, Discussionは補強は必要だ。というところで時間切れ。

スライドの修正は終了、といっても予備審査のものをupdateしただけ。IMRAD(Intro,Method,Result,and,Discussion)に従って見直すと、構造になってません。ただD論に書いてあることを書き並べただけ。課題(I)に対して、Methodを使い、必要ならば創造して(M)、…

予備審査から進んだところは制約の精査だったので考察と修正 nを決めるのが重要 検証の手間や実装でバッファ長をどれだけにすればよいかを考えるため nは他の制約とからめると決まる場合がある（横、縦チェーン） 具体的にnを追い詰めることを横・縦チェーン…

今日も時間を縫って、土曜朝マック。壁は"Softeware Abstraction"の本の絵柄と同じ絵の内装なのがご愛嬌。 縦チェーン・横チェーンの修正をあわせた 性質の考察の追加 後者は予備審査のときからの進捗したものであり、これに基づいて、縦横チェーンの検証も…

仕事がらみで参加した学会（この発表の準備もあった）で、副主査の先生（田中先生）にお会いできた。懇親会でいろいろ伺うと、７日の公聴会の話になって、「いやああなたのは難しいねエー」ということで、読み手にわかりやすくないことが判明。また指導教官…

beamerでverbatim環境をつかうのにfragileをつかっていたのだが、どうも[containsverbatim] を使うのが正しいらしい。はまる。２項目前進

Beamerでしおりが文字化けを起こさないようにするには以下をプリアンブルへ \AtBeginDvi{\special{pdf:tounicode 90ms-RKSJ-UCS2}} Beamerでは\verb+hoge+はうまくきかない というわけで2/12まで進んだかな。。。

直さなければ行けない項目 ACP,CCS,ACP_drtの絵と関係の説明 Acp_drtのチャネルのルールと例の修正 COMの導入 の詳しい説明 との修正 のルール CWBによる充足性検証 CWBによる連動性の検証(can_livelock)の説明 横チェーン検証の修正 縦チェーン検証の修正 I…

指導教官の指摘事項31件を全てクリア、タイポ、説明の足らないところ、章立ての修正等の、振り返れば見栄えに関するところかなあ。というわけで来月7日に決まった公聴会向けにスライドを作りなおさねば。ちょうど１年前は予備審査したスライドがありますが、…