▽覚え書き@kazuhi.to
●04/30 16:17
宇宙人類学の挑戦―人類の未来を問う
2021年10月27日 著
宇宙開発広報についての研究の一環で読了した『宇宙人類学の挑戦―人類の未来を問う』について｡いやｰこれむちゃくちゃ面白かったです｡一箇所､p.79に脱字（他の分野か見ればのところ､｢ら｣が抜けている）を発見......したのはさておき､
一〇万年ほど前に出ｱﾌﾘｶを果たして以来､地球上に拡がってゆくなかで言語と社会･文化の多様性を花開かせてきた人類は､たとえ地球上で平等な幸福を実現することができたとしても､ｸﾞﾛｰﾊﾞﾘｾﾞｰｼｮﾝのなかで多様性を失い､あるいは熱的平衡の死を迎えてしまうのではないだろうか｡
まずｸﾞﾛｰﾊﾞﾘｾﾞｰｼｮﾝと熱的平衡､この2つの単語を一文の中で使っていることにちょっと感動してしまったという｡小論文だかでこれらの語を含む作文を命じられても自分には多分無理だわ......すごい｡同時にｸﾞﾛｰﾊﾞﾘｾﾞｰｼｮﾝと人類の

▽檜山正幸のｷﾏｲﾗ飼育記
●04/29 19:09
2021-10-19
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
雑記／備忘
ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語や型理論の文脈で､空ﾘｽﾄの型つけ〈ﾀｲﾋﾟﾝｸﾞ〉が話題になることがあります｡集合論と圏論で解釈してみると､結果が違ってきます｡発想が違うので結果がｽﾞﾚるのは驚くことではありませんが､意外に思う人もいるかも知れません｡内容…
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題

▽新秀の介の日記
●04/28 20:57
2021-10-20(水) 晴れだけど風が強い
_ こんなもんかな
月曜､火曜と休んだために仕事が溜まっていた｡午前中はそれらを黙々と片付けた｡が､午後はかなり暇だった｡まあ､こんなもんかな｡
_ Bug-org 1645211 : [meta] Shipping the back button intervention
Back/Fowardﾎﾞﾀﾝをｸﾘｯｸしたときに出てくる｢履歴｣が重複していることがあるのだけど､これがそれに関するﾒﾀﾊﾞｸﾞかなあ｡よくわからないんだけど､とりあえずﾌｫﾛｰしてみよう｡
[ﾂｯｺﾐを入れる]
2021-10-20(水)
1. こんなもんかな
2. Bug-org 1645211 : [meta] Shipping the back button intervention

▽blog.jxck.io
●04/28 02:29
2019-10-16 Scroll To Text Fragment と :~:text
2019-08-18 WebTransport と WebCodecs そして Web はどこまで "ｹﾞｰﾑ化" するか
2018-05-15 Web Authentication API で FIDO U2F(YubiKey) 認証
2017-09-27 予約済みﾄﾞﾒｲﾝ (.example, .localhost, .test) について
2016-08-30 Google Developer Experts (GDE) になりました
2016-04-11 HTTP Strict Transport Security(HSTS) 対応
2016-04-09 Public Key Pinning for HTTP(HPKP) 対応と report-uri.io でのﾚﾎﾟｰﾄ収集

▽IT戦記
●04/18 05:21
読者になる