Lycolog

以前次のような文書を見かけ、消しゴムは10円だろうと安直に考えてしまったことがあった。しかしこの文章にはちょっとした罠があり、ちゃんと読むと消しゴムは10円にならないという話だ。

ボールペンと消しゴムの値段は合わせて110円です。
ボールペンは消しゴムより100円高い。
では、消しゴムの値段は？

この文章のポイントは二行目にある「ボールペンは消しゴムより100円高い。」だ。よく見るとボールペンの値段に消しゴムの値段が含まれている事がわかる。この時点で消しゴムは10円ではなくなる。では何円になるかだが、消しゴムの値段をXとして考えた場合、X+(X+100)=110という式が成り立つので、次のように解ける。

X+(X+100)=110
       2X=110-100
       2X=10
        X=5

つまり消しゴムは5円である。

おまけで連立方程式でやる場合も考えてみる。ボールペンの価格をX、消しゴムの価格をYとした場合、110=X+Yと100=X-Yの二つの式が成り立つ。ボールペンの値段から引けば消しゴムの値段ができるため、加減法を利用して、次のように計算できる。

   110=X+Y
-) 100=X-Y
------------
    10=0+2Y
     5=Y

この話自体は結構有名らしく、ググるとかなり出てくるのだが、個人的には文章はちゃんと読んだほうがいいなというのと、連立方程式はこういう時に役に立つのだなという学びを得られたので良かった。

最近クレジットカードの不正利用についてよく聞くが、個人に取っている対策を書いておく。

使わないサービスのアカウントからはクレジットカード情報を削除する

これはカード番号が漏洩する恐れがなくとも不正利用のリスクがあるからだ。

例えば何かしらの理由でアカウントが乗っ取られたり、サービス側で不正操作されたときに予期しない課金が行われる可能性はある。正直、個人的にサービス側を全く信用しておらず、オペミスやストライキの一環、悪意のある社員によるいたずらなどで不正請求が起きる可能性も懸念している。

クレジットカード情報の紐づけが削除できないサービスは極力利用しない

例えばOpenAIやNotionでは一度クレジットカードを登録すると削除できない、こういうサービスは怖い。基本的にカード情報を登録しない方向に倒している。

やむを得ず登録してしまった場合は、そのサービスを使わなくなったらアカウントを削除することにしている。

正直、クレカの紐づけ解除できないサービスは全部滅んで欲しい。

解約したカードは強制停止させる

例えばSMBCでは解約したカードであっても有効期限まで使える仕様があるため、番号漏洩やクレジットマスター攻撃などによって被害を受ける可能性がある。そこで取れる対策としてはカードの強制停止だ。これはサポートセンターに連絡することでカードそのものを無効化する方法だ。カード番号が機能しなくなれば不正請求される可能性もなくなる。

因みにこの手続きは正規のものではないため不必要に使うのは控えたほうがいいと思う。

逆に言うと解約したカードでも有効期限までは使えてしまうため、サブカードとして使うなどの使途もあるので、利活用の道があるのなら残しておくのも悪くはない。

PrettierというとTypeScriptやJavaScriptのコードを整形するツールであって、Markdownを整形するツールという意識のある人は少ないかもしれない。

それが実はPrettierはMarkdownの整形に使えるのだ。例えば次の図はPrettierを使ってMarkdownを整形しているシーンを撮ったものだ。具体的にはnpx prettier -w hoge.mdした時の前後を撮っている。

これは別の文書からコピペしたなどで書式が崩れることや単純なtypoでズレたりしたときに地味に効果を発揮してくれる。Prettier v2以前だと全角と半角文字の間の自動スペース挿入が嬉しかった人もいるだろうが、v3でこの機能は廃止されている。

他にもチーム開発だとMarkdownの細かい仕様に熟知した人は多くないので、最低限の書式を合わせるのにも役立つだろう。Markdownのインデント幅を変えたいが、コードフェンスの中のインデントは変えたくないみたいな用途みたいなカスタマイズもできるし、個人用途でも結構使える。

しかしフォーマッタの挙動がアップデートでころころ変わるのは割と不快なので、この辺りは何とかなってほしい気もする。

ノートPCは夏場にパフォーマンスが落ちるが、冷やす方法は何かないかと試行錯誤したログ。

