2018年02月

東京駅八重洲中央口付近の新幹線改札から大手町の三田線の改札までの経路はどう行くのか正解なのだろうか．

東西線の方を経由して地下をぐるりと回ったのだけど，何となくムダなルートを歩いたような……　実は地上移動のほうが短くできそうな気もする．よく分からん．

名前を見て顔が思い浮かぶのが 2/6．あとは分からん．どんな感じになるのやら，楽しみでもあり恐怖でもある．

競技プログラミング適正の高い連中だと良いな．

朝9時から夜7時までぶっ続けの不毛なお仕事．どう考えても前処理班が後処理まで考えて作ってない．その上で丸投げとか何考えとんだ……（何も考えてない）

というか，ちょっと作業時間時間短すぎとちゃうかね？　そのうち事故るな．

不毛な労働のために40キロ先までプチ出張．とりあえず何でもいいから書いとけって教えは悪だと思った．

というか，この作業は今日やる必要あるのか？

2/10 が延期して予備日の 2/17 も延期して，その後は未定とのことだったけど 1週間たっても情報が出ない．

というか，情報発信源はどこなんだろう？　とりあえず阿蘇地域振興デザインセンターの Facebook を見て日程やら延期やらを知ったのだけど，草千里の野焼きのそもそもの主催がどこなのかもよく分かってない．要調査．

とある自然数 n に対して，k > n/2 なる k は n の過半数である．また，l > n/2 なる l に対して，とある k が存在して l > k > m となるならば，この l は n の過半数（k）を超えている．ここまで別に変なことは言ってないので，つまりは「過半数を超える」という表現は特におかしくない．

とかいうことを昼間に「過半数を超える」という表現を使ってしまう瞬間に考えてまあいいやとなった．過半数だけど過半数を超えない数なんかひとつしか無いので半数をそこそこ超えてればこの表現で特に問題なかろう．

ついでに考えたこととして，過半数という言葉が「過半な数」から来ているのか「半数を過ぎる」から来ているのかが微妙な疑問．広辞苑とかは前者の解釈らしいので一般的には前者なのだろうけど，後者の解釈の場合だと「過半数を超える」はよく分からんことになる．「○○の得票数は過半数である」とかの言い回しはどちらの解釈でも大丈夫そう．

閑話休題．

「過半数」というのは「全体の半数を超える数」という状態を表すことばだと考えられる

大学の黒猫を追いかけてみた今日この頃．奴らは世代交代しているのだろうか．

閑話休題．

品質の悪い製品を捨てる勇気を持つか，もしくは無理してでも常識的な品質にまで調整する努力をするべき．つまり，PSP がうまく動かない．途中で落ちる．

誰だこんな粗悪なバッテリーを作ったのは…… 出荷検査ちゃんとしとるんかい．というか基準が変？　まあ，よく分からんメーカーのだからしょうがない．

明日は戦いなので今日は久々にちゃんと寝る．というか早朝に前哨戦が……

隅々まで詳細に読んでたら 5時間くらい経ってた．これでもまだ半分くらいなので明日も大変．

さて，まだ作業してるはずだからコメントしに大学行くか．

時間がないのに各種操作が異常なほど非効率的だったりして見ててとてもイライラ．PC初心者でも知ってるキーボードショートカット使えばミスもなくて10倍早く処理し終えるだろうに．そして飯の時間がなくなってお腹が空いてもっとイライラ．

あとは各種仕事しねーやつの仕事を肩代わりする理不尽にイライラ．反応したやつの負けであることは分かっているのだが．

ついでに頭使って書かれてない文章を読んでイライラ．何を考えてるんだ……　（何も考えてない）．

……

とりあえず納豆とヨーグルトでも食うか．

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

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

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

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

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

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

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

閑話休題．

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

なお，展望台は今月いっぱい建設中．

閑話休題．

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

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

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

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

何にせよ，3年はヤバイので破棄．

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

煮干しでも食うか．

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ぶっちゃけ迷惑な客．

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) で乱択する実装なので大丈夫そう．