結局これを買って、あとかなり昔に買ったしょぼいルーターを使って構築してみた。

• インターネット → (LTE) → スマフォ → (Wi-Fi) → イーサネットコンバーター LAN-PW150N → (LANケーブル) → ルーター → (Wi-Fi or LANケーブル) → 各端末

LAN-PW150N は初期設定に LAN ケーブルが必要だけど、昨今の Mac にはイーサネットポートがついてないので、Windows 機をひっぱりだしてきて設定した。スマフォのAPに特に問題なく設定できた。

スマフォのテザリングは切ったり入れたりをよくするので、LAN-PW150N がそれなりの速度で再接続を行ってくれるかが心配だったけど、特にそれも問題ない感じだった。

これで以下のようなことが可能になった

• 同じネットワーク間のコンピュータでの通信 (スマフォのテザリングのオンオフ関係なしに)
  • DLNA
  • ファイル共有

スマフォのテザリングは 2GHz バンドでしかできないっぽい。ルーターから出す電波は 5GHz バンドにしたほうが干渉しにくくなって良さそうだけど、うちにあるしょぼいルーターだとできないので多少そのへんが犠牲になってる。

↑ これが欲しい。

微弱信号通信用の通信プロトコルに JT65 というのがあるらしい。もともと VHF の EME (月面反射通信) 用に考えられたみたいだけど、それを HF 帯の地上間通信にも応用して流行ってる？みたい。実際信号を聞いたことはない。しかしプロトコル自体の解説が全然見つからなくてよくわからない。

• 72bit のメッセージに 6bit シンボルの RS(63,12) (リードソロモン12シンボル長データに51シンボルのパリティ)。
  • 72 / 6 = 12 シンボル に対し訂正符号51シンボル
• 64 トーンの FSK
  • 2の6乗、すなわち1シンボルにつき1トーン
• 1分間間隔で TX/RX が切り替わる (正確な時間で同期をかける)

細かい部分がまだよく理解できてない。ものすごいおおざっぱに理解すると、

• 厳密にお互い同期した時間を持っていることを前提に
• かなり強い誤り訂正符号を付与して

かすかに受信できる信号を本来のデータにデコードできるようにする、という話っぽい。あとよく使うメッセージに関してはショートハンドメッセージというのを定義してより受信しやすくしている (プロトコルにこういうヒューリスティックな要素があるのはだいぶ気持ちが悪いしチートっぽい)

EME の場合、月まで往復約2.5秒かかるけど、正確な時間の同期はどうしているんだろう？ 定数？

結構前からなんだけど、キッチンの換気扇を止めているとき、煙草の臭いが入ってくることがある。不愉快極まわりないうえに完全な対応法がない。吸ってるやつを見つけだして磔にしたい。ヒカリエに磔にしたい。

原因は

• 外にタバコの臭いがしばしば蔓延している
  • うちはこのせいで窓が殆どあけれない。磔にしたい
• 部屋の中が負圧になってる
  • 浴室の換気扇をつけっぱなしにしているからだと思う

解決方法としては

• 吸ってるやつを全員磔にする

が最も効果的で最良の方法なんだけど、合法的に行う方法が思いついていない。

なので仕方なく、換気扇をプラスチックダンボールと磁石で作った自作の蓋で塞いでる。3ヶ月ぐらいこれで (つまり運用で) カバーしているけど、プラスチックダンボールだと硬さが足りなくて耐久性が低く、よく落ちてきてしまって、これがまたストレスが溜まるんだけど、まぁまぁお手軽なので現状これでやってる…… もっといい方法を知りたい (例えば喫煙者を全員合法的に磔にする方法とか)。

異常に食べたくなったので買った。

梅みんつ的なものは100均で2種類ぐらい買ってみたけど、メーカーによる個体差が激しい (香料効かせすぎていて美味しくないやつもひいた…)。小さめのほうが好きだけど、オリオンのは少し大きい。

元気が全く、全然出てこなくて、どうしようもない。1回大きい負荷がかかって以来全方面にすっかり心が折れてるのがずっと続いてる。

コーディングは、別に、個人的に書きたいコードとかは比較的普通に書けるしまぁまぁ楽しめるけど、誰か別の人間のためにコードを書こうという気が前にも増して一切失くなってる。

