連邦地方裁が、現政権が黒人奴隷の歴史を消そうとしている今の状況はまるで『1984』の真理省が実在してるかのようだと storage.courtlistener.com/recap/gov.us...

日本でのちょびっとの印税の源泉徴収を避けるにはUSの居住証明がいるってんで申請の準備したけど、居住証明の手数料$85だった。これじゃ節約できる源泉徴収分を上回っちゃうな。 日本で源泉徴収された分を米国の税から控除できるんだっけ。

自分はDSLみたいに複数言語を単一ソースに混在させるのが好きなんだけど (論理的なまとまりで分けたいので言語の都合で別ファイルになるのが嫌)、AI補完とは相性悪いかな。CiSEのソースいじってるとGaucheとCiSEのコードをごちゃまぜにしたのを提案してくる。ロジックはそこそこ合ってるんだけどなあ。

Gaucheのレポジトリ、githubの言語判定で、ずっと過半数のソースがSchemeだったんだけど、さっき見たら1/6くらいが "Tree-sitter Query" にリカテゴライズされてた。 github.com/shirok/Gauche S式ベースのクエリ言語みたいだけどGaucheコードのどこ見てそっちに判定されたんだろ。 tree-sitter.github.io/tree-sitter/...

子供は米国の高校でThoreauのcivil disobedience読んでactivism & protestの歴史と実践について学ぶクラスをやってたな。 そういうのをやるかどうかは学校によって大きく違うけど、一定の割合の人々が知識として共有してることは社会にとって重要だろう。 ただ、学校という場で「上からの規則でも自分の良心に照らして不当だと思うなら抗え」と教えるのは、多くの日本型組織だと難しそうな気がする(自分の出身都立高校は伝統的にそういう空気があったけど)

いつもは大晦日の日暮れからめっちゃうるさくなる花火だが、今年は規制強化のせいかずいぶん静かだ…と思っていたら年が開けた瞬間、派手に騒ぎ出した。

ハワイでは新年から横断歩道・交差点より20ftまでは表示の有無に関わらず駐禁。 Merchant&Fortの横断歩道とか20ftも赤curb無かったと思うし週末は結構びっちり車停まってたからうっかりしそうだな。 www.hawaiinewsnow.com/2025/12/31/1...

少し前に出演した短編映画『二世』、日本のBSで先月放送されてたみたいです。TVerならまだ配信中。日本語字幕つき。 tver.jp/episodes/epd...

小説読んでたらbucolicという単語が出てきて、見慣れない形だなと思って語源を見たら羅bucolicus←希boukolos←希boukolos←bous (cow) + kolos (tending)。さらに調べるとbutter, butyl, bugleのbuも同祖だった。 関連辿ってboustrophedonに。牛耕式(筆記方式)。なるほどbousだから牛なのね。

英語の小説を読んでて、東京が舞台で主人公がAsagayaに行くんだけど、漢字表記を思い出せないことに気づいて愕然とした。中央線の駅名は順番に言えるのに「あさ」の部分の漢字がどうしても思い出せない。結局調べた。 漢字はかなり壊滅的になってるな。読めるけど、書けない。

パンデミックの時期にリモートで訓練を受けてた役者は発声に難あり、という記事だけど、発声だけじゃなくてZoom越しだとマイズナーみたいな「相手に反応する」エクササイズもすさまじくやりにくかった。in-personでやってると、相手のわずかな「気配」に反応できたりするんだけど、リモートでは全く帯域が足らない。

しばらく忙しくてオーディション控えてたんだが、久々にセルフテープ撮って編集しましょとDaVinci Resolve立ち上げたらSEGVる。最新版にしてもSEGVる。最後に立ち上げた時から何か変えた覚えは無いのだけれど… とりあえず締め切りがあるのでBlenderのVideo Editorでなんとかした。 クリップ切ってつなげて音量調整するだけなんで何でもできるっちゃできるんだけど、デモリールの編集がDaVinciでそろそろアップデートしないとならないのでどうしようかな。ローフッテージはあるんだけどまた素材の切り出しからやるのめんどくさい

