memo.xight.org

日々のメモ

ガス給湯器の凍結防止

Summary

記録的な寒波襲来に備えて、ガス給湯器の凍結防止策を再確認。
自動ポンプ運転が作動できるよう、浴槽の水を循環口(水とお湯の出入り口)よりも上に残しておく。

さらに配管の凍結予防のため、
1. ガス給湯器のリモコンの運転スイッチをオフにする。
2. お湯の出る蛇口から一分間に約400ミリリットル(約 4mm)の水を流し続ける (浴槽などで水を受けると経済的)

Reference

東京ガス - ガス給湯器の凍結防止
https://home.tokyo-gas.co.jp/gas/kiki/frozen.html

論文必勝法 - 情報処理学会 連載の記事

Summary

情報処理学会の会誌「情報処理」連載の「論文必勝法」が誰でも閲覧できるようになっている。

掲載号 タイトル(著者)
2020年1月号 査読を依頼されたら - より良い査読報告書の書き方 - (渡辺博芳)
2019年12月号 条件付き採録をクリアするには - 適切な回答書の書き方 - (田中勇樹)
2019年11月号 採否判定結果が届いたら - 査読結果に対する次のアクション - (松島裕康)
2019年10月号 論文執筆の作法 - 正しい論文の書き方 - (島岡政基)
2019年9月号 連載にあたって(谷口倫一郎)、論文とは何か(中山泰一)、本会が刊行する論文誌について(中山泰一)

Reference

情報処理学会 - 論文必勝法
https://www.ipsj.or.jp/magazine/ronbun.html

apt update で public key is no available

Summary

apt update で public key is no available というエラーが発生。

$ sudo apt update
W: An error occurred during the signature verification. The repository is not updated and the previous index files will be used. GPG error: http://repo.mysql.com/apt/debian buster InRelease: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 467B942D3A79BD29

apt-key を使って鍵を追加しようとする

$ sudo apt-key adv --keyserver keys.gnupg.net --recv-keys 467B942D3A79BD29
Executing: /tmp/apt-key-gpghome.XXXXXXXXXX/gpg.1.sh --keyserver keys.gnupg.net --recv-keys 467B942D3A79BD29
gpg: keyserver receive failed: Server indicated a failure

keys.gnupg.net が obsolete になったため、keyserverが見つからないようだ。

keyserver を変更して鍵を追加

$ sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 467B942D3A79BD29
Executing: /tmp/apt-key-gpghome.aZcq2blOEC/gpg.1.sh --keyserver keyserver.ubuntu.com --recv-keys 467B942D3A79BD29
gpg: key 467B942D3A79BD29: public key "MySQL Release Engineering <mysql-build@oss.oracle.com>" imported
gpg: Total number processed: 1
gpg:               imported: 1

apt-key は廃止予定 (deprecated)

Debian 12 (Bookworm) で apt-key が削除される予定。
gnupg で代替できるようだ。

Reference

GnuPG - Maniphest T5527 - keys.gnupg.net is obsolete
https://dev.gnupg.org/T5527

gihyo.jp - Ubuntu Weelky Recipe - 2021-07-21 - 第675回 apt-keyはなぜ廃止予定となったのか
https://gihyo.jp/admin/serial/01/ubuntu-recipe/0675

znz blog - 2022-07-04 - apt-keyの代わりにsigned-byを使うときの鍵の置き場所
https://blog.n-z.jp/blog/2022-07-04-apt-key-signed-by.html

ククログ - 2021-05-05 - 非推奨となったapt-keyの代わりにsigned-byとgnupgを使う方法
https://www.clear-code.com/blog/2021/5/5.html

Windows 開発キット 2023 とディスプレイ接続

Summary

Windows開発キット 2023を購入したが、ディスプレイ接続でつまづいたので記録。

ディスプレイ接続には、プライマリモニターとして Mini-Display Port (mini-DP) を利用することが推奨されている。
USB-Cに接続したディスプレイにはUEFI ブートメニューが表示されず、画面が点灯するまでに時間がかかるため。

