らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

gnusocial や mastodon の哲学 - 何とは言わない天然水飲みたさ
https://blog.cardina1.red/2017/04/13/federated-social-web/
Mastodon が普及しつつあるけど、元 GNU Social 勢として思うこともありまして - 何とは言わない天然水飲みたさ
https://blog.cardina1.red/2017/12/15/comparison-of-mastodon-and-gnusocial/#federated-social-web

https://mastodon.cardina1.red/@lo48576/99907347492091971
https://mastodon.cardina1.red/@lo48576/100435238462847040
https://mastodon.cardina1.red/@lo48576/99075583375968541
https://mastodon.cardina1.red/@lo48576/100818386640475924
https://mastodon.cardina1.red/@lo48576/99077319116951898

妹エクスプロイト
https://novel18.syosetu.com/n2670fi/

How to get the cake (portal) - YouTube
https://www.youtube.com/watch?v=USiMg3B9sEk

説明と動画をアップロードした #portal

PGP fingerprint: 4CC5A8F9C46541E2F1AA41BE3263C611492C9A5F

本拠: @lo48576
進捗垢: @loliconductor
nsfw 垢: @lo48576nsfw

/dev/neru

粘土のプロです (?)

単なる興味で専攻(らぼ)にほぼ全く関係ない授業を受けていたんだけど、楽しかったしあの快感だけでもお釣りが出るくらいの価値があった

大学入るまでに一番衝撃的な理解だった概念はやはりλ計算なんですが、大学の授業で理解の瞬間の全能感が一番大きかったのは、畳み込み積分によってδ関数とインパルス応答から任意の入力への応答を求められるということです

私が畳み込み積分を完全に理解した瞬間のプリントを発見したけど、これ先生の配布資料なので著作権的にたぶんここで写真撮って投げるとよろしくないやつだ……

(自分用メモ: 2016-04-22 線形回路 修正版プリント)

懲役刑なら労働者では？ （???）

λfx.x は0でありfalse、 λx.x は1でありtrue、 λfx.f(fx) は2、λxyz.zxy はペア、 λmnfx.mf(nfx) は加算、みたいな調子で

これは恐ろしい事実なんですが、λ計算上では一切の定数定義なしに、条件分岐もループも整数も整数の加減乗除も、ただ「関数」で書くことができます