圏論入門｜日本評論社
第1章 圏・関手・自然変換 1.1 集合と写像から 1.2 圏・対象・射 1.3 圏のデータ構造 1.4 関手・反変関手 1.5 忠実関手と充満関手 1.6 自然変換 1.7 Haskの部分圏 第2章 自然変換と圏同値 2.1 関手圏 2.2 圏同値 第3章 普遍性と極限 3.1 始対象と終対象 3.2 積 3.3 余積 3.4 極限 3.5 余極限 3.6 極限の存在 3.7 余極限の存在 第4章 関手と極限の交換 4.1 関手は錐や余錐を写す 4.2 Hom関手と極限 4.3 Hom関手と余極限 4.4 実行可能な例 4.5 極限を関手とみる 第5章 随伴 5.1 随伴とは 5.2 単位と余単位 5.3 三角等式 5.4 普遍射と随伴 5.5 随伴の同値な言い替え 5.6 随伴と圏同値 5.7 随伴の大局的な自然性 5.8 随伴と極限 第6章 モナドとHaskellのMonad 6.1
2021年にLet’s Encryptのルート証明書が変更！影響や備えておくべきこととは？ | さくらのSSL
Let’s Encryptのルート証明書とは？ Let's Encryptを運営している非営利団体のISRG（Internet Security Research Group）は2014年に設立された新しい認証局です。もちろん、当時は設立されたばかりなのでISRGのルート証明書は様々な端末にインストールされていませんでした。そのため、別の認証局であるIden Trustが2000年に発行した「DST Root X3」というルート証明書を利用し、クロス署名された中間CA証明書を現在も利用しています。 この間（2014年～現在まで）ISRGは何をしていたかというと、各OS（Windows、Mac、Android等）やMozilla（Firefoxブラウザの開発元）に対して、自社のルート証明書である「ISRG Root X1」をインストールしてもらうようにお願いをして、徐々にインストール済み端末
"自分の見えている物が世界の「ふつう」だと錯覚する"17歳の高校生が経験してきた社会が刺さる #ゆたかさって何だろう
鈴 / Rin Yamabe @carpediem_530 02’ 長崎出身⇆インド1年→@Wellesley ‘26⇄高円寺 「なんか、ここにいていい気がする」と思える社会のためのケアの倫理、社会保障、参加型民主主義 | 大学休学して @kosugiyu で働いている♨️ https://t.co/7Tup3uG2xZ リンク note（ノート） この割れ切った世界の片隅で｜鈴｜note コロナウイルスが社会に与えた最も大きな影響は、見えづらかった社会の分断を可視化したことではないでしょうか。ステイホームできない、明日を生きるのすら精一杯な人。パソコンを持っておらず、家では完全に社会から隔離されてしまう人。勉強ができるような家庭環境でない人。外で遊ぶ自分を自慢げにSNSに載せる人。「クラスターフェス」と称し、コロナに積極的にかかろうとする人。感染者を引っ越しにまで追い込む地方の村社会。
人と自分を比べないってどうしたらいいの？
人と自分を比べるなってよく言われる。ダイゴもそう言ってた。 だけど人間は人間と関わらずに生きていけないし、人の振り見て我が振り直せって言葉もあるじゃん。 他人から得る情報は確実に有益な訳よ。 でも他人の情報を見たら比較するに決まってるじゃん。 毎日落ち込むじゃん どうしたらいいの？ 【追記】 皆ありがとう。すごく具体的な考えが多方向から沢山貰えて勉強になったよ。 同業者ですごく成功した人が「人と自分を比べるな」って言ってて、 簡単に言うけどどうやってやんだよ！成功してるから比べずに済むんだろ！ってモヤモヤしてたんだ。 視野を広くして何か自分だけの得意なことでも見つけようと思うよ。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
