Home | Notifications | New Note | Local | Federated | Search | Logout

ふくだ@yf@zy.gy

Zygy鯖( https://zy.gy )の管理人。VultrのTokyoリージョンで鯖を動かしています。アカウントは @yf@social.lambda.ski からの移行。ライフログ投稿は数が多くなりすぎたのでアカウントを @ll@zy.gy に移しました。

Webpage: https://lambda.ski
Pleroma鯖: https://social.lambda.ski
Bluesky垢: https://bsky.app/profile/yf0fyf.bsky.social
Threads垢: https://www.threads.net/@yf0fyf
趣味: 山登り⛰️, 洋菓子作り🍰
特技: V式速記🖌️
好きなもの: 単純型付きλ計算, 直観主義様相論理S4の必然性断片
嫌いなもの: 古典論理，たくあん
Joined: 2026-10-06 01:58:05
1 notes, 0 following, 0 followers

ふくだ@yf@zy.gy (2026-10-04 22:09:07)
「実践・C コンパイラ演習」（ https://yf-fyf.github.io/c-comp/ ）
集中講義的科目の最終発表会も終わったことなので「Cコンパイラ演習」の講義資料を一般公開です :meow_amongus: