2020年7月4日 「おちこぼれフルーツタルト」のアニメ化記念で8月2日まで開催されている、 浜弓場双先生の作品展 ⧉に行ってきた。 同先生の「ハナヤマタ」のイラストも展示されている。 物販で17,000円ほど使ってきた。 （TODO: 写真を貼る）他の記事📓2020年7月20日の日記📓サイトをHonoXでリニューアル（2024年3月20日）📓『Theorem Proving in Lean 4』読了（2024年3月23日）📓Lean 4の直和型―number | number ≠ number!?（2024年3月28日）📓VSCodeの統合ターミナルのPowerShellのコードページをUTF-8に変える（2024年4月11日）
