a-miiのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽ほぼ日刊ｲﾄｲ新聞 - 目次
●05/10 13:01
･中国で､恐竜の足跡の化石が発見されて､
それに｢ｴｳﾌﾟﾛﾝﾃｽ･ﾉﾋﾞﾀｲ｣と名前が付けられた｡
これは｢ﾄﾞﾗえもん｣ののび太くんにちなんだ名だという｡
だれもが知っているとおり､ﾄﾞﾗえもんも､のび太くんも､
創作上の登場人物とﾛﾎﾞｯﾄで､現実にいるわけじゃない｡
だけど､そういえば､発見された恐竜についても､そうだ｡
見つけられたのは恐竜の骨や歯ではなく｢足跡｣なのだ｡
恐竜が歩いた足の跡なのであって､やつは､そこにいない｡
のび太くんは､現実にはいない人なのだけれど､
中国の研究者のこころのなかに生きていて､
1億2000万年も昔にいた恐竜の名前になった｡
そして､当の｢ﾉﾋﾞﾀｲ｣と名付けられた恐竜も､
まだ詳しいことはわかっていないままに､
人びとのこころのなかで姿かたちを得て､ｲﾒｰｼﾞを残す｡
どちらも｢本体｣はないままに､そこにいるということだ｡
そして､それはそれで生きている､

▽きしだのはてな
●04/27 09:23
2021-10-14
代数ﾃﾞｰﾀ型の直積型と直和型の理解
代数ﾃﾞｰﾀ型という考え方があって､型に対する代数的な操作を行うものっぽいです｡代数的な操作というのは､足し算とか掛け算ですね｡直和型と直積型というのがあります｡
直積型は構造体のようなもので､Javaだとrecordが導入されましたね｡
record A(int p1, boolean p2) {}
みたいなものです｡
これがなぜ積なのかというと､このﾚｺｰﾄﾞAの取りうる値の組み合わせは､intの値のﾊﾟﾀｰﾝ数(2 ^ 32) × booleanの値のﾊﾟﾀｰﾝ数(2)で2 ^ 33になるからなんだと思います｡
直和型は､型がこれかこれ､みたいになるやつです｡Javaだとtry-catchのcatch句に直和型が指定できて､この例外かこの例外､みたいな書き方ができますね｡
catch (NullPointerException | N