のぶてな2 - はてなｱﾝﾃﾅ

▽桃の天然水
●12/21 14:20
2024-12-20MojoでProject Euler 83https://projecteuler.net/problem=83ﾀﾞｲｸｽﾄﾗ法ですが､実装するのはけっこう大変ですね｡TupleがComparableCollectionElementとKeyElementを実装してくれれば簡単なんですけどね｡import sys #################### List #################### trait Printable(CollectionElement, Stringable): pass fn print_list[T: Printable](a: List[T]): if a.size > 0: var s = "[" + str(a[0]) for i in range(1, a.size): s

▽ﾎｯﾄｺｰﾅｰの舞台裏
●12/20 03:44
ふるさと納税で丹波黒 ― 2024年12月17日 18時09分10秒毎年正月向けに煮ている黒豆｡そろそろ試験運転をしようと思って､黒豆を買いに行ったら､ｽｰﾊﾟｰなどにも､丹波黒がない｡例年､丹波黒がないときは､まあ､丹波黒は高いしと思って､光黒という黒豆を買っていた｡しかし､今年は､閃いた｡ふるさと納税で､丹波黒を返礼品にしている自治体があるのではないか｡調べたら､ありました｡しかも､丹波黒の本場､兵庫県丹波篠山市｡https://item.rakuten.co.jp/f282219-tambasasayama/y090-r/【ふるさと納税】令和6年産　丹波篠山産　黒大豆　丹波黒　200g×3袋（2Lｻｲｽﾞ･真空ﾊﾟｯｸ）　おせちに！これを買ったので一安心と思ったけど､いつ届くか調べたら､12月中旬から順次発送となっていて､いつ届くかわからん｡(>_<)それで､ふるさと納税

▽檜山正幸のｷﾏｲﾗ飼育記
●12/14 14:54
2024-12-13連立方程式系と余連立余方程式系雑記／備忘｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣で述べたように､ｴﾝﾄﾞとｺｴﾝﾄﾞは完全に双対なのですが､この双対性､なかなかに分かりにくいようです｡ｴﾝﾄﾞの作り方は｢連立方程式系の解空間を求める｣行為になっています｡ｺｴﾝﾄﾞを作ることはその行為の…連立方程式系と余連立余方程式系