Home > Archives > February 2018

February 2018

プログラムが出ない

プログラム出ないと出張手続きできないのでさっさと出してほしいんだけど中の人何やってんだ? ここんとこ諸々が遅れててとても困る.どこぞの人の心配的中中.

河津桜を様子見に

四浦半島に河津桜があったよな,ということで豊後水道河津桜まつりへ.

でも右を見ても左を見てもまだつぼみ…… 早すぎた.

かろうじて見つけた咲いてるやつ.

もう少しで咲きそうな蕾も多少ある程度.

ということで,残念.伊豆より南だからもう少し咲いてるかと思ったけれど全然だった.四浦半島は微妙に遠いのでまた来年.月末にでも近場の静豊園に行ってみよう.

そういや山口の道の駅上関海峡の辺りにも河津桜があったような?

閑話休題.

伊良原ダムの様子見.先月頭に訪れたときに比べて水面上昇中.



なお,展望台は今月いっぱい建設中.

閑話休題.

R496 から r32 に入った最初の峠(トンネル)の東側がやばかった.路面の氷はまだ消えてないのに気温高いのでスタッドレスでもよく滑る.ツルツル.あれはチェーンじゃないと歯が立たない.

歯医者へGO

時間があったので剥がれた部分の修復に歯医者へ.特に問題なく終了.

そして診察券をよく見てみたら土曜日もやってることに今更ながらに気がついた.土曜に行っときゃよかった……

賞味期限2015年3月の油を発掘

よく考えると油の賞味期限ってなんだろう? ドレッシング作るのに使うとかの場合のものなのか,それとも炒め物とかに使うときのものなのか.

何にせよ,3年はヤバイので破棄.

いらいら

平均取ってんだか取ってないんだかゴチャ混ぜだとか,分布と密度関数がゴチャ混ぜとか,真面目に話を聞く人ほど混乱する話は滅べ.ぶっちゃけ有り得ん.ぱっと見で変だと分かる式が放置されていることにとてもイライラする.誰か事前にちゃんと指摘してやれよ.というか配布資料と齟齬を起こしてるとかありえんだろ……

煮干しでも食うか.

お仕事半分片付く

今日の分は平和に終了.めでたしめでたし.

あとは来週のもう半分だが…… 心配.

また雪が積もる

今回は気温が高いから積もらないかなと思ったけど,意外とよく降って朝7時半には路上に数センチ,車上には 10センチくらい積もってた.

流石に昼間には消えたけど.

水関係の建造物を見に出かける

今じゃないと見られないだろう水関係の建造物をぐるっと巡ってきた.

まずは志高湖.凍った湖が見たかったので.志高湖はもともと灌漑用に作った人造湖だそう.

次に大分川ダム.水が溜まる前のダムを見たかったので.でも既に仮排水路をせき止めて少し水を溜めてた……

ダム本体を下流側から.石が新しくてまだ綺麗.

少し上流でダム湖を横断する橋の上から.左のガードレールがR442旧道? その下の仮排水路は堰き止められている.

同橋から上流方面.まだ微妙に工事中.どこまで水没するのだろう?

対岸に渡って第二展望台から取水施設の正面.上部はまだ工事中.

なお,第二展望台の先はまだ立入禁止.伊良原ダムより物々しい看板も.

そしてダムが水を溜める前に道が崩壊…… 大丈夫なのだろうか?

そして最後に通潤橋.むき出しの通水管を見たかった.ここ最近で通水管がむき出し状態なのが見られるのは20年に1回くらい.

ということで,道の駅に車を停めて坂を登る.

3分ほどで坂の上.いい運動.

そこから工事用の足場な階段で少し下ると見学台.

で,見学台からむき出しの通水管.管の両端が高い位置にあるので単純な水路じゃなくて本当に管.当時の技術力(根性)すげぇ.

通水管をアップで.所々に置いてあるのは肥料の袋.きっと袋は使い回しで中身は別物に違いない.

以上,気になっていた3つを見学できて満足.ダムと通潤橋はそのうち状態が変わったらまた行こう.ついでに r141 の R218 合流手前にある円形分水も忘れずに.

迷惑な客

パン屋で864円の支払いに 1404円出してレジの人を困惑させた.1004円出しても返ってくる小銭の枚数同じだし,「同じ1枚なら100円玉より500円玉が欲しい」という普通じゃない順序で考えないと意味不明.出されたお金に対して機械的に処理せずにちょっと考えてくれる人ほど悩ませてしまう.

