最近わかってきたことなんですけど、人柱をやっていかないとPRを送るチャンスはこない

PhD は permanent head damage から来ているバクロニムであることからもこれは明か

熱変性した蛋白質は二度とは元に戻らないし，進学して非可逆な損傷を発生させた脳も元には戻らないのである

進学の次の学校に進むのに、退学は前の学校に戻らないことに気づいた

#いろいろな気絶

手が気絶して体が滑った

オタクは能動的に気絶するのをやめろ

"気絶しに行く"

キングダムハーツの一番くじが出るとのことなのでセブンイレブンに気絶しにいこうか悩んでいるところです

ほたの写真です

存在型なんかも静的ダック・タイピングやりたいときとかよくあるわけで使うし，型の云々が難しくて......みたいな話よりかは，そういう話が書いてあるのがアカデミックな本ばっかでハードルが高いというのが辛いところね......

extensibleなんかはHaskellの言語仕様内だと(型的な問題で)拡張可能レコード表現できないので値の型情報を型レベルリストでもってやればリストだから容易に拡張縮小やれるよねみたいな話なので

型で云々するやつは概ねこれをwell-typedの範囲内で表現するのむりじゃねみたいなのなんとかするやつだったりが多いので，型なし使えば解決や！

型理論は実用的なライブラリ使う時点で最低限の型レベルの話要求されてつらいねって気持ち

pixivに投稿しました うちの子スターターセット #pixiv https://www.pixiv.net/member_illust.php?illust_id=64035098&mode=medium

pixivにもオリキャラ設定まとめました https://pawoo.net/media/gz1Dhi-ZJ_pVRwzz6Q0