気ままな日記＆備忘録　2023　　　

日ごろの研究や言いたい放題を記憶のための勝手な日記。