No Such Blog or Diary

レジで合計439円と出た　→　財布には992円（100円玉9枚，10円玉9枚，1円玉2枚）が入っていた　→　440円を出そうとしたが硬貨を1枚を取り違えて 530円を置いた　→　10円を置いた　→　この時点でレジのババァ様に硬貨が回収されてレジに入れられる　→　返って来たのは1円玉1枚と「439円をぴったり支払いお釣りがなかった」というレシートのみ

……

とりあえず100円盗られた形なわけだが，自分の記憶以外に証拠がない状況になってしまってから文句を言っても始まらないし後ろも列ができていたのでそのまま退散．まあ，ババァ様も合計金額が539円だと勘違いしたのかも知れないし受取額をレジ入力するのが面倒だったから正しくないレシートを発行したのかも知れない．硬貨を数えた上でレジの金額表示をちらっと確認はしてたけど．

教訓：まぎらわしい金額で支払いをしないこと．

最近，SSDの入っているノートPCでしか生活していなかったせいで，ファイル入出力中に加速度を加えるとかの行動を平気でするようになってしまった．HDD 入りのノートPCだと気をつけていないと壊してしまいそうで怖い．

あとはHDDだと起動時間遅すぎてイライラするので寿命が縮みそうで怖いとか．

全然知らなんだった．緑色とか赤色とか欲しいなぁ．でも当然のごとく在庫なし……

10年以上前に買ったヤツが（酷使により外装がボロボロだけど）平気で使えてしまう程の耐久度だし，そもそも使える限りは別のシャープペンに変える気も起こらない使い心地だし，文房具屋とか行ってもシャープペンシルを売っているコーナーには全然行かなかったので気づかんかった．とても残念．とはいえ，買っても飾っておくだけになりそうだから手に入れるだけ無駄なのだけど．

閑話休題．

ボールペンはシグノの普通のしか使ってないから限定版とかなさそうだなぁ．黒色ボールペンの限定カラーとか面白い気もするけれど．

multi parameter な type class をコンテキストに持つ関数を書いたのだけど，その type class の引数の一部はその関数の型に陽には現れずしかし functional dependencies で決定もできない，とかいうアホな状況で……　型が曖昧だとか推論できないだとか色々と文句を言われ続ける始末．とりあえず適当に unification しちゃってよと言いたいのだけどどう伝えたらいいのか分からない．

それはいいとして，もの凄くシステマティックでオートマティックにできるはずなのだけど今ひとつ綺麗に自動化できないのは悲しい．

忘年会の下見に行って酔っ払いモード．まさかお一人様8k円になるとは思わんかった．そしてドイツワインはマイナーなのか？ 全然店に無かった気がする．

とりあえず，酒は料理と共にというより単体で飲むものだという思考なので料理に合わせた酒選びとかは無理．酒のためにつまみを選ぶなら理解できる．ぶっちゃけ料理に合わせた酒とか最初から料理に入れときゃいいと思う．

それにしても店混んでたなぁ．

超寝不足＆風邪気味で飲むとかバカすぎる．

更には「インターネットをしている時間」という言葉の意味が全然分からない．

「インターネットで通信をしている時間」と解釈すると，ネット配信の動画をブラウザ上で見ている時間とローカルに保存しておいたその動画を見ている時間とが別物になる．これはなんとなくおかしい気がする．ついでに，ブラウザでリアルタイムにクロールするのとクローラに集めさせておいたのをオフラインで見るのとが違うってのもおかしいし．

うーん……　インターネットを介して得られた情報を頭で処理している時間のことなのか？　でも，例えばインターネットから手に入れた「インターネットする」という言葉の意味を考えている今のこの時間はインターネットしてるとは言えない気がするしなぁ……　微妙にこれも違うのか．

とりあえず全くよく分からん．

閑話休題．

http://www.kurihama-alcoholism-center.jp/tiar/ の「インターネット依存度テスト」に対して，その質問文のなかの「インターネット」を「〇〇」に置き換えてみたのが下のテーブル．設問７以外は「〇〇依存度テスト」に使える汎用テンプレートな気がする．「依存度テストジェネレータ」とか作れるんじゃなかろうか？　「エロゲ」とか入れてみると面白い．