僕の振り回す手が空に届いて あの星を盗み出せたら何か変わるのか Haritora作ってます→ @HaritoraVR github.com/neon-izm/Portf…
特別法優先の原則を適用すればいいだけなので、一時的処置であろう看板の指示に従うべき twitter.com/izm/status/173…
2023-12-13 23:19:13@izm 食券買って、席確保してから食券買えば…
2023-12-14 02:16:36商品Aの食券を買って→席確保して→商品Bの食券を買えば、指示を全て満たせる twitter.com/izm/status/173…
2023-12-14 01:24:55@izm まずは食券を買うために、席を確保して食券を買う。 矛盾しない解釈はこれ一つだから。 これで食券購入後のタスク指示がないと、食券は買ったので不要になった席を放棄するか考えないといけない。
2023-12-14 02:25:31この場合、自分は「開店時にまず食券買う形式だったけど、実際に営業してみると席を確保出来ない人が多発したから、後からルールを変更したパターン」だと判断してまず席を確保します。 twitter.com/izm/status/173…
2023-12-14 01:07:091. お席を確保してから 2. 先ず食券を購入 3. ((2)に「まず」があるので)それ以降の想定されているなにか。 でおk. twitter.com/izm/status/173…
2023-12-14 01:07:42「(席を確保する前に)まずは食券をお買い求めください」 じゃなくて 「(この店は食券で注文する仕様なのでいきなりカウンターに来るのではなく)まずは食券をお買い求めください」 ってことなんじゃね🤔 twitter.com/izm/status/173…
2023-12-13 22:54:35時系列を考えてみれば、後付け感が強い&英語でも書いてある看板の方が優先と予想される。 twitter.com/izm/status/173…
2023-12-13 23:06:26@izm まあ普通に考えれば応急的に置かれてある看板が正しいのですが、一般人が思っている何倍もそういう人はいらっしゃるので、そのあたりもっと啓蒙されるとよい
2023-12-13 22:48:00切り込み隊長ロックですね pic.twitter.com/yrhXF6tsQH twitter.com/izm/status/173…
2023-12-14 00:06:51日本語を実行する処理系ではデッドロックになるが、英語を実行する処理系であれば正常なので、これは実行環境を選ぶコードになってしまっている(適当) twitter.com/izm/status/173…
2023-12-13 20:59:52awaitが複数あってどんな条件でもデッドロックかかっちゃうやつだ twitter.com/izm/status/173…
2023-12-13 20:29:58