2026-04-28
Propositions-as-Types が説明困難な事情： n回目の整理
雑記／備忘
Propositions-as-Types は、幾度となく話題にしています。ブログ記事だけでなく、口頭での説明もけっこうな回数おこなっています。これがうまく説明できないのですわ。説明が困難な主たる原因は、用語の対応があまりにもグジャグジャで混乱必至なことです。…
Propositions
2026-04-26
プラグマタ途中
プレイ体力が持たない
人気あるので表立って大声では言わないですけどこれ面白いかと言うとダルいですよ。面白いと思う人がいても全然驚きませんが、とにかく自分にとっては「もう十分だぁ」って枠の陳腐めなゲームです。
これ、「ディアナかわいい」で盛り上がっているゲームだと思います。ここについて異論ありません。でもま、ゲームとして見るのとキャラ萌えで見るので話全然違ってい
先延ばしグセを解消する考え方
デー
読者になる
最速転職研究会
読者になる
kaisehのブログ
読者になる
Twitter / @ukoko28
Twitter / @tanag0k0r0
Twitter / @kayano55