▽檜山正幸のｷﾏｲﾗ飼育記
●11/22 08:33
2024-11-21等式の二種類の使用法： 選別条件と同一視宣言雑記／備忘ひとつ前の記事｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣において､“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました｡この双対性はちょっと不思議な感じがします｡最終的には､写像（集合圏の射）の並行ﾍﾟｱ（両端が…2024-11-20圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ雑記／備忘ｴﾝﾄﾞとｺｴﾝﾄﾞは､その名前から双対なんだろうとは誰でも思うでしょう｡しかし､定義の仕方によっては双対性が見えにくいこともあります｡この記事では､ｴﾝﾄﾞとｺｴﾝﾄﾞの双対性が出来るだけ見えやすくなるような定義と記法を提示します｡$`\newcommand…等式の二種類の使用法： 選別条件と同一視宣言圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ

▽あっきぃ日誌
●11/16 17:53
基板が無事届きまして､Rev.1の方は案の定だめで（だめじゃないけどｸｿ長いﾋﾟﾝﾍｯﾀﾞｰが必要）､あとから届いたRev.2で組み立てました｡というわけで完成形がこちら｡

▽やねうら王 公式ｻｲﾄ | ｺﾝﾋﾟｭｰﾀｰ将棋 やねうら王 公式ｻｲﾄ
●11/13 14:18
羽生先生の発言は何が開発者の反発を招いたのか？ に yrks より

▽ablog
●11/13 06:43
2024-11-12Redshift のﾕｰｻﾞｰ名にﾊｲﾌﾝとﾄﾞｯﾄを使えるかAWSRedshift のﾕｰｻﾞｰ名にﾊｲﾌﾝとﾄﾞｯﾄを使えることを確認したﾛｸﾞをﾒﾓ｡[ec2-user@ip-172-31-0-101 ~]$ psql "host=redshift-cluster-poc-central.********.ap-northeast-1.redshift.amazonaws.com user=awsuser dbname=dev port=5439" Timing is on.psql (13.7, server 8.0.2)SSL connection (protocol: TLSv1.2, cipher: ECDHE-RSA-AES256-GCM-SHA384, bits: 256, compression: off) Type "help" for help

▽ぴょぴょぴょ？ - Linuxとかﾌﾟﾛｸﾞﾗﾐﾝｸﾞの覚え書き -
●11/07 23:52
2024-11-04macOSでﾈｯﾄ切替時にｽｸﾘﾌﾟﾄを自動実行する方法macOS bashmacOSでﾈｯﾄ切替時にｽｸﾘﾌﾟﾄを自動実行する方法ですIPｱﾄﾞﾚｽが変わった場合に ssh を再接続したいwifiが途切れたらﾌﾟﾛｾｽをkillしたいwifiが再接続されたらﾌﾟﾛｸﾞﾗﾑを自動起動したいといった場合に利用できます動作原理起動したいｺﾏﾝﾄﾞを /path/to/reconnect.sh としますmacOSはﾈｯﾄﾜｰｸの構成が変わるとDNSを再設定します例えばDHCPでIPｱﾄﾞﾚｽを取得した場合wifiをOffにしたためﾈｯﾄﾜｰｸが切断された場合LANｹｰﾌﾞﾙを抜いた場合，差した場合は，DNSが再設定されますDNSの設定はﾌｧｲﾙ /etc/resolv.conf に保存されます．つまりﾈｯﾄ切替時は，ﾌｧｲﾙ /etc/resolv.conf