▽山下泰平の趣味の方法
●01/26 12:46
AI (2)

▽おいもﾛｸﾞ | shr's tech diary
●01/26 04:48
最近のｺﾒﾝﾄ

▽melancholic afternoon
●01/16 00:05
1月15日_COFO無重力ﾓﾆﾀｰｱｰﾑPro購入したのが届いたので設置してみた. 最初ﾃｰﾌﾞﾙの真ん中につけたら中央にﾓﾆﾀを配置できなかったので左奥端に設置した.ﾓﾆﾀの下が広くなって使いやすくなった.1月12日_ﾈｺﾒﾝﾀﾘｰ 猫も､杓子（しゃくし）も｡新井素子とこすみ何気なく見たら新井素子がﾊﾟｿｺﾝに向かうｼｰﾝ, ｷｰﾎﾞｰﾄﾞに白い布をかぶせて独得なｷｰﾀｯﾁ.あれは親指ｼﾌﾄ入力ではないか. 久しぶりに思わず自分のｷｰﾎﾞｰﾄﾞもその設定にしてみた. おお, すんなりとちゃんと打てる. 手が覚えてるものだな.ただ元のﾛﾏかな入力に戻したら手が混乱してしばらく打てなくなった.

▽天泣記
●01/15 15:23
2025-01-14 (Tue)#1 forall {m n : nat} (H : m.+1 = n.+1), f_equal succn (f_equal predn H) = H を証明する昨日の my_vector_caseS で Hn を noconf_nat_inv Hn noconf_nat に置き換えるのにnoconf_natK という補題を使った｡そのために no confusion という準備が必要だった｡さらに置き換えた後に noconf_nat_inv Hn noconf_nat を展開して noconf_nat (f_equal predn Hn) にした｡でも､ここで Hn は n.+1 = n'.+1 という型なので､両辺の先頭が S なのはすでに判明している｡なので､もっと直接的に noconf_nat (f_equal predn Hn)

▽methaneのﾌﾞﾛｸﾞ
●01/14 18:45
Python 3.13 + PyMySQL で MySQL にSSL接続できない