アルゴリズム的なものに実装に挑戦しようとしたりしているけど、全然どこから手をつけたらいいのかわからなくて、本当、自分は実力というのがなくて、積み木を積むことしかできないということを痛感してやる気がなくなる。理論的な部分が、イメージは掴めても、コードに落としこめない。コードが普通に書ける人からしたら「はぁ？」って感じのレベルだし、そのせいで、こういったコードを書こうとすると、コードを普通に書ける人にバカにされることばかり考える。「そんなこともできないでプログラマ〜やってるの？」「そんな実装普通しないよｗｗ」とか、そういったことが常に頭に浮かぶ。

具体的には、隠れマルコフモデルとかリードソロモン符号とかが、なんとなくかっこいいし実用的そうなのでやってみたいけど、途中で挫折してる。隠れマルコフモデルはモデルの作りかた(学習のさせかた)がさっぱりわからず、コードをコピってきたとしても、欲しいものを作りあげることができない。リードソロモン符号は根本的にガロア拡大体の変換規則みたいなやつが理解できない。リードソロモン、ググっていると「こんなのもできないのは〜」みたいのがひっかかってほんと萎える。

コード以外でも、モールスの聞き取りは気分転換にやっているつもりなんだけど、全然成長している感じがしない。こっちは定量的評価として聞き取り精度を記録していて、全く成長していないなんてことはないんだけど、とにかく成長が遅すぎてめげそう。ある程度は訓練が習慣になっているとはいえ、こんなことしても1円にもならないし、バカにされるだけというのが多重でつらい。

無線工学の勉強も、一定の成果は見せていて、テスト問題で評価する限りでは向上が見られるけど、主観的には向上した感じがしていない。

英語の勉強は毎回それをしようと始める前にめげる。何度始めようとしても「いくら勉強したってネイティブ並に喋れる日本人にバカにされる」状況しか思い浮かばず、メリットが押し潰される。ドヤ顔で日本人に説教されるのほどイライラすることはないと思う。そいつらがみんな死んだらやる気になってもいい。TOEIC満点とるのが普通です、みたいなのやめてほしい。そういった形でバカにされることがないぶん、モールスのほうが100倍ぐらいマシに感じる。モールスは、十分に習得した人がレベルが低い人をバカにすることはあまりない。なんで同じような技術訓練なのに、モールスと英語でこんなに違うのだろう。

いずれにせよ、遅かれ早かれ、技術力の向上を目指すならば以下の点を改善する必要がある

• 数学力
• 英語力

英語はともかく数学力を向上させる方法がさっぱり思い浮かばない。かけ算九九がクソ遅い時点で躓いてる。これら、できる人からひたすらバカにされ続ける感じの分野なので、本当につらい。

RPG のレベル上げみたいに、特に負荷をかけなくても、単純作業をやっていたらレベルが上がっていったらいいのにと思いながらドラクエ1をクリアした。現実は少し強めの負荷を継続的にかけないとレベルは上がらない。同レベル以下のモンスターだと経験値が0になるネトゲのような感じだ。

読んでて、実際実践しないとだめなそうな感じだけど、結局役に立たない気がする。

第七章を読んでて、じゃあタバコ臭いやつに対して怒りが出ないようにできるか？っていうと、全然解決方法が見えてこない。

• 「タバコなんて誰もが吸うべきではない」
  • ↑ 反論：人の勝手
• 「路上喫煙はもはや禁止されてる」
  • ↑ 反論：？
• 「タバコを吸うやつはゴミクズ」
  • ↑ 反論：そうとは限らない
• 「タバコを吸うやつのドヤ顔に嘔吐がでる」
  • ↑ 反論：誰もがドヤ顔ではない

こんなことしても意味があるように思えない。公正さが相対的だなんてあたりまえすぎる。

生理的に受け付けることができず、逃がれることもできないことに対しての対処法が示されていないように思う。それに対して「認知の方法を変えろ」っていうのはすなわち我慢しろってことと一緒だ。結局我慢するしかないってこと。怒らないで、諦めろってだけ。どうしようもないから、単に諦めて我慢しろ、としか言っていない。「なんであんなゴミクズ共がドヤ顔で路上喫煙してるのに、何も悪くない自分が我慢しなくてはいけないんだ？」とは考えてはいけない。単に我慢して通りすぎろってだけ。どうしようもない。何の救いもない。思考を停止しろってこと。こんなのなら、ツールとしての神様というのを考えると「あいつらには天罰が下るから放っておこう」と考えたほうが、精神のコントロール方法として惨めにならないぶんまだマシだと思う。

認知療法の「考え方を変えろ」というやつが、そもそもアイデンティティを毀損していて、デッドロックが発生しているように感じる。