本件について少しだけノーベル委員会の擁護をすると、他の分野賞と違い、平和賞は（建て付けとしては過去1年間の実績に授与することになっているけど）その時代時代における「平和」の論点や課題を明確にするような象徴的存在に与えられる傾向が強いんですよね。 オバマの場合はNPTの推進と米国-イスラム関係改善という2点が受賞理由で、それは確かに、米国が「世界の警察」を返上した後の新しいグローバル秩序のあり方を期待させたところもあったのだと思います。 現実には、それが米国政治の内旋化と分断、G0時代の到来、ロシアの再台頭など、必ずしも平和とは結びつかないようなさまざまな影響を招来してしまったのだけど。

来月のハワイ国際映画祭で上映される短編映画 "Salvador" にちょーっとだけ出演しています。 これの撮影は面白かったです。どんなふうになってるか楽しみ。 hiff.org/events/salva...

『セシルの女王』、史実では幼少期以後が消息不明のメアリー・シーモアを救いのある物語にしていてじんときた。

2020年のパンデミックから休止していた"Mai Poina: The Overthrow"、今年から復活です。132年前、白人によるクーデターに、当時のハワイの人々はどう反応したかを追体験するツアー。 2025年9月6, 7, 13日、各日4:00pm, 4:20pm, 4:40pm, 5:00pmスタート。イオラニ宮殿内のいくつかの箇所を回り、全部で50-60分です。無料ですが要予約。

ブログ更新しました。「大規模推論モデル」は実際には「推論」なんかしておらず、もしかしたらただの丸暗記しかしていないかもしれない、というお話です。 tjo.hatenablog.com/entry/2025/0...

キャストメンバーから最高に嬉しいコメントをもらった。「相手役が何をしようが、いつも自然にTakeo(役名)として反応していて、Shiroという役者が『演じている』ことが全く見えなかった」 マイズナー効果! (超伝導じゃないよ)

追加公演含め7週間にわたった公演も明日が千秋楽。このセットとも明日でお別れってことで客入れ前に記念撮影。 ちなみにセットは本番中に変化します。明日過ぎたら変化後をポストしようかな。

さらに追加公演決定! 1週間の延長は当初からスケジュールおさえてあるんだけど、それを超えて伸びるのは始めての経験だなあ。 どんどん伸びてくのはブロードウェイみたいだけど、7/20からは出張入れちゃってるのでこれ以上伸びることはない、はず。

7/5, 6の追加公演も売り切れたのでさらに7/3(木)ソワレ公演追加です。 7/4は独立記念日なのでやらないらしい。夜は花火でうるさいからかな。

とてもおもしろい。人間っぽい。行動主義で解釈すれば、人間だってそう条件づけすればこうなる。 人がごまかしを避けるのは近視眼的な報酬よりも長期的関係による報酬を重視するからだろうし、人生を超えた真善美を求めるに至るのはやっぱり長期間の社会的教育だろうか。 joisino.hatenablog.com/entry/mislead

追加公演決定! 今週頭の段階で本公演が全て売り切れになっていたので、7/5ソワレと7/6マチネが追加されました。あと売り切れてる日もキャンセル待ちで入れることがあります。

今日もチケット売り切れだったんだけど、劇場の外でキャンセル待ちっぽい人狙って「チケット買わないか」って持ちかけてる人がいたらしい。scalper (ダフ屋)がいた、って言ってたけど特に高く売りつけようとしてたわけじゃないらしいが。

現役大統領が袂を分かった人物に対して「野党を支持したら深刻な報いをうけるだろう」と言うのは倫理的にダメだと思うんだが、もうそんなことにはみんないちいち反応しなくなってしまった。

