つれづれ日記

2023年6月30日 (金曜日)

22:04:31 # Life Emacs Mozcの設定。騙されたと思って'(mozc-candidate-style 'echo-area)にしてみた。どうもEmacs Mozcの候補の表示が遅いらしくてそれをEcho Areaに表示するというオプションがある。そして切り替えてみるとなんか速くくなった気がする。あとなんかそもそも見たくなかったのであるということがわかった。本当に困っている場合には確認するけど通常は現在の変換候補だけを確認できれば良くて意外と間違った変換というのはしてこないので大丈夫なのだった。

2023年6月28日 (水曜日)

07:02:58 # Life Designated Initializers。 C++20ではStructのinitializerでメンバーの名前を使った便利な記法が使えるようになったのだけど Cでは使えていた配列のInitializerで配列の番号を指定できるというやつが使えない。Lambdaのキャプチャと記法がかぶるからだろうだがなんとかならないものか。

2023年6月27日 (火曜日)

18:28:26 # Life script source。 HTMLファイルからローカルのjsファイルをscript sourceとしてロードできないのが地味に辛い。これどうやって解決すればよいのか。

2023年6月25日 (日曜日)

07:44:36 # Life 今月読んだ本の読書メモ。

「中西進著作集１９」万葉集全訳注原文付き。解説読んでいる限りこのフォーマットの最初の本なのだろうか。昭和５３年までこの形式がなかったとすると革新的ではある。読みやすいとは思わないが必要な情報がコンパクトに揃っている。感じの当て方や発声方法についての研究など興味をそそられる。
「First Break All The Rules」 52ページまで読んだ。 12Qの話が重要であるというあたりまで。なんかこれが正しいので従ってくださいという文章の作りがちょっとなんか受け入れられない。
「Humble Leadership」 Caveat Emptorは購入するものの責任をいうのか。 Lv1,Lv2,Lv3というのを定義していて、Transactionalな関係がLv1。そこにとどまるよりPersonizeした関係がより創発的な組織をつくると。 Lv2は人としてみていて、Lv3は親友や家族の関係。シンガポールの立ち上げ時期の例とかが出てきた。 DECも小さいときは良かったとか。Sunも。サットン2007 p107に書いてあるらしい「悪い行動は良い行動の５倍大きな影響を及ぼす」というのが気になる。どの本だろう。役割マップを書いてみた。
「Good code bad code」展開が独善的というか経験的というかなのがきになる。創業社長の自伝みたいなものか、それよりは再現性があるのかもしれない。あと多分発想がJavaなのかな。テスト書きましょうねとか、構成を考えましょうねとか。 Asyncのエラーハンドリングはcatch書かないと無視できるので暗黙的であるとか。インタフェースを考えてコメントがあまり必要なのはよくない設計だよねとか。 DIの説明とかもある。チームメンバーがあまり知らない新機能は使わないほうが良いんじゃないかとかいう保守的な部分も。コードレビューするときに言いたくなることを大体かいているような。
「スタンフォードの自分を変える教室」p55まで読んだ。目次読んで素敵だなと思った。エクササイズが各章にあっていろいろとやらされる。まじめにやると読むのに多分一年かかると思う。選択を自分で意識するとか瞑想することで集中する訓練ができるとかなんかやってみたいと思った。毎日バタバタしているとこういうのが必要なんじゃないかと思う。
「プログラマー脳」p41まで読んだ。 How We Learnの内容をプログラマー向けに書き直した感じ。混乱のタイプにはいくつかあり、ワーキングメモリの問題、短期記憶の問題、長期記憶の問題と三種類に分けられてそれぞれのレイヤに負荷をかけるコードのサンプルが出てて、興味をひかれる。２章はコードの速読にはチャンキングが重要であるとか。パターンを使って書き直すこと。忘却曲線の式が出てて、こんな形なのかとおどろく。
「何もしない空間が価値を生む」オードリータン。ライフハックをたくさん並べている感じ。議論をできるだけオープンにすることとか、オンラインでできるだけすることとか。テキストチャット時代からのインターネットの人だなぁと思う。中学校に行かないという決断の話とか。茶碗の一番大事な部分は内側の空間であるといわれてたしかにそうかも？
「茶の湯の歴史を問い直す」ｐ２６まで読んだ。面白い論文集。由緒書を重視しすぎたら歴史とは別の世界が広がっている。そもそも「侘茶」という言葉も１９０５年の本以前見つけられなかったと。史実をときあかそうと喫茶文化史を提案したのが編者である橋本素子だそうな。

