▽檜山正幸のｷﾏｲﾗ飼育記
●11/22 08:33
2024-11-21等式の二種類の使用法： 選別条件と同一視宣言雑記／備忘ひとつ前の記事｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣において､“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました｡この双対性はちょっと不思議な感じがします｡最終的には､写像（集合圏の射）の並行ﾍﾟｱ（両端が…2024-11-20圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ雑記／備忘ｴﾝﾄﾞとｺｴﾝﾄﾞは､その名前から双対なんだろうとは誰でも思うでしょう｡しかし､定義の仕方によっては双対性が見えにくいこともあります｡この記事では､ｴﾝﾄﾞとｺｴﾝﾄﾞの双対性が出来るだけ見えやすくなるような定義と記法を提示します｡$`\newcommand…等式の二種類の使用法： 選別条件と同一視宣言圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ

▽あどけない話
●11/21 16:32
2024-11-20Labeling threads in HaskellHaskellGHC 9.6 provides a function to list up the current threads finally. The function is listThreads exported from the GHC.Conc.Sync module. listThreads is a killer debug method for thread leaks.If you have Haskell programs which run for a long time, it's quite nice to provide feature to monitor threads with the following functions:import Data.List (sort

▽O’Reilly Japan Ebook Store
●11/21 06:01
scikit-learn､Keras､TensorFlowによる実践機械学習 第3版ISBN978-4-8144-0093-5Ebook価格5,830円Ebookを購入978-4-8144-0093-5 scikit-learn､Keras､TensorFlowによる実践機械学習 第3版 5,830 2024/11978-4-8144-0057-7 ｻﾝﾀﾞｰ･ｷｬｯﾂの発酵の旅 3,520 2024/6978-4-87311-927-4 退屈なことはPythonにやらせよう 第2版 4,290 2023/3978-4-87311-742-3 Seleniumﾃﾞｻﾞｲﾝﾊﾟﾀｰﾝ & ﾍﾞｽﾄﾌﾟﾗｸﾃｨｽ 3,300 2015/9978-4-87311-721-8 ﾘｰﾝ顧客開発 2,860 2015/4978-4-87311-597-9 D3をはじめよう 1,430 2012/

▽Starlight
●11/19 14:58
2024-11-17MicroK8sのregistryｱﾄﾞｵﾝの組み込みﾚｼﾞｽﾄﾘｰ（ﾌﾟﾗｲﾍﾞｰﾄﾚｼﾞｽﾄﾘｰ）を試すKubernetes MicroK8sKubernetesでいろいろ試そうと思うとﾌﾟﾗｲﾍﾞｰﾄﾚｼﾞｽﾄﾘｰが欲しくなったりするものですが､割と面倒な気がします｡MicroK8sだとregistryｱﾄﾞｵﾝで多少簡単に導入できそうだったので試してみることにしました｡How to use the built-in registryMicroK8sのregistryｱﾄﾞｵﾝregistryｱﾄﾞｵﾝを使ったﾚｼﾞｽﾄﾘｰの使い方はこちら｡How to use the built-in registryｱﾄﾞｵﾝを使って導入するﾌﾟﾗｲﾍﾞｰﾄﾚｼﾞｽﾄﾘｰは､組み込みﾚｼﾞｽﾄﾘｰと呼んでいるみたいです｡流れとしては以下になります｡MicroK8sのregistryｱﾄﾞｵ

▽eed3si9n | only the code never lies.
●11/19 10:00
Hedgehog for Scala 入門2024-11-18 / scala本稿では､Hedgehog for Scala というﾌﾟﾛﾊﾟﾃｨｰ･ﾍﾞｰｽ･ﾃｽﾄ･ﾌﾚｰﾑﾜｰｸを簡単に紹介したい｡Hedgehog for Scala は､Jacob Stanley さんと Nikos Baxevanis さん共著の Haskell Hedgehog というﾗｲﾌﾞﾗﾘを基に 2018年ごろ Charles O’Farrell さんが実装したもので､最近では Kevin Lee さんが主にﾒﾝﾃﾅﾝｽを行っている｡Read More…4