inuzのアンテナ

2021/10/14 23:20:53 きしだのはてな
2021-10-14
代数データ型の直積型と直和型の理解
代数データ型という考え方があって、型に対する代数的な操作を行うものっぽいです。代数的な操作というのは、足し算とか掛け算ですね。直和型と直積型というのがあります。
直積型は構造体のようなもので、Javaだとrecordが導入されましたね。
record A(int p1, boolean p2) {}
みたいなものです。
これがなぜ積なのかと
2021/09/11 20:09:29 OpenSSL: News, Project Newsflash
Copyright © 1999-2021 The OpenSSL Project Authors. All Rights Reserved.
2021/08/31 03:40:12 The ProFTPD Project
Copyright © 1999 - 2021, The ProFTPD Project.
1.3.8rc2, 1.3.7c released
[29/Aug/2021]
The ProFTPD Project is proud to announce the release of 1.3.8rc2 to the
community. This is the second release can
2019/09/17 18:08:04 ISC Press Room
PRODUCTS
BIND 9
Kea
SUPPORT
Software Support
Advance Security Notification
Consulting and Training
ISC窶冱 Security Vulnerability Policy
ISC窶冱 Software Support Policy and Version Numbering
ISC窶冱 Knowled
2018/11/18 10:55:58 100円ショップ大実験
So-netトップ
So-netをご利用頂きましてありがとうございます。
お客さまのお探しのページは見つかりませんでした。
指定されたアドレスにお間違いがなければ、下記の要因などが考えられます。
・ページが別のアドレスに移動している
・ページが削除されている
お手数ですが、So-netホームページからお探しください。
5秒後に自動的にSo-netホームページに移動します。
So-netホームページ
2018/09/29 09:50:52 tenki.jp（地震情報）
404 Not Found
nginx
2018/01/01 06:28:09 Apache HTTP Server Project
Not Found
The requested URL /dist/httpd/Announcement2.0.html was not found on this server.
2005/10/23 15:37:22 zlib Home Site
zlib.org is temporarily redirected to zlib.net