はじめてのにき

_ 相続税

「あ、おれそろそろ寿命で死ぬなー」と思ったとして、子供が1人いてそこになるべくたくさん相続したいと考えた時、同様にそろそろ死ぬと思っている似たような資産規模の人で、かつ、子供が1人いる人を見つけて、お互い相手側の相続先の子供と偽装結婚すると、いい感じに相続税をゴマかせそうな気がする

なんか問題なさそうな気がしたので、普通にやってる人いたりしないのかな。永久に法的には横に流すが実質的には下に流れるスキーム

個人的な主張としては、相続税は累進で数億円で9割くらいまで上がるようにして欲しいですが

(22:52)

_ サンデル先生的な

https://x.com/kenn/status/1854155314616279114

なるほどなぁ、というのと、相互理解を実践してるのむっちゃえらいな……というのと。特に日本ならともかく、やっぱアメリカとかだと、あぶない気がしちゃうよね……そういうこと思う自体がまさに分断を作ってるって話なんだろうけど

日本でこの轍を踏まないように、と考えると、私立小学中学あたりからスタートする気がするので、御三家解体とかが良いのだろうか

テキトーに左派の意見を見てると「学歴低い人が共和党に投票している」など、まさにエリート側が分断してる証左みたいなポストをよく見て辟易とするので、これ系のポストはいろいろ面白いなぁ、という気分に

https://x.com/dallasjpmoto/status/1854118878705508723

https://x.com/HosakaSanshiro/status/1854296780864651434

後者の方いわく「場末のスナック」が分断対策の鍵、らしい。おもしろ

DEI とか進めるのはいい(と個人的には思う)んだけど、それが進まないことは分断が広くなるよりはマシなので、分断が広がらない程度に、多少日和ってゆっくりやりましょう、的な話なのかな

分断というと、関係ないけど、連想して思い出すのは WebKit 時代の Appleエンジニア vs Googleエンジニアで、 Googleエンジニアが「Googleが採用しているhogeは素晴らしい！WebKitも使うべき！！(採用しないとアホだ、くらいの論調)」みたいなゴリ押ししてて、それもちょっと辟易としたなぁ

https://shinh.skr.jp/m/?date=20180829#p01

にも書いたぽいけど、「いいものなんかしらんけど、グーグルがゴリ押ししてる時点で萎えますわ」みたいなこと普通に公言してる人がいた。いいものでも押しつけると反発を招いて分断する、みたいな構造は似てる気がしている

(13:11)

_ 民主党

http://www.gaiko-web.jp/test/wp-content/uploads/2024/09/Vol87_p14-19_Presidential_candidate_Harris.pdf

たいへん面白い話だった。しかし古今東西、左派は内輪ゲンカが好きで、右派の方が大同小異的連携できる感あるのかね。まぁそれが問題になることもあるわけだけど……

(13:31)

_ 自動詞の compile

あれ不思議な存在だったなあ、とふと。もっとも典型的な "it sells well" を学校で習った記憶がないから、なんかたぶん当時は教えてなかったんじゃないかって気がするんだけど、今ぐぐると高校英語みたいなサイトが出てきた

思い出した理由は

https://golfscript.com/iogii/index.html

の "All operations vectorize" で、なるほど vectorize もこれも自動詞化するんだなあ……と

(17:00)

_ 競プロ

は役に立つ？は「まぁほどほどには……(例えばマインスイーパやってるよりは仕事の役に立つが、仕事をしている方が仕事の役に立つ、ただし仕事に価値を感じていない場合の話は、とりあえず転職した方が良いので、スコープ外とする)」とか「会社によっては……」みたいな気持ちになるし、「わたしは書きたいプログラムがあり、人に課題を指示されるだけの競プロはやりたくないんです！」みたいな意見は割と共感を覚える

ただなにごとにも収益逓減というものがあり、逆に言うと逓減するまでは、「いかなるプログラマでもたしなんでいて欲しい」みたいなレベルのなにかがあり、これは大学教育とかでやるので、普通に優秀な人達は、概念としては身についているのだけど、自分で日常的に運用するサムシングになってないケースが、ある気がしている

C/C++ である程度パフォーマンス気にして書く、ぼくのまわりだと

• ABC/ARC: いわゆる競プロ。なにはともあれ `O(N^2)` がたいへんやばいことが多いものであるという実感が欲しい。 map/dict 的なやつの導入で、多くの場合、 `O(N log(N))` になり、極論 `log(N)` は実用的に無視して良い
• AHC: いわゆるマラソン。一度焼きなましを書くと良い。パラメータいじると山登りになるので、なるほどー感が得られるので、一度やると良いと思うのですよね……
• CTF: これいつも言ってるやつだけど、 pwn ならスタックのバッファーオーバーフローから元の実行体のどこかに存在してる system 関数を呼ぶまではやってみた方が良い。我田引水だけど https://shinh.skr.jp/slide/exploit/005.html で十分と思っている。本題とずれるけど、 CTF の他のやつでいうと、 web は一般論が難しい印象だけど、単純な SQL injection と、 XSS あたりかねえ。特に XSS は僕は XSS が問題を成立させられる、 CTF のインフラに感心した。 pwn/web 以外、つまり rev と crypto なんかは、まぁ非セキュリティの人に「O(N^2) やめて」と同じ強度で一般的なプログラマにお願いできる要素はないと思う

あたりかな