筐体のmini-DPからは、mini-DP - DP 変換ケーブルを接続した場合のみディスプレイが表示された。
筐体のmini-DPから、mini-DP - HDMI変換コネクタを介したHDMI接続ではディスプレイが表示されなかった。
USB-Cから、USB-C - HDMI変換コネクタを介したHDMI接続では、ディスプレイが表示された。

USB-Cポートからディスプレイが表示できたデバイス (USB-C - HDMI)

Anker PowerExpand 8-in-1 USB-C
Amazon - Anker PowerExpand 8-in-1 USB-C

Anker PowerExpand+ 7-in-1
Amazon - Anker PowerExpand+ 7-in-1

Anker 5-in-1 プレミアム USB-Cハブ
Amazon - Anker 5-in-1 プレミアム USB-Cハブ

mini-DPからディスプレイが表示できたデバイス (miniDP - DP)

Amazonベーシック Mini DisplayPort - DisplayPort 変換ケーブル 0.9m
Amazon - Amazonベーシック Mini DisplayPort - DisplayPort 変換ケーブル 0.9m

mini-DPからディスプレイが表示できなかったデバイス (miniDP - HDMI)

Amazonベーシック Mini DisplayPort - HDMI 変換ケーブル 0.9m
Amazon - Amazonベーシック Mini DisplayPort - HDMI 変換ケーブル 0.9m

mini Display Port - HDMI 変換ケーブル
Amazon - mini Display Port - HDMI 変換ケーブル

Reference

Windows 開発キット 2023
https://www.microsoft.com/ja-jp/d/windows-%E9%96%8B%E7%99%BA%E3%82%AD%E3%83%83%E3%83%88-2023/94k0p67w7581

zscalerが利用するIPアドレスの範囲

Summary

海外からのアクセスを制御する場合、一律に拒否するのではなく、
クラウドセキュリティの利用を想定する必要がある。

海外のクラウドセキュリティサービスを利用している場合、
日本国内からのアクセスであっても、サーバ側は海外のIPアドレスからのアクセスに見える。
海外からのアクセスを一律で拒否している場合、日本国内からのアクセスを拒否してしまう。

zscalerは海外のクラウドセキュリティサービスを提供している。

zscalerを利用している日本国内企業からのアクセスを許可するには、
以下、大阪と東京リージョンからのアクセス許可が必要。

# Osaka I
147.161.192.0/23
147.161.194.0/23

# Tokyo IV
165.225.110.0/23
147.161.198.0/23

Reference

zscaler config - Cloud Enforcement Node Ranges
https://config.zscaler.com/zscalerthree.net/cenr

Mubert-Text-to-Music - テキストから音楽を生成するデモ

Summary

Colab notebooks demonstrating prompt-based music generation via Mubert API


All music owned by Mubert Inc. Please visit www.mubert.com/ for commercial licensing inquiries.


Google ColabとMubert APIを使ってテキストから音楽を生成するデモ
すべての音楽はMubert Inc. が所有するため、商用ライセンスについては要確認。



Reference

github - MubertAI - Mubert-Text-to-Music
https://github.com/MubertAI/Mubert-Text-to-Music

Nightdrive by James Stanley

Summary

I've made a JavaScript simulation of driving at night time on the motorway. It's hard to classify what it is. It's not a video, because it's generated dynamically. It's not a game, because you just watch. It's not a screensaver, because it's not the 90s. Maybe it's a "demo"?




Reference

James Stanley - Nightdrive
https://incoherency.co.uk/nightdrive/

浮動小数点数 (float 型) の仕組みを学べるアプリ

Summary

インタラクティブに浮動小数点の仕組みを学習できるWebアプリ。
符号部、指数部、仮数部のビットを操作して、Floatの値、実際の値を確認できる。



Reference

siv3d.jp - 浮動小数点数 (float 型) の仕組みを学べるアプリ
https://siv3d.jp/web/sample/IEEE754Float32/IEEE754Float32.html

via

twitter - reputeless - 2022-06-29 23:58
https://twitter.com/reputeless/status/1542160459658416129