2024-09-07
置換公理に出てくる「関数」とは
雑記／備忘
公理的集合論の置換公理を「関数の像は集合である」と説明したり理解したりする人がいます。まー、そうなんですけど、ここに出てくる「関数」を普通の意味で理解すると、まったくのトンチンカンなことになります。置換公理に出てくる「関数」は、普通の関数…
2024-09-06
カートメル／ヴォエヴォドスキー／パルムグレンの型理論
雑記／備忘
型理
ガブリエル・ガルシア=マルケス「百年の孤独」が、Huluでドラマ化 ― 2024年09月01日 00時21分24秒
新潮文庫に登場して、大きな話題になったガブリエル・ガルシア=マルケス「百年の孤独」
その「百年の孤独」が、Huluでドラマ化されるそうです。シーズン１がヒットすれば、シーズン２，シーズン３と続編ができるんでしょうね。
１年に１シーズン制作して、百年の孤独だけに、シーズン100まで行っ
【完了】8月15日(木) 12:00-12:30 データベースメンテナンス実施に伴う人力検索はてなサービス停止のお知らせ
人力検索はてな 日記 (264)
2024 / 8
【完了】8月15日(木) 12:00-12:30 データベースメンテナンス実施に伴う人力検索はてなサービス停止のお知らせ
hyuki 2019-01-06 23:42 読者になる
2022-08-08
データ解釈学入門を読んだ - 2022 夏休み
統計検定2級や Kaggle で学んだものたちの隙間を埋めてくれる良い本だった。どことは言わないが、読んでいる途中に仕事のことを思い出す記述があり背筋がピンと伸びた。以下雑多なメモ。
分析者のためのデータ解釈学入門 データの本質をとらえる技術
作者:江崎貴裕
ソシム
Amazon
測りやすいデータが選ばれがち。
データを歪めるモ
March 2022
Moving
WSL2
「ハイブリッド勤務」にむけて
Too Obvious To Innovate
January 2022
Off Notes
December 2021
2021 Outside Work
November 2021
Restarting Extra Curricular
Book: The Second Shift
Webcam
横書き日記 - 完了
家族で古墳Ｔシャツ
マイル日記
2020-09-10 16:11:59
蟹の半身みたいなWi-Fiルーター ASUS RT-AX3000に買い替えたら自宅Wi-Fiが高速化され…
I AM A DOG
2020-09-10 10:00:13
Leica Qファーストインプレッション ディズニーお散歩写真編
ULTIMOFOTO
2020-09-10 04:26:02
Web口振受付と即時口振に頼ら
意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、
それに比較対象がThinkPad T460s (Core i7 6600U) 2 core 4 threadだからねえ
追記
サイコムから返事来た。送料着払いでボード