なんというかいずれも、競技にするため、「すごく優れた人と普通に優れた人」を分別しないといけないので、必然的に問題がタコツボ化してしまって、「現実世界によく生えてる問題」との乖離が激しくなるのよねえ。 AHC (やたぶん kaggle) は、そもそもああいう問題を解く必要があるに至るプログラマが少ないことを考えると、ジャンル自体がタコツボ化している、みたいな印象があるけど、たとえば「AHC/kaggle では有名だけど、世の中では知られてない」みたいな手法は少なそうだし、そういう意味では……どうなんだろう

ゴルフと isucon あたりにこういうやつは、あるかなあ。 isucon 的な世界観でまず思うのは「とりあえずキャッシュしろ！」なんだけど、これは現実でもたぶんそうよね

(00:15)

_ monarch mixer

https://arxiv.org/abs/2310.12109

あとでながめる

(10:31)

_ 所得控除とか、経済の話とか

控除の最初の値を上げるのは、個人的には妥当に感じるけど、結果逆進性があるのは良くない、いや、良くない、というのは僕個人の意見としても、とりあえず従来方針との consistency は低い、というか、ちょっとぐぐった感じだと、所得が1000万越えてる 20% 以下の人たちが、 80% 以上の所得税になってるとのことだった。パレートの法則優秀よねえ。根拠は

https://www.nta.go.jp/publication/statistics/kokuzeicho/shinkokuhyohon2021/pdf/gaiyo.pdf

の「1000万を越える申告納税者数は全体の14.2%であるが、所得金額及び税額はそれぞれ57.3%、83.8%」

んじゃ、 1000 万越える人たちがまるでトクしないところに累進課税の閾値変更すればいいだけじゃないの……？とふにゃふにゃ考えて、ぐぐったら普通にそういう検討があるようだった

https://news.yahoo.co.jp/articles/7f67b41347d4064339c1f6f946103a1bbf3b5806

が、ヤフコメを見ると文句タラタラだった。まぁなんかあちこちで所得制限入れるのやめろ、てのは、気持ちとしてはかなりわかる。累進課税に一本化すりゃいいじゃん感はある

がなんか、減税したら経済が回る！的なのは、よくわからんのだよな……たぶん MMT の人たちがよく言ってるやつで、国民民主もそいう趣旨で、この提案を採用しても「所得税収は減らない」的なことを言っているのだと思うんだけど

「年収低い人たちは税金が減ればすぐ使うので経済が回る！」は割と真だと信じられるのだけど、 1000 万越える人たち、税金減ったらそのぶん使うのか……？少なくとも僕は単に貯金が増えるだけだけど。具体的な比率を調べる気も起きないけど、政府って基本的に税収の大部分使うわけで、所得1000万以上の人よりは貯金に回さない気がするんだけど……

みたいなことをふにゃふにゃ考えてて、「なんで単純に税金減らす (& 生活保護にバフ) じゃなくて、給付金なん？」ていう疑問に、ありえる解の一つに思いあたった。なんというか事務手続きで失われるコストを考えると、単に取る量減らす方が、わざわざ取ってから配るよりコスパが良くて、単にバラマキはてっとりばやく支持率増やす方法だから？くらいに思っていたのだけど、ひょっとしたら行動経済学的な話だったりするのかな。つまり、人間は100万取られてたのが90万に減っても「パーと使うか！」とならないけど、100万取られて、それとは無関係に10万もらったら「あの10万何に使う？」みたいな話になる、的な

なので、なんかそのへんちょっと勉強してみたくなった

なんとなく最近、マクロ経済的なやつというか、経済政策について気になってるんだけど、その理由もなんとなく言語化できてきた。政治的な話題って、例えば DEI どうすか、とか、死刑制度どう思いますか、みたいなやつは、最終的には、どっちが正しいとかではなくて、と書くと語弊があるかもしれないけど、ここでいう正しいは理系的な「真」だと思っていただくと語弊がなくて、個々人で公理系が違うような世界では、どっちが正しいみたいなのは決められないと思っているのよね。そいうやつについては、僕は僕なりに色んな意見見て、自分の公理系をふにゃふにゃいじりつつ、自分の意見的なのを構成していればいいんだけど

政治的意見ってのは、だいたいはそういう、「最終的には個人の好み」枠だと思っているわけだけど、たまに割とそうじゃないものが混じっている気がしている。「基本的に格差は小さくすべき」という立場と「多少の格差は健全な競争の代償である」という立場だと、割と割れると思うけど、たぶん「他の条件が同じなら経済成長したほうが良い」くらいだと異論はかなり少なくて (もちろん例えばアーミッシュ的なひとたちはそういう立場でないかもしれないけど) 、同じ「経済成長した方が良い」派でも、 how が違う議題がいくつかあるようだ。それ系の、つまり個人の好みはおおむね一致するんだけど、 how が違うやつで、他にぱっと思いつくやつとしては「戦争に参加したくない」とかもそういう枠な気がしている

で「経済成長した方が良い」として、じゃあどうやって？は、割とこう、普通に理系的な問題というか、最適解がありそうなんだけど、これが、僕が「僕よりマジメに考えていて、僕よりはるかに賢い」と思っているひとたちの意見を見比べても、意見が一致してない場合があるように見える。なんで、自分の好みを決めれば終わりなところよりは、楽しいかなぁなどと

MMT について過去のやつ見たりした

https://shinh.skr.jp/m/?date=20210715

https://shinh.skr.jp/m/?date=20210908

https://shinh.skr.jp/m/?date=20220623

しかし、最後のやつの、 soda さんのコメントありがたいなあ

(00:37)