2022-02-19から1日間の記事一覧

今度読ませてみようかな

参加してるJavaEE勉強会では、対象書籍のそれぞれの部分を担当する人が立候補して、日本語のサマリーを用意してる。 当日はそれを説明したり、そのまま読み上げたりしてる。 説明するのはいいけど、読み上げるのは少しだけ面倒な気持ちがある。 この前、この…

梱包用のダンボールを入手する敷居が高い

たまたま見かけたセール品、下取りできるととてもお買い得になるので心が揺れてる。 ただ、家にあるのは十年くらい前のキャニスター型なので、下取りのためにはそこそこ大きなダンボールが1枚だけ必要になる。 ECサイトではバラ売りしてないし、最寄りのホー…

TLA+に再挑戦(2022.2)

英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 今回 2022.2 実践TLA+もくもく会 - connpass 「6章 時相論理」を読んだり試したり 次回から第2部、「7章 アルゴリズム」 感想 デッカーのアルゴリズム 厳密に交互にと…

確定申告の季節だった

少しだけど毎年寄附してるし、去年は返礼品目当てでふるさと納税も使用したので、寄附金控除を入力したかった。 税務署に行かないで手続きできるのは本当に楽だな。

とても久しぶりに落花生を食べてる

少し前に実家から送られてきた(実家は落花生農家ではない)。 たぶん、二十年くらいぶりの落花生だと思う。 凄まじく殻が飛び散るので、少し嫌なんだけど、シンプルな風味でよい。