ayu-mushi @ayu_mushi@pawoo.net

知らなかった、ありがとうございます

ayu-mushi boosted

ブキーボードおすすめ
ピンポイントで消せないデメリットはあるけど

ayu-mushi boosted

反省的均衡の話で言われる、文法は整合性主義的で反省的均衡的というのは本当か。文法性判定が計算可能性でないとダメとか、神経プロセスでどう扱っているかみたいなのに根拠があるのが真の文法、などの立場もありそうだけど。

計算、紙出すのめんどくさいし子供のお絵かきする板とかの方がいいかもしれない

The person who begot me is my sister

「私を生んだのは姉だった」戻し交配の異母姉という意味ではないのか

稀に見るが否定的な意味になるの、英語っぽい

もしあなたがヒュームならばという史上稀に見る条件文

シェルを別のを起動しなおしたらできた

scpの、パスワード入力後のリターンが押せない(押しても何も起こらない)んだけど

C++の課題、引数に&を付け忘れてずっと悩んでた

性格がヤバい哲学者、アンスコム、クリプキなどがランクインするのか

Eliezer Yudkowsky のハリーポッター二次創作邦訳がでてるのか syosetu.org/novel/160391/

なべてという言葉はnot allを曖昧性なく表すための古人の工夫(嘘)

(A→¬B) ⇔ (B→¬A)って、シークエント計算的にしかイメージしてなかったけど、(A->(B->⊥))⇔(B→(A→⊥))と考えれば単なるflipだった

押したり歩いたりすると足が痛いという潜在的な痛みで「最近足が痛い」と言えても、殴られると足が痛いという潜在性のみで足が痛いとは言えない

ayu-mushi boosted

5/21 2年前の記事だけど「Cage the Mastodon」の翻訳って見かけなかったので,ざっくり翻訳してみました。英語難しい。 #diary
gist.github.com/peaceroad/c994

今日はマストドンのことで忙しくて課題やってない