sou7's Vault
検索
Search
ダークモード
ライトモード
エクスプローラー
2024-04
コンピュータアーキテクチャ
浮動小数点数
2024-05
C言語
2024-06
week23
Obsidianで自動化したいこと
Obsidianの利用法
Vaultの成長
低レイヤを知りたい人のためのCコンパイラ作成入門
week24
Obsidian
Obsidianのノート数と楽しさ
week25
Cコンパイラゼミ2024
week26
2024-06-23のCコンパイラゼミ
C言語のswitch-case
Duff's device
2024-07
Obsidianのテーマ
Blue Topaz
default(Obsidianのテーマ)
Obsidian gruvbox
Obsidianのテーマ
Royal Velvet
Things
Tokyo Night
week28
2ホップリンク
2024-07-07のCコンパイラゼミ
GoatCounter
Obsidianにも使えるCosenseの思想
Quartz
タグは悪い文化
問題を解くときは問題文をそのまま写すこと
橋本商会
箇条書きは編集しやすい
見出しを使う代わりにページを独立させる
week29
LT会をObsidianでメモるメリット
内部クラス
匿名クラス
局所クラス
week30
2024-07-21のCコンパイラゼミ
ASCII
C言語の構文
C言語を学びたての人のための電卓自作
Go言語
Go言語で作るインタプリタ
TRPG
インタプリタの作り方 －言語設計／開発の基本と2つの方式による実装－
インタプリタ自作
グローバル変数
コンパイラ自作
セルフホスト
トークン
トークン(プログラミング言語)
トークン(鉄道)
ヌル文字
フランケンコンパイル
再帰下降構文解析
字句解析
構文木
構文解析
死んだテキスト
week31
2024-07-28のCコンパイラゼミ
2024-08
week32
Obsidianのプラグイン
デジタルガーデン
セキュリティキャンプ
セキュリティキャンプ2024 2日目のCコンパイラゼミ
セキュリティキャンプ2024 3日目のCコンパイラゼミ
セキュリティキャンプ2024 4日目のCコンパイラゼミ
セキュリティキャンプ2024全国大会の感想
セキュリティキャンプ全国大会2024の感想
2024-09
PIXIV DEV MEETUP 2024
PIXIV DEV MEETUP 2024に参加してきました
week38
Markdown表記のテスト
Obsidianで数学をやるメリット
Obsidianを1200ノートぐらい使っての感想
week39
Cosense
過去の自分とコラボレーション
week40
Coqはパズルゲーム
2024-10
week43
電卓自作をZigで走る
2024-11
week45
成果物
QuartzTest
QuartzTest1
simutrans
datファイルとtabファイルの記述について
Simutrans-Extendedの機能・datパラメータ紹介
信号・信号扱所編
産業・貨物編
軌道・車両編
数学
圏論
Hask圏
Hom
いろいろな圏
モナド
一般的な射の話をしているのに写像で考えてしまいがち
充満関手は、対象について本質的に全射と考えてしまいがち
可換図式
合成射
圏
圏論勉強会 @ ワークスアプリケーションズ
型と関数の圏
対象
射
射はドメインとコドメインで決まるわけではない
恒等射
自己関手
自然変換
計算作用
集合圏
sou7
トラッカーについて
注意事項
Home
❯
数学
❯
圏論
フォルダ: 数学/圏論
19件のページ
2024年11月21日
一般的な射の話をしているのに写像で考えてしまいがち
2024年11月21日
可換図式
2024年11月21日
圏
2024年11月21日
圏論勉強会 @ ワークスアプリケーションズ
2024年11月21日
型と関数の圏
2024年11月21日
対象
2024年11月21日
射
2024年11月21日
Hom
2024年11月21日
いろいろな圏
2024年11月21日
射はドメインとコドメインで決まるわけではない
2024年11月21日
恒等射
2024年11月21日
自己関手
2024年11月21日
自然変換
2024年11月21日
計算作用
2024年11月21日
Hask圏
2024年11月21日
モナド
2024年11月21日
充満関手は、対象について本質的に全射と考えてしまいがち
2024年11月21日
集合圏
2024年11月21日
合成射