これまでの「考え方」はこれまでの人生そのものではあるけど、全てを変えない限りではアイデンティティは破壊されない。これからの人生は別に考え方を構築できる？

しかし自動思考ってものすごいアイデンティティに密着しているように感じる。1個取り外せば、全部こんがらがっているから、全部出してくるしかないような。

習慣とか考え方って、急に変化させることはできない。徐々にしかできない。

ウェブサービスは「リニューアル」をすべきではないと思う。少しずつ変えていって、最終的に目的ものに変化させるしかない。過渡をおろそかにしているから、結局ユーザに大きな反感を買う。

何をするにせよ出てきて、自分をバカにしてくる鬱陶しいドヤ顔というのがあって、それを消滅させたい。

何をするにせよ頭にイメージとして自動的に浮かんでくる。これは、特定の誰かというわけではなく (直近で嫌なことを言われた場合その人物になるけど)、いろんな顔が重ねあわさっている。

不愉快なことがあったときも、その「不愉快な顔の集合」みたいなのが脳裏に浮かんでくる。タバコ吸ってるゴミ共の場合、そういう人らのドヤ顔が合成されて脳裏に浮かぶ。

幻視・幻聴というレベルではないと思う。実際それがないことはわかっているけど、自動的に想像される。何が原因になってこれが起こるようになったのか、全くわからない。いつからなのかもわからない。少なくとも大学生のときにはあった。一番遡って思い出せる範囲でバカにされて傷ついたことを思い出すと小学1年生のときの給食で教師にバカにされたことだと思う。今思い出しても理不尽さに腹が立つ。とはいえ、たぶん特定の1事象でこうなったわけじゃなくて、積み増しされて不愉快な顔が合成されているんだと思う。

タバコについては、独りでいるときはアンコントローラブルな部分があって、即殺したい感じになるけど、社会性にスイッチが入っているときはほぼ何も考えず無視できる程度の自動思考だと思う。実際、喫煙者がいる飲み会とかは (飲み会中は) キレたりはしない。帰ってからがひどいだけだ。

不愉快な顔の自動思考も、社会性にスイッチが入っているときは起こらない。これは社会性にスイッチが入っているかどうかじゃなくて、単に社会性の負荷が重すぎるので、そのへんの自動思考まで負荷がかけられないからだと思う。

しかしタバコに対する不快感の場合、人前で抑えていれば十分なので、社会性スイッチと同期しているのは都合がいいというか、表面的には問題がないけど、何らかの学習とか、コードを書くとかの場合、社会性スイッチが必ず切れている状態になるから、非常に大きな問題になってる。

22:00 ぐらいから1時間ぐらい、タバコの臭いがあまりにもひどかった。基本、止まっている換気扇から入ってくるから、プラスチックダンボールで蓋 (当然タンボールの方向的に隙間ができにくいようにはしてある) をつけてるにも関わらず、ひどい臭い。しかたないので換気扇をまわして、臭くない方向の窓をあけた。

外にいて多少タバコ臭い、というのがぎりぎり我慢できる限界で、家の中に臭いが入ってくるのは完全に我慢の限界を超えている。タバコ吸ってる汚物は、自分が汚物であることを自覚して、締めきった部屋でもちろん換気扇もつけずに、すなわち自分という汚物を完全に密閉して吸ってもらいたい。それができないならタバコを吸うな汚物。

つかれた

抵抗器とかコンデンサとかをうまく整理する方法を考えてる。とにかく種類が多いし、そこそこ体積があったりするので面倒くさい。

値わけして袋詰めするまではいいとして、袋がばらばらにあっても、ソートされていないと見つけることができないのでゴミと変わりがない。

仮にも (こういう言い方をすると怒られそう) プログラマとして働いているのに、情報処理試験を一度も受けたことがなく、勉強の機運が高まっているので受けてみようと調べてみたけど、やはりメリットが感じられず、モチベーションが沸いてこなかった。

情報処理の試験は受かっても別になにか独占業務があるわけではないので、何に価値を見い出せばいいのかよくわからない。「情報セキュリティスペシャリスト」とか名前かっこいい！ぐらいしかない…… ウェブ業界だと、資格持ってても github しか見られないし就職には殆ど意味を感じられない。

勉強すること自体には意味があるけど、過程だけに意味があってもやる気沸いてこない。なんか「これは！！」っていうメリットはないんだろうか。

慎重に買ってるつもりだから、あんまり思いつかないんだけど

ブドウ糖

