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

▽きしだのはてな
●04/27 09:23 nowokay
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

▽かんべえの不規則発言
●04/26 12:47
g●かんべえの不規則発言
＜7月21〜22日＞（水〜木）
○久々に講演会で福岡へ｡考えてみれば､飛行機に乗るのは今年2回目である｡
○福岡に到着してみると､既に｢緊急｣でも｢まんぼう｣でもないので､市内はわりと平常ﾓｰﾄﾞにみえる｡講演会も｢ﾊｲﾌﾞﾘｯﾄ方式｣だと聞いていたのだが､ﾘﾓｰﾄよりもﾘｱﾙのお客さんの方が多かったようである｡せっかく来たのだから､これはこれでありがたい｡
○地元経営者の方々とお話しすると､やはり製造業は好調なところが多い｡21日公表の6月の貿易統計でも､輸出は7兆円越えですからね｡ﾄﾗﾝﾌﾟさんが中国に貿易戦争を吹っ掛けた2018年以来の水準です｡貿易統計では､このところｱﾒﾘｶからの医薬品の輸入額に注目しているのですが､今月は684億円（前年比21％）｡先月は841億円で､前年比209％増であった｡ﾜｸﾁﾝの輸入もこの中に入っているはず｡意外と数百億円のｵｰﾀﾞｰな

▽軍事評論家=佐藤守のﾌﾞﾛｸﾞ日記
●04/24 14:48 佐藤守
そこで“心機一転”を図る新政権に､尊敬する小堀教授が提言する｢正論｣が目に留まった｡全く同感である｡ただ一部？が付くのは､小泉元首相が､靖国参拝に関する内政干渉を拒絶しそれを踏襲した国政担当者は立派だった？という箇所だが､私は小泉氏は参拝を票集めと売名に使っただけで､担当者にも勇気はなかったと感じている｡全文を掲載しよう｡

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