久々に気温が0℃を上回っている
「その通り」という言葉があるし「通りで」でも「道理で」でも割とどっちでもいいと思っている
「時間通り」「想像通り」ってvalidな言葉だと思うんだけど、「通り」と「道理」の使い分けってどうなってるんだ?
まったく文語に触れてないんでない限り、口語と文語に何かしらの差異があることには気付くはずなので、書き言葉ではそうなんだな〜で漢字変換している可能性が高いと思っている。問題はオラクルの質が悪いこと
そういえば昔の文豪でも漢字の使い方が適当だったりするけど、あれはどういう経緯でそうなってるんだろう
「ありえ無い」みたいな「無い」の使い方って自分では絶対にやらないけど、特に間違いとする理由も説明できない
"reasonable" って英語でも「いい感じじゃん」みたいなゆるいニュアンスで使うし、違う言語で "cheap" の意味に派生してもそんなに不思議ではない気がする
理性と感情が分離できる(ように認知や意識をモデル化できる)、そう思っていた時期が私にもありました
型レベルでいろいろやる動機が検査のためというのはそのとおりで、ざっくり言えば実際にそのパスを実行しなくても常にpreconditionが成り立ってると保証したいからですね
網羅的なテストは書くのもメンテするのも困難なので「ヤバい形のデータは絶対に飛んでこない」と保証できるとかなり嬉しい
一人暮らしだから水道が死んでてもなんとかなってるけど、家族がいる人はその分だけ水道の稼働率も上がるはずで大変そうだなあ……
@brsywe そもそも普通は寒波が来ないので普通の家にはエアコン(大きめな家なら暖炉もある)以外の暖房がないし、断熱も弱い。エアコンの設置は法律で義務付けられてるらしい