TakuLabo

雑記帳

記事一覧 (2 / 23)

【泥沼】様々な "カノニカルな写像" とやらの具体的な構成方法に真面目に向き合ってみる

タグ: 数学圏論 Haskell 小ネタ

トーラスの方程式

タグ: 数学線形代数

継続渡しスタイルでの階乗関数の構成を純粋圏論的にやってみた。【小ネタ】

タグ: 数学圏論 Haskell 小ネタ

カントールの対角線論法を圏論的に俯瞰する【ローヴェアの不動点定理 (Lawvere's fixed-point theorem)】

タグ: 数学圏論

Haskell で break 機能付きループを作る

タグ: プログラミング Haskell Python 小ネタ

【日記】友人との九州旅第二弾！【2024/3/20-22】

タグ: 日記

【日記】仕事終わりに友人と一緒にご飯した！【2024/4/2】

タグ: 日記

「初期状態に戻す」を実行しても Microsoft Store が依然消えたままなビックリ PC と遭遇した話

タグ: 小ネタ

タグ一覧:

物理学 (18)
古典力学 (9)
量子力学 (5)
数学 (56)
圏論 (32)
位相 (1)
線形代数 (7)
高校数学 (4)
プログラミング (28)
C言語 (4)
Haskell (32)
Java (1)
Python (2)
PureScript (3)
日記 (43)
小ネタ (17)
音楽 (4)
ピアノ (12)
ゲーム (18)
YouTube (36)

ページの先頭へ