08:15:27 # Life update-info-dirは各Infoを処理してdirファイルを生成するっぽい。 install-infoの出力をgitにコミットして調べてみた。どうもゴミは mutt-alias.info.gzとmuttrc-mode.info.gzを処理するときに生成されているっぽい。しかし調べてもなんでかよくわからない。Localeが変なのか？ iso-8859-1を設定しているっぽいけどだからこうなるという決め手がいまいち。

21:05:56 # Life Nodejsのパッケージ。使っているとWarningが出るようになった。そういえばApt-keyはDeprecatedなのね。 /etc/apt/trusted.gpg.dにファイルをおいてSigned-Byで指定すればいいんだろうか。

W: https://deb.nodesource.com/node_20.x/dists/bookworm/InRelease: Key is stored in legacy trusted.gpg keyring (/etc/apt/trusted.gpg), see the DEPRECATION section in apt-key(8) for details.

2023年6月22日 (木曜日)

07:39:03 # Life emacsで見るinfoがなんか壊れている。トップページにゴミが表示されているのでなにかが文字コード間違えて入っているんだろうとおもうがどれだろう。

2023年6月18日 (日曜日)

06:29:04 # Life podmanがエラーをはくようになった。どこかにローカルの設定があってvfsを指定しているらしい。どこにあるのか。とりあえずみつけたのでsudo rm -rf find ~/.local/share/containers/で削除。

$ podman build .
ERRO[0000] User-selected graph driver "vfs" overwritten by graph driver "overlay" from database - delete libpod local files to resolve.  May prevent use of images created by other tools

このパッチが入っていればエラーメッセージがわかりやすくなっていたと思うんだけど。

07:39:08 # Life Guava。BookwormになってGuavaのバージョンがかわったのでCLASSPATHを修正。 export CLASSPATH:=$(CLASSPATH):/usr/share/java/guava-31.1-jre.jar。しかしなぜこんなことを毎回変更しているのだろうか。もっと良い方法はあるんだろうか。

2023年6月17日 (土曜日)

07:44:11 # Life get_nprocs_confとget_nprocs。 Bookwormにあげてテストがコケ始めたので何があったのかなとおもったら僕のZenマシンではget_nprocs_confとget_nprocsが違う値を返すようになっていた。 get_nprocs_confは３２が帰ってきていて、get_nprocsは12。なんでだろう。実装としては、/sys/devices/system/cpu/possibleと/sys/devices/system/cpu/onlineをみているだけのよう。どうもpossibleのほうがLinux 6.1では大きな値が帰ってくる。なんかドキュメント眺めていたらpossibleよりpresentのほうが適切な気がする。とりあえずバグをファイルしてみた。1038386 がどういう挙動が正しいのかちょっとよくわからないな。

2023年6月16日 (金曜日)

22:13:12 # Life メインマシンまわりをbookwormにアップデートしてみた。今のところ問題を発見していない。フォントがなんか変わってしまった違和感がある。 ESSが動かなくなったのであとで調査。あとFlymake周りの昔のWorkaroundが動かなくなったので消してみた。 EmacsがめっちゃWarningを表示するようになった。なんでだっけ。コンパイルのせいかな。なんかサクサクになった気がする。native-comp-async-report-warnings-errorsがなぜtなのか。

2023年6月11日 (日曜日)

08:46:34 # Life ストックオプションとしての新株予約権。今まで従業員視点でしか気にしていなかったけど会社としてのメリットもあるのかな。時価で購入する権利をあたえるということは時価で会社に資金を振り込んでもらえるので新株発行するのと同じ効果がある（というか新株発行して即時売却している）。従業員から受け取ったお金は資本金と資本準備金にくりこまれる。資本金繰入は会社計算規則第１７条１項に従う。

09:05:36 # Life オリックスの株主総会招集ご通知。買収した会社、ワコーパレットについての株主提案。買収されたがわからの提案。ほうほう。

2023年6月3日 (土曜日)

21:40:36 # Life golangで数字に３桁づつにコンマをつけたい。なんかフォーマット文字列でどうにかなるかなと思いきや無理っぽくて、どうやらLocale対応のPrintfを使えば英語で数字を出力するときに３桁ごとにコンマがつくらしい。ということでこんな感じになるのだった。

import (
	"golang.org/x/text/language"
	"golang.org/x/text/message"
)

...	  
	  p := message.NewPrinter(language.English)
	  p.Printf("%v", budget)

2023年6月1日 (木曜日)

11:22:22 # Life あぁもう６月ではないか。

つれづれ日記 2023年6月

予定

毎日