ホノルル美術館で、今月22日、ハワイでの日系人強制収容のドキュメンタリー "The Untold Story" が上映されます。日本語学校教師および領事代理だった尾崎音吉氏の役をやらせて頂いています。

息子、帰省のフライトがまたトラブル。ヒューストンでの乗り継ぎ便が機材不良でキャンセルに。振替便は明日になるのでホテルバウチャーが出て一泊することに。 トラブル対応力が鍛えられてきている。

初日明けた〜 前回Kumu Kahua Theatreで出演したのは12年前の"All That Remains"なんだけど、それを覚えててくれた観客が何人かいて「あなたあの時の日系人兵士でしょう?」と声をかけてくれたのは嬉しかった。

明日いよいよ初日。プレビューでの反応は良好です。 x.com/KumuKahua/st...

下院を通ったばかりのトランプ予算案には、「法廷は法廷侮辱罪や司法命令の執行に司法予算を使ってはならない」という条項が盛り込まれている(訴える側が予算を用意する必要がある)。法律になる前に発行された司法命令にも適用される。これが法律になれば、裁判所命令は有名無実化する。 本格的に司法に戦いをしかけてきましたな。 www.abajournal.com/news/article...

久しぶりに舞台に出演します。 Kumu Kahua Theatre, "Ryan Okinaka's The Golden Gays", 5/29-6/29 共同生活を送る中年から老年に差し掛かる4人のゲイが、人生の転換期の問題に直面して乗り超えてゆくコメディ。私は主人公の一人に想いを寄せる役。 この時期にハワイ旅行の機会があれば是非。 www.eventbrite.com/e/ryan-okina...

- この後、大人になった彼女たちが数学の第一線で活躍する『数学レディ』が始まる - 教師になった主人公の教え子達が活躍する『数学ガールズ』が始まる - 『数学ガール』の舞台から200年後。人類は対立するAIとの闘争で疲弊していた。知的発展をモデル化したミルカ予想が肯定的に解決されれば共存の糸口が見つかる。そこに現れたのはクローン技術により誕生した…『数学ガール　リザレクション』

ああ、前に前奏曲Op28-24弾いた時このことを知ってれば! 速いパッセージのところでもテンポキープできる速度で全然いいじゃん。(本番では出だしから焦って崩壊した) www.youtube.com/watch?v=tMrp...

網膜のM錐体だけに選択的に光を当てることで、「人間に知覚可能だが自然には決して見られない色」を作り出した、か。なるほど。 将来VRとかでこの手法が使われるようになると、現実が色褪せて見えちゃうかも。 www.science.org/doi/10.1126/...

ゴリゴリの保守派判事さえ激おこ。 司法と行政のバランスが不可欠であることを明確に訴える名文でもある。 s3.documentcloud.org/documents/25...

近所でたまにピアノの練習の音が聞こえるんだけど、徹底的な部分練習で(模範的で偉い)、「この小節確かに知ってるんだけど何の曲だったっけ」ってのが思い出せなくてもやもやしてたけど今日わかった。熱情ソナタだ。私が通りかかる時はテーマじゃないところばかり重点的にやってる。 ああいうふうにやるべきなんだよな。でも通して弾く方が楽しいからついつい流しちゃう。

次のリリースに入る循環小数表記について解説 blog.practical-scheme.net/gauche/20250...

Savannah, GAのあと、Cambridge, MAにしばらく滞在してた。70F切ったら寒さに震えるハワイ民が冬のボストンで生き残れるのか心配だったけど、2-3日厳しい日(31Fとか)があった以外は何とかなった。2週目は60Fだと「今日はあったかいな」と感じるまでになったが… ハワイに戻ってみるとやっぱり人類は70-90Fの間で暮らすようにできてるんだと思いますわ。

先週はジョージア州サバンナに行ってました。桜も咲いてた。 息子の大学寮から街の中心部は十分徒歩圏で住みやすそう。大学の施設は街中に分散してるので、大学運営のバス利用になりますが。

