mzp @[email protected]

素朴にへ(ひらがな)とヘ(カタカナ)で破滅しそう

親子がいると大抵子どものほうが英語がうまいという描写、泣いてしまう

Alloyで日本語識別子を使いたい気持ちはわかる、が「同じ識別子」という判定をバイト列でやると破滅してしまう

なんかこの辺、Alloyにパッチあてて日本語識別子を通そうとしてる人たちが議論してた記憶

変数FooとF<ZWJ>ooは同一の識別子か

UTF-8エンコード日本語メソッド、NFCとNFDの違いでつらい気持ちになりそう

COOCA、筋肉ムキムキの人がGitHubで開発してるのかな

語りおえました

あとセルダンプランをむちゃくちゃにかきまわすミュールも格好いい

なんで急に語りはじめてしまったんだ

第二ファウンデーションの心理歴史学者がめっちゃ好きで、学問を発展させつづけた結果、圧縮言語と未来予測ができるようになった、みたいな設定が熱い

みんながMacBookを買ったり、AppStoreに課金した利益が、ハリセルダンに流れ込む

みんなでみよう、実写版ファウンデーション

これはきっと我々は単一の惑星に起源を持つせいに違いない、1Gの重力と1気圧の大気を持つ惑星を探そう、みたいな話になって、めっちゃいい

人類が宇宙のいたるところに移民して数千年が経過すると「なぜこんな中途半端な値が1Gとして定義されてるんだ???」と悩みだすという設定好き(うろ覚え)

日系二世と書いてしまったけど、幼少期にアメリカの星間宇宙船に乗った人を表現する言葉ではない気がする

日系二世が「ボクは日本人なのに日本語わからない」って悩むシーンが日本語で描写されてるのシュール。翻訳なのでしょうがない。

なんもわかんなかったので「一般的な情報」って書いた