2015年10月
cabal install で依存関係のバージョン上限を外す:--allow-newer
Hackage は基本的に「テストしたバージョンまでで依存パッケージのバージョン上限を設けとけよ」的なノリなので,実際には問題ないんだけど上限よりも上のバージョンの依存パッケージしか入れられないから目的のパッケージがインストール出来ない,とかいう状況がチラホラある.バージョン上限を書き換えるためだけにデプロイやり直すのも作者が面倒だろうし.
んで,この状況にハマった時には目的のパッケージのソースを持ってきて手動でコンパイルするかとかやってたのだけど,cabal install のヘルプを良く見てみたら --allow-newer とかいう便利なオプションがあることに(今更ながら)気づいた.これつけとくとバージョン上限を無視してくれる.ほんと便利.
閑話休題.
cabal install を使った時とパッケージのソースで runghc Setup.hs configure とかやった時とでオプション無しの時の振る舞いが異なっていてハマった.cabal install がデフォルトでユーザ個別にパッケージをインストールをする(--user オプションがデフォルト?)のに対して,手元に持ってきたパッケージで runghc Setup.hs configure とかやった時にはグローバルにインストールされたものを探しに行っていた(--global オプションがデフォルト).おかげで入れたはずのパッケージが見つからないと怒られて,でも ghci で確かめると普通に import できて,何がおかしいのか暫く悩みまくった. runghc Setup.hs configure --verbose=3 とかやったら ghc-pkg を呼ぶときに --global をつけているのが見えて分かったのだけど,ここらのデフォルトの違いはどこから出てきたのやら.
- Comments: 0
- TrackBack (Close): -
じゃらんっじゃらんっうるさい
- 2015-10-30 (Fri)
- 一般
迷惑な騒音がじゃらんっじゃらんっと鳴り続いているのでどこのバカが遊んでんだと思って不機嫌な顔してドアを開けて音源を探してみれば,守衛さんが夜の見回り&鍵閉めのお仕事してくれていたのだった.不機嫌な顔してガンを飛ばして挨拶して部屋に引っ込むとかいう挙動不審をやらかしたけどとりあえずしょっ引かれなかったのでセーフ.
だがしかし,お仕事でも大量の鍵をぶら下げて歩きまわっているのでぶっちゃけうるさい.音が響くし耳に残るし.
さっさと帰れということかもしれない.
- Comments: 0
- TrackBack (Close): -
今日の疑問
- 2015-10-29 (Thu)
- 一般
なぜ DNS の逆引きが必要なのか.ぶっちゃけ積極的な使い途が思いつかないのだけど……
とりあえず正引きとの整合性をとっておくのがめんどい.
- Comments: 0
- TrackBack (Close): -
ヤマハの MOTOBOT
- 2015-10-28 (Wed)
- 一般
バイクを運転するロボット.タンデムで乗れるようには見えないので変な想像をした:「バイクをロボットが乗ってっちゃったらバイクの持ち主はひとり取り残されるよね……(ぽつん)」
車に比べて制御の難しいバイクを扱うからこその技術的な発展があるのはさておき,普通のバイクを運転できるロボット自体の使い途ってなんだろう? 新車のテストに人を使うよりも正確・詳細なデータを取れるとか,定期点検に自動で行かせられるとか,ならし運転させるとか.……あまり有用な用途が思いつかない.このロボット単体を考えると技術の無駄遣いな感じがして面白い.
- Comments: 0
- TrackBack (Close): -
新歓
- 2015-10-27 (Tue)
- 一般
今日は職場の新歓.久々に酒を飲んだ気がする.
だがしかし,上品なお店だったので料理の量が少なく家まで歩いてきたらお腹がすいた.
そして明日の出勤がめんどい.
- Comments: 0
- TrackBack (Close): -
二次方程式の解の公式
- 2015-10-26 (Mon)
- 一般
素で正確には思い出せなかった.微妙にショック.
結局方程式を式変形して公式を導いて体裁を保ったのだけど,使わないものは忘れるんだなと染み染み感じた.
他にも三角関数の倍角の公式とかもオイラーの公式を使って導かないと覚えてない.需要ないし.
- Comments: 0
- TrackBack (Close): -
起きたら3時だった
- 2015-10-25 (Sun)
- 一般
昨日阿蘇から帰って来て昼過ぎに寝てみれば,気がつくと日付変わって夜3時だった.
よく寝た.土曜が消えた.もう一眠りしたら日曜も消えるか?
- Comments: 0
- TrackBack (Close): -
懲りずに阿蘇に行く
閑話休題.
週末につき人たくさん.隣のピークには流星群を見に来た方がいたのかテント付きで.
下のヘアピンも人たくさん.車両及び歩行者も通行禁止との看板があった気がするけれど.
なお,下からは車が入ってこれるっぽく2台ほどが登ってきた.でも上の方はチェーンが張られていて通行不能なので折り返すことになる.
だがしかし,駐車スペースを溢れて路駐している車が邪魔で危ない.朝早くから大型の車も通るし速度出しまくりの車やバイクも通るしそのうち事故るんじゃなかろうか.車に戻ってみたら事故車が突っ込んでたとかなったら嫌だな……
- Comments: 0
- TrackBack (Close): -
残念なことに気づく
- 2015-10-23 (Fri)
- 一般
シグマの 20mm F1.4 DG HSM も 24mm F1.4 DG HSM もソニーマウントな物はないのね……
ま,EF-FE なマウントアダプタ持ってくれば付けられるから問題ないといえば問題ない気もする.456もあることだし,そろそろひとつくらい確保しておくべきか.
- Comments: 0
- TrackBack (Close): -
オリオン座流星群を撮りに出かけた
作業してて気がつけば日付も変わっていたので,天気もいいし折角だからとオリオン座流星群を見に米ノ山展望台へ行ってみた.
同じことを考える人が沢山なのかいつもそうなのか,とりあえず展望台には車が20台弱.夜の狭い山道で離合とか面倒でしか無い.
そして1時間粘って撮れた流星は微妙すぎ(木の上のちょっと).なにげに飛行機が邪魔(右上).
とりあえず,F4 なレンズに CPLフィルタつけた状態のレンズしか持ってなかったのは残念(寒くて?フィルタ外れない).F2程度のレンズで明るく撮りたかった.
あとはポータブルな赤道儀も欲しいかも.でも木とかの影を入れるには微妙な選択かな.シグマの 24mm F1.4 とかあると良いのだろうか.
- Comments: 0
- TrackBack (Close): -
車内に輝く蜘蛛の糸
- 2015-10-21 (Wed)
- 一般
車を運転中になんかキラキラするなと思ったら,新しい蜘蛛の糸がチラホラ.
なんとなくこの前の土日にワイパーからフロントガラスにかけて引っ掛けてしまった蜘蛛の巣に付いてた大量の子蜘蛛達の生き残りがどこからか車内に侵入してきた気がしなくもない.ヤツらは小さいのに糸出してフロントガラスに引っ付いてて可愛いなとか思ってたけれど,車内に入られるとなると微妙.餌もない温室なので干からびてしまう結末しか見えない.
- Comments: 0
- TrackBack (Close): -
阿蘇で日の出を拝む
だがしかし,平日なのに人出が多かったのには驚いた.20台弱の車がいてて駐車スペースから溢れてたし,スカイライン展望所とかぶと岩展望台にもだいぶ人がいてたし.
- Comments: 0
- TrackBack (Close): -
Windows 10 にアップグレードしてみる
- 2015-10-19 (Mon)
- 一般
あまり使ってないノートPC の Win8 を Win10 にアップグレードしてみた.
とりあえず進行状況が巻き戻るのはやめれ(残念な気分になる).
そして実行したらブラウザで新しいページを開くだけとかいう .exe もやめれ(ブラウザからダウンロードした .exe を実行 → 邪魔なのでブラウザを閉じる(新しいタブに気づかず)→ なかなか起動しないなと思いつつ windows だしと思ってそのまま1時間放置 → 無駄な時間であったと理解する).
閑話休題.
暫く使ってみて問題無さそうだったら他のもアップグレードしてみようかね.最初からクリーンインストールができるようになるっぽいのでそれを待ってから.
- Comments: 0
- TrackBack (Close): -
飛行機で足をくじく
- 2015-10-16 (Fri)
- 一般
足元の広い目の前が壁な席に座っていたら,C席側の通路からH席側の通路にトラバースするおっちゃんに足をくじかれた.もうちょい落ち着いて移動できないもんか.
足痛い.
閑話休題.
ゼミに間に合った.
- Comments: 0
- TrackBack (Close): -
出張中,寝たら負けな気がする
- 2015-10-15 (Thu)
- 一般
明日は朝イチの飛行機なので下手に寝ると寝坊しそう.中途半端で作業を止めたくないのできっと寝ないことになりそうな気配.
だがしかし,思いついたアイデアを全部検証してても飛行機に乗り遅れそう.途中でやめる勇気.
- Comments: 0
- TrackBack (Close): -
またやらかす
- 2015-10-14 (Wed)
- 一般
3週間前に予約注文してあったのを忘れて注文し,同じのが二冊発送されたと連絡が入る.
全てのサイトがアマゾンみたいに「お客様はこの商品を○月○日に注文しました」とか出てくれると事故が減るのだけど.javascript を駆使して後付でどうにかすりゃ良いのかもしれない.注文履歴が見られるサイトならどうにかなりそう.めんどいけど.
- Comments: 0
- TrackBack (Close): -
素朴な疑問:マウスの総走行距離
- 2015-10-13 (Tue)
- 一般
動物じゃなくて PC のやつ.一回一回は大した距離ではないけれど,積もり積もって結構な距離になってるんじゃなかろうか.
とりあえず,起動してからのポインタ移動の積算をしつつ単位移動あたりの物理移動との対応を掛けあわせれば一日の移動量の見積もりができるのかね.積算とか簡単にやってくれるソフトはないものか.
いっそのこと物理的にマウスにオドメーターを付けてしまえばよいのではなかろうか.どこか出さないかな.
- Comments: 0
- TrackBack (Close): -
天気が悪い……
- 2015-10-12 (Mon)
- 一般
天気予報がコロコロ変わる季節なのか,連休中は天気が良いと思っていたら雨もぱらついたり.
大人しく寝るか.
閑話休題.
イレクターパイプをミリ単位で再切断する方法はないものか.専用のパイプカッターだと最短切断単位が1cm位になってて微妙性が難しい.
図面を引いてから作業すればよいのだけど現物に合うように作りたいのでどうしても微調整が……
グライダで削るか?
- Comments: 0
- TrackBack (Close): -
道の駅おおとう桜街道と花公園の駐車場が混みまくり
- 2015-10-11 (Sun)
- 一般
コスモス畑がそろそろいい感じだろうかと思って見に行ったら駐車場待ちの渋滞に巻き込まれ.やる気無くして車内からちらっと見ただけで帰ってきた.まだ微妙に蕾が多かったような?
そんで道の駅からコスモス畑へ抜けるための道はできていなかった.去年は無くなっていた柵が復活しつつ危ないから柵越えるなの注意書き.道の駅から道を挟んで並んでる公園の駐車場のほうを使えということっぽい.混んでる道を渡るのが微妙に面倒なのだけど.
- Comments: 0
- TrackBack (Close): -
阿蘇に行って負ける
- Comments: 0
- TrackBack (Close): -
加湿器優秀
- 2015-10-09 (Fri)
- 一般
鼻の粘膜がやられてるので夜中に乾燥して痛くて目が覚める,とかいうのを数日繰り返したので加湿器を引っ張り出してきた.とりあえず昨夜はよく眠れた.そろそろ冬だな.
というか,よく寝すぎてゴミ出しそこねた.起きたら清掃車のメロディーが.残念.
- Comments: 0
- TrackBack (Close): -
エアコン掃除
- 2015-10-08 (Thu)
- 一般
シロッコファンが汚れると掃除しにくい.フィルタは汚れてないのに何故にファンが汚れるのか.実はフィルタが浮いてて変な隙間があるのか,それとも風量弱だと送風口からの吸気があるのか.
とりあえずシロッコファンも簡単に取り外せるとお掃除が楽なのだけど,そんな機種は見たこと無い気がする.何故だらう?
- Comments: 0
- TrackBack (Close): -
お前の後ろに車はない
- 2015-10-07 (Wed)
- 一般
右折したい交差点の信号が赤だったので信号待ち.対向車はウインカー出してない直進待ちが一台.その後ろには車の気配はない.
そして青信号.対向車が過ぎ去るのを待ってから曲がろうと思っていたら…… 何故かにらみ合い.向こうも動かない,こちらも動かない.
結局,5秒位にらみ合った後に向こうがパッシングしてきた.先に曲がれということだったらしい.お前の後ろに車はいないんだからさっさと通りすぎてくれればもっと早く曲がれたのに,と思わなくない.青信号で一呼吸遅れて急加速するバカもいるし,直進が道をゆずる意思を明確に示すまでは曲がれない.
交差点以外で右折待ちの時に後続車のいない最後の対向車一台がゆっくりと減速しつつ近づいてきて止まってパッシングしてくれるのも嬉しくない.元のスピードを保ったまま走り抜けてくれたほうが結局早いから.
後続車のあるなしを確認してから右折車に道譲れ.
- Comments: 0
- TrackBack (Close): -
git-shell にしたけど新しいリポジトリ作りにくい……
- 2015-10-06 (Tue)
- 一般
別のアカウントで sudo して chown してとかやるのがめんどい.git init 程度はできてくれればいいのに(mkdir も必要だけど).
今後のために git-shell で使えるコマンドを自前で用意するか何かしておくべきか.作るのがめんどいし変に使われることのないようにするのもめんどい.結局 sudo で chown が楽なのか.悩ましい.
- Comments: 0
- TrackBack (Close): -
下キーが入りっぱなし
- 2015-10-05 (Mon)
- 一般
Wii U の GamePad の下キーが入りっぱなしのような? 対症療法としてはその状態から下キーを物理的に押下してあげれば暫く正常に戻るっぽいのだけど…… 微妙に使い物にならん.
アナログ部分のキャリブレーションとかいろいろと試してもダメなので修理に出さないとならんかな.初期不良なのか最近のコントローラが脆いのか.とりあえず手続きめんどいな.
- Comments: 0
- TrackBack (Close): -
G と初遭遇
- 2015-10-04 (Sun)
- 一般
新築物件に引っ越してから2年半,とうとう Gと室内で遭遇.どこから入りこんだのやら.
とりあえずG専用の装備は備えてなかったので風呂場からバスマジックリンを持ってきて噴射.4mくらい逃げられつつなんとか直撃させて停止.後は潰してポイ.
今後に備えて対策せねば.
- Comments: 0
- TrackBack (Close): -
登山の日
- 2015-10-03 (Sat)
- 一般
ナビの起動時に今日は登山の日だということを知ったのだけど,何でこんな時期に登山の日とか言うのがあるのだろうと悩むこと数時間.よく考えたらただの語呂合わせなのか.微妙.
そして来年から増える 8月11日の祝日が何で山の日と呼ばれるのか実は知らない.
- Comments: 0
- TrackBack (Close): -
蜘蛛 in 車
- 2015-10-02 (Fri)
- 一般
帰宅途中,3cm くらいの蜘蛛がダッシュボードやフロントガラスをウロチョロしているのを発見.若いアシダカグモか他のか.暗くてよく見えんかったけれど,いつの間に入ってきてたのやら.
とりあえず路肩に停めて窓開けて追い出したけれど,ハンドルを握っている手の上に突然落ちてこられてたら事故ってた自信がある.虫よけにはサンシェードを使わずに車内が高温になるようにしておいたほうが良いのかもしれない.
- Comments: 0
- TrackBack (Close): -
ワンタイムパスワードにする
- 2015-10-01 (Thu)
- 一般
銀行からのワンタイムパスワードの設定をしろというお知らせがうざいので手続きをした.電話して初期化の番号を聞くだけだけど,その電話の受付が24時間対応でないのは気に食わない(以前手続きしようかと思ったら時間外だった).時間外にパスワードの初期化が必要になったら終わり(深夜便で海外に飛ぶんだけど明日の午前中までに振り込みしないとならない,とかいうニッチな場面でしか困らんけれど).
というかこれってどうやってんだろ? 時刻で生成してんのかな.ズレとかどうなるんだろう.
- Comments: 0
- TrackBack (Close): -