ということで,困惑中のレジの人と「あぁ 500円玉が欲しいだけです.すみません(笑 」「ああ,なるほど!」とかいう会話をした.

ぶっちゃけ迷惑な客.

Coq の Reserved Notation と戦う

Coq.Init.Notations に Reserved Notation で + が left associativity と定義されてしまっているので結合の仕方を上書きできない.自前のライブラリで no assoc. な + を使いたいと思っても無理.何で Reserved Notation の連中が上書きできないのか知らんけど,ひょっとしてパーサレベルで固定しちゃってるのだろうか.普通には困ることはないだろうけど変なことするには不便.

で,妥協案:全角の +(U+FF0B)を使えば良いじゃない.入力面倒だけど見た目は問題ない.

というか,Unicode の数学記号とかも識別子に出来たのか…… oplus とか書いてた部分を Unicode の文字に置き換えてみようかな.

銀行の名前が変わる

4月から「三菱東京UFJ銀行」が「三菱UFJ銀行」になるというメールが三菱東京UFJ銀行から届いた.様々な書類にこの長い行名を書かされてきた身からするとちょっとでも縮まってくれるのは嬉しい.

ぶっちゃけまだ長い(画数多い)ので思い切って「MU銀行」まで縮めてもらえるともっと嬉しいのだけど.

今日も積もる

67mm のレンズキャップが約半分埋まってるので 3cm 位の積雪か.

そしてこんな日に半日ほど寒い部屋の椅子に座ってるお仕事に拘束されるとか…… エアコンがお馬鹿で部屋の上のほうが暖かいと仕事しなくなるので足元がとても寒い.というかそもそも設定温度が高くない上に手元でコントロール出来ないし.せめてサーキュレータでも置いてくれればいいのにそれもない.次あったら冬山用の登山靴で行く.

また雪だ……

また積もってる.遊んでる時間無いし,そろそろ飽きてきた.

というか車から雪を落とすのが地味にめんどい…… 実は洗車代わりになってるような気もするけれど.

寒い

危機的状況なのを付きっきりでエンドレスに処理しきろうと思ったけれど23時に断念.晩飯も食わずに続けるには寒すぎる.

ということで明日に持ち越し.

大雪だ

何だかんだで昨日は朝4時になってから今夜は寒いなぁと思いつつ寝たのだけど,10時頃に起きたら雪が12センチ位積もってた.

飲むヨーグルト vs ベランダの雪.

2Lペットボトル vs 車の上の雪.

そして折角なので開けたスペースのある筑豊緑地へ.とりあえず真っ白.


300m トラックとか完全に雪国.

んで,雪だるまでも作ろうかと思ったのだけど雪がサラサラ過ぎて上手くまとめられず断念.霧吹きでも持っていけばどうにか出来ただろうか.今後の課題.

閑話休題.

くるぶしが余裕で埋まる高さに積もってたので木の根元の土と囲いのブロックとの段差が見えずに足を挫いた.登山靴持ってきゃよかったと反省.

休日出勤

論文締切が金曜 AoE なので日本時間的には今日の21時.

ということで,今日は午前から夜まで論文修正大会.海鮮恵方巻が美味い.眠い.腹減った.

閑話休題.

隣の研究室もフル稼働だったなぁ…… 

スパムメールがうざい

ここんとこ昔流出されたメールアドレスへのスパムが頭悪いくらいにいきなり増えててうざい.タイトルが yo とか hi とか hey とかで分離はしやすいのだけど,スパムフィルタに弾かれずに大量にメールボックスに残ってくれるのでとても邪魔.リンクを踏ませるでもないようなくだらないメールを大量に送り付けるのは何がしたいのか理解できん.ただ単に邪魔したいってんなら納得する.

ちょっと徹夜でプログラミング

「10M頂点のランダムグラフ生成が1日以上待っても終わらないから実験出来ない.しない.」とか言われたので,Directed scale-free graphs の論文を読んで C++ で実装して投げつけた.10M 頂点/20M辺 のランダムグラフだと書き出しに時間食って 2分くらいかかるけど.

だがしかし,眠い頭でクソ真面目にヒストグラム(度数+実数バイアス)に従った乱択をやる為に prefix sums をセグメント木で管理してO(n log n) で動くプログラムを書いたのだけど,よくよく考えてみたら directed scale-free graphs のモデルって度数分布に従った乱択(=辺の一様乱択)か(頂点の)一様乱択かを単純に混ぜただけの分布なので辺リスト持ってたら毎回の乱択が O(1) になってトータル O(n) で終わるじゃん,とかいうことに寝て起きてから気づいた.

眠いとダメだね.

閑話休題.

NetworkX の directed scale-free graphs の実装はヒストグラムからの乱択に毎回 O(n) かけてるので激遅そう.無効グラフの BA モデルの方は各頂点 O(1) で乱択する実装なので大丈夫そう.

Home > Archives > February 2018

Search
Feeds

Page Top