ゲーデルが発見したとされる「米国が合法的に独裁に移行できる米国憲法の抜け穴」については、おそらく憲法改正を伴う理論上の話だったのだろうとされているけど、現在進行してるのは「憲法を変えなくても骨抜きにできる」というハック。なので追記した。 jp.quora.com/%E3%82%A2%E3...

司法省は「なぜ判事の命令に従わなかったのか」について「口頭での指示が文書指示には書いてなかった」「文書指示が出た時にはもう出発していた」って言ってるけど、そもそも裁判所の命令を深刻に受け取っていたならそれらは争点にならない (単に言い訳探しに聞こえる) これらの点で争うって言う時点で、裁判所の命令を軽視してることは明らかじゃんねえ。 でも、だからといって裁判所ができることは民事での法定侮辱罪だけなんだよな。 ただ、あまりに裁判所をおちょくることに共和党指名判事も一緒になってキレてくれたら何かしら止められるかもしれない。 thehill.com/regulation/c...

トランプ政権、裁判所命令無視を積み重ねてる。 裁判所は強制執行する部隊を持たないし、上告続けて最高裁に持ち込めば決着まで何年もかかるから、その間に好きなようにやって既成事実化しちゃえ、というのは確かに現制度の脆弱性だ。 www.providencejournal.com/story/news/l...

Alien Enemies Act of 1798発動きた。国家の敵認定した外国人を、司法・議会の手続きなしで拘束追放できる法律。これまで3回しか使われたことがなく、いずれも戦時下。最後に使われたのは第二次大戦での日系人の強制収容。これは後に政府が公式に誤りだったと認めて謝罪賠償している。 今回はギャング相手ということで、支持者にとっては「悪いやつをやっつけるのに裁判とか邪魔なだけ」って感覚なんだろうけど、誰が「悪いやつ」かなんて権力者の胸先三寸なんだよ… www.npr.org/2025/03/15/n...

循環小数をサポートしてみた

あああ、わかった。 SBCLがA64で即値#x00030100をW0にロードするのに MOV W0, #x3ffff; MOVK W0, #x100 ってのを出してて、3ffffどっからきたんだと思ってたんだけど、こうしたらMOVはORRにエンコードできて、下16bitはどうせMOVKで上書きされるのか。 でもなんでMOVZ W0,#3,lsl #16 にしないんだろ。 てかORR使う場合でも#x30000を直接ロードできるような…? ARMはひとつのことをするのにいろんなやり方があってややこしいなあ

息子、大学のcommunicationのクラスでimprovをやるらしい。良い。

個人用のラップトップに長年使っていたX1 Carbonがもうさすがに限界なので次どうしようかなと思ってたところに、ThinkPad E14 Gen5 (AMD, 24GB RAM, 2TB SSD)が安売りしてたので買ってみた。X1より気持ち重いがそんなに気にならない。 ただ、セットアップで若干つっかえた。まずUbuntuを入れようとしたらUSBからブートできない(Boot menuで認識さえされない)。色々調べるとBIOSのバグらしい。 新しいBIOSが出てたので入れようとしたのだが、Windowsで今度はWiFiが頻繁に切れるようになってしまった。

ある日、ハワイ大学医学校でくまモンに出会った

GPT君、コード書かせても抜けだらけでGaucheがマイナーなせいかなあと思ってたんだけど、コードレビューを頼んだらかなりいい仕事をしてくれるじゃないか。

ちょっとした実験機を走らせたいので余ってたモニタをつなごうとしたらVGAだった。ボードはHDMI。 パーツ箱を掘り返してHDMI-DVIのアダプタは見つけたんだけど、これってDVI-Dだよな…だとするとDVI-VGAアダプタを掘り出しても無駄かな? VGAケーブルとかざくざく出てくるんだが、もう使わないよね…