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

▽Computer-Cryptologist’s Diary (2008/7)
●11/20 05:00
2024年11月19日11/6以降､ずっとではないものの､ほぼ毎日異音が聞こえる｡年末･年始休までもって欲しいところだが厳しいか｡なんとかSCIS〆切まではもって欲しい｡

▽仕様検証ｸﾞﾙｰﾌﾟ - TrueLogic 仕事日記
●10/28 17:34
【完了】10月28日（月）6:00-7:00　ﾃﾞｰﾀﾍﾞｰｽﾒﾝﾃﾅﾝｽ実施に伴うはてな各ｻｰﾋﾞｽ停止についてのお知らせ

▽たけをの日記＠天竺から帰ってきたよ
●09/25 20:56 今井たけを氏
2024-09-24ﾌﾛｰ効率重視の開発について考える 後編 ～中長期目線の話～註：この記事は前後編の後編です｡前編を先に読むこと推奨です｡ bonotake.hatenablog.comTL;DR（後編のみ）中長期的には､ｿﾛ開発はﾘｿｰｽ効率（人員の稼働率の高さ）､ｱﾝｻﾝﾌﾞﾙ開発はﾌﾛｰ効率（ﾀｽｸが滞りなく処理される度合い）に長所があるｱﾝｻﾝﾌﾞﾙ開発はﾎﾞﾄﾙﾈｯｸが生じにくいため､中長期目線ではｱﾝｻﾝﾌﾞﾙの方が安定的な開発ができ､ｽﾙｰﾌﾟｯﾄも高くなる逆転現象が起こりうる目次TL;DR（後編のみ）目次前編のおさらい的な何か中長期的な比較：ﾘｿｰｽ効率 vs ﾌﾛｰ効率ﾎﾞﾄﾙﾈｯｸの問題ｱｼﾞｬｲﾙ本来の意味からﾌﾛｰ効率を考えるつまりは冗長性を確保するということｿﾛとｱﾝｻﾝﾌﾞﾙでﾊﾞﾗﾝｽを取るおわりに前編のおさらい的な何かよく｢ﾘｿｰｽ効率重視

▽CiteULike: hubris Blog
●06/04 23:22
Table of ContentsTable of Contents