ちゃんと計測したわけではないので効果は雰囲気。雑な観測では100度付近に張り付いていたCPU温度が60度くらいに落ち着き、大分マシになった。

CPUクーラーのグリスを塗りなおす

試したら10度くらい下がった気がする。グリスはNoctuaのやつを使った。

ノートPCを開いた状態でひっくり返す

熱は上に移動するが、普通に置いているとキーボードに熱がこもるため、ひっくり返すことで熱がたまるのを抑える。

開いた状態でひっくり返すのは少なからずキーボード面に移動する熱を発散させるため。

ノートPCの裏ブタを外す

裏ブタに熱がこもるので外すことで放熱できるようにする。

ノートPCを開いた状態でひっくり返して、裏ブタを外し、本来の表面に風を当ててみたら10度くらい下がった気がする。

ラズパイのクーラーを乗せる

こういったラズパイ用の小型タワークーラーをヒートパイプの上に乗せる方法。

デスクトップ用のCPUクーラーは大きすぎて安定せず、ヒートパイプに対して上手く接地しないため効果がなかったが、ラズパイ用のクーラーであればヒートパイプに丁度乗り、安定して接地してくれるので、それなりに熱を吸い上げてくれる。

試しに負荷をかけて100度になるところで、ラズパイ用のクーラーを一基ヒートパイプ上に置いてみたところ、97度までしか上がらなかったため、効果はあるものと思われる。

クーラーを回すにはAINEXのUSB ケースファン変換ケーブルがあるといい。これにラズパイ3用のクーラーのピンをつなぐとセットアップできる。

ラズパイ5向けのファンは専用の端子がついていて面倒なので、汎用的なコネクタがついているラズパイ3用のクーラーが便利だ。

エアコンをつける

これが一番効果があるのだが、エアコンの風が当たると寒い。しかし気温に対して指数関数的に温度が上がるように見えるので、室温が1度下がるだけでも結構効果がある気がする。

最終的に出来上がった環境

このようにノートPC冷却台の上にノートPCを逆さまにして乗せ、CPUのヒートパイプの上にラズパイクーラーを乗せている。しかし裏ブタを全開にするとLAN線が挿せなくなって困る。そこで裏蓋に穴をあけるため、アリエクで穴あけ用の裏ブタを購入し、放熱したい場所だけプラスチックカッターで切断して穴をあけている。これであれば元の裏ブタは無傷で温存でき、裏ブタと一体化したLANジャックを生かしたまま、放熱口を作れるという寸法だ。

結果的に室温27度下で、アイドル時であれば35～40度、通常時で60～70度、負荷がかかっていても100度に張り付くことは減ったように思うし、パフォーマンスは目に見えてよくなった。

ただちょっと大きな穴をあけすぎたので、裏ブタを買いなおして穴は小さく作り直そうと思う。

放熱口の改良(2024/08/08追記)

流石に穴が大きすぎて埃などの侵入が心配なのと、持ち運びに不便なので穴を小さくした。以下はそのビフォーアフターである。

今回の改造により見た目のヤバさも減り、大分マシになった気がする。因みに裏蓋は送料込みで5000円くらいするので結構痛い出費だった。

問題の温度についてだが、若干上がったもののファンとヒートパイプの接着を付属のサーマルパッドからNoctuaのCPUグリスに変えたところ、上手いこと相殺できたのでよかった。

基本はこのコマンドを流せば行けるはず

sudo apt update
sudo apt upgrade
sudo apt full-upgrade
sudo do-release-upgrade

トラブルシュート

「There is no development version of an LTS available.」というエラーが出る

sudo do-release-upgradeの実行時に-dオプションを外す

サービスをstop出来ないみたいなエラーが出る

自動起動していない場合、PowerShellなどからWSLを殺せば解決する

wsl --shutdown

サードパーティのリポジトリ周りでこける

コケてるリポジトリを消せばよい。以下は一例

ls -la /etc/apt/sources.list.d
sudo rm -Rf /etc/apt/sources.list.d/grafana.list*

「Some third party entries in your sources.list were disabled. You can re-enable them after the upgrade with the 'software-properties' tool or your package manager.」というエラーが出る

無視してよい