頭良くなるかな〜 と思ったけど (この発想が頭悪い)、まぁ砂糖だね… って感じだった

電工ペンチ

ワイヤストリッパーは便利だけど、圧着端子は別の工具が必要だな、思った。結構つらい。

頭洗うやつ

悪くはないんだけど、ちょっと面倒でたまにしかやらなくなった。でもたまに使うと気持ちいい。充電が地味に面倒なので、非接触充電になったらなあ。

モンキーレンチ

専用サイズのレンチのほうが100倍ぐらい使い勝手が良い。あると便利だけど、あくまで非常用だなあという感じ。100均でもそこそこの種類のレンチは買える。

6口スイッチつき電源タップ

スイッチついててもあんまり使わないので口数が多いほうがうれしい…… 一応プリンタの待機電力が非常に多いのでできるだけ切るようにしてるけど、なんともいえない。

Qi 用のエネループ充電器

Qi (無接触電源) で単3エネループを充電するやつ。Qi は電力供給能力が低いので充電速度が遅いし、結局普通ので充電していて使ってない。

舌ブラシ

舌は確かに綺麗になるけど、最近使ってない。商品は悪くないと思う。

結論：よくなかったものまとめてもテンションあがりませんね。

方程式解くのがクッソ苦手でも、コンピュータで方程式を解くためのツールというのが存在するので、大抵のものは自分のようなバカでも自動で解くことができる。

Maxima は Common-Lisp で書かれた数式処理ツールで、方程式を解くこともできる。例えば以下のように

(%i96) assume(C > 0, L > 0);
(%o96)                          [C > 0, L > 0]
(%i97) solve([ (2 * %pi * f * L = 1 / (2 * %pi * f * C))], [f]);
                            1                          1
(%o97)     [f = - ---------------------, f = ---------------------]
                  2 %pi sqrt(C) sqrt(L)      2 %pi sqrt(C) sqrt(L)
(%i98) tex(%);
$$\left[ f=-{{1}\over{2\,\pi\,\sqrt{C}\,\sqrt{L}}} , f={{1}\over{2\,
 \pi\,\sqrt{C}\,\sqrt{L}}} \right] $$
(%o98)                              false

(負のやつが出てくるのはどうしたらいいのかわからない。f > 0 を assume しても消えない)

また、出てきた方程式は tex(%oNN) とすると tex 記法にできて、そのまま使える (手直しが必要な場合も多いけど)

数学ができない僕みたいな人間にとってはこの程度の使い方でも死ぬほど便利だと思う。プログラムを書いてるとしばしば方程式を解いて使う場面があって、そういうとき試行錯誤なしにパツイチで求める式が出てくるのはうれしい。

問題は数式を Maxima の式になおすとこなのですこしだけメモ。演算子, ベーシックな関数

$ load(simplify_sum);
$ simplify_sum(sum(2 * n, n, 1, k));

 log10(x) := log(x) / log(10)

4K で10万円を切る値段のがでてきた。23.8inch 3840 x 2160 非光沢 IPS。重要なのはディスプレイサイズが今までのに比較して、小さいところだと思う。AdobeRGB 99% カバーらしいし、写真扱うなら本当に欲しいものが出てきた感じだ。

ディスプレイのppiはどれぐらい必要か? というのを書いたけど、これの場合、ppi は約185。デスクトップに置いたとき、ディスプレイの大きさとのバランスが良いのがでてきたなぁという印象。

MacBook の最新モデルからは 4K 解像度に対応しはじめたので、ようやく使える環境が整いつつある。しかし、割と最近にディスプレイ買ったばっかりなのでちょっと手が出ない…… (とかいって買いそう)

function ppi (w, h, inch) { return Math.sqrt(w * w + h * h) / inch };
ppi(3840, 2160, 23.8); //=> 185

買ったSDカードあるいは持っているSDカードの速度がどんなものか測りたいとき、Mac だといまいち良いツールがなかったけど、いつのまにか良さそうなのがでてた。

• https://github.com/flagsoft/sdspeed

ただ、SDカードの領域を埋めつくすまで書きこもうとするのでかなり時間がかかるのがイマイチな感じ。意図としてはカード全体がちゃんと動いてるかどうかをチェックという感じだと思う。実際、途中から速度が大幅に変わったりする。

以下のスクリーンショットは手元にあった microSD カード (カード上の表記は Class10) を測定中のもの。最初は 6MB/s だったけど、途中から 11MB/s ぐらいになった。Class10 は綺麗な状態での書き込み10MB/sを保証するので、仕様には適合している。