ToDo:
Housing Serviceのリストが更新されたので、いい物件が無いか リストを貰いにいくが午前中何度か足を運ぶが、窓口が閉まっている。 何時窓口が空くかを、CERN Hostelのカウンターで聞いても いい加減な答えしか返って来ない Orz
午後になってやっとリストが貰えたので、めぼしい物件のオーナーに 電子メールを投げる。
後は、不動産屋巡りのために CERNのページからリンクの有る不動産屋の リストを作って、住所を地図上で確認。
Meyrinから徒歩で国境を越えてFORMULE1 Geneve Aeroportに到着... って、何処が空港やねん(w)
しかも、周りは普通に畑が広がってます。どうやら、車やバイク、自転車で 移動する旅行者向けの安宿のようです。(自転車乗りっぽい客が出入りしていた)
カウンターでネットで予約を入れてあると言って Confirmation numberを 告げると、泊数と朝食の有無を確認して後は料金先払いで、部屋番号と 電子ロックのパスワードが書かれた領収書を受け取って終わり。 パスポートの提示すら求められないので拍子抜けであった。 (Etap Hotelも、先払い&カードキーは回収箱に返却だったけど)
たしかに、一泊 31Euro(〜50CHF)で格安だけど、トイレ&シャワーは共同で 壁が薄い。その点、Etap Hotelは 一泊 95CHF取られるけど、 トイレ&シャワー付きで隣や廊下の音が五月蝿いと言うことは無い点で 普通のビジネスホテルですね。
頑張って投稿する連中(たぶんBOT)が多いので、色々対策する必要を 迫られる訳だが、なぜが 2008-02-20の記事が集中的に狙われる。
不思議に思って調べてみたのだが、検索エンジンからの紐が 一番多く繋がっている記事を狙うアルゴリズムのようだ...
SAD->MADX変換は、これ以上進捗しそうに無いので、MADX->SAD変換も 含めて手元にコードをSAD Source Archiveへ置いてきた。
KEKB latticeの変換に関しては、SADとMADXのモデルが違いすぎるので MADX側を改造しない限り再現は無理な気がする。 現時点で把握している、再現上の問題は...
さらに、MAP要素を含めるとSAD->MADX変換システムを構築することは、 次の命題と同値と思われる。
チューリング完全な言語で記述される任意の写像関数を必要な精度で近似するMADX sequenceを組み立てる
MAP要素ではSADScriptが、一般の要素ではFortranコードが入力 とするある種のコンパイラを作る話になる。
最低でも、MADX側の element typeは任意のsequenceを組み立てたときに $R^6 \rightarrow R^6$写像関数の空間を埋め尽くせるだけの多様性が必要。
atapicamの不具合だが、色々試した結果、 GENERICカーネルでは発生しないことが分かった。
調査した範囲では、カーネルコンパイルオプションに-Osを付けると発現する。 従って、最適化エンジンのバグあるいは、過剰な最適化によるものと推定されるが、 後者の場合はソースの修飾不足によって発生している可能性 (例えば、スコープ外に別名を持つ変数にvolatileが付いていないとか) もありカーネルのバグかどうかは微妙なところである。
USB umasscam回りについては、別途調査予定
カテゴリー: Admin | Emacs | EPICS | Fortran | FreeBSD | GCC | hgsubversion | IPv6 | KEKB | LHC | Lisp | LLVM | MADX | Ryzen | SAD | samba | tDiary | unix | WWW | YaSAI | お仕事 | イベント | 出張 | 宴会 | 数学 | 艦これ | 買いもの | 追記 | 雑記