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

▽檜山正幸のｷﾏｲﾗ飼育記
●11/14 05:43
2024-11-13複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏雑記／備忘｢論理や型理論の圏論的意味論 // 導出ｼｽﾃﾑの圏と圏の圏｣において､導出ｼｽﾃﾑ達を対象とする圏に触れました｡しかし､導出ｼｽﾃﾑのあいだの準同型射（それが圏の射となる）を素朴に考えていては､どうもうまくないようです｡導出ｼｽﾃﾑは､複圏…複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏

▽仕様検証ｸﾞﾙｰﾌﾟ - 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