Takahiro Yuzuki

あかうんとを乗っ取られたので、実名で臨時。田舎の数理統計学の基礎分野研究者兼プロト開発者兼教育担当です。学歴と業務内容は乖離しています。

[Takahiro Yuzuki @TYuzuki20027]

やるのは一部(修論がエグいところ)。あとはペーパーと、M1缶詰で修正。面接はないけど、研究室訪問が非公式面接だったりする

[nasastar @nasastar]

自然科学系の院試、よう分からんのだが、口頭試問的な面接やらんの？外国語の運用能力も外部試験使わずに実践的な方法で測れば良いんじゃないの？

[Takahiro Yuzuki @TYuzuki20027]

お疲れ様ですノ

[TJO @TJO_datasci]

マジこの2ヶ月足らずで10歳老けた気がする

[Takahiro Yuzuki @TYuzuki20027]

完璧でないと、後に誤報として出さざるを得なくなるので保守的に走るのでしょう

[math_jin @math_jin]

[共同通信]
数学のABC予想「判断を保留」　検証は継続、ZEN大など #47NEWS https://t.co/MFy7zq9IDc @47news_officialから

[Takahiro Yuzuki @TYuzuki20027]

ということは、イスラエルはイランの反撃で結構の空中補給機を軍用空港空爆で失っていたのね。

[僻地課長 @bubu0404]

ぇぇぇ…

[Takahiro Yuzuki @TYuzuki20027]

昔から買えたよ、瓶だったけど缶になったのんr

[僻地課長 @bubu0404]

マスターズドリームって店でしか飲めないんじゃなかったっけ？缶売ってたんだけどw

[Takahiro Yuzuki @TYuzuki20027]

技術わかっていないよね、各報道会社の科学部の記者。

[math_jin @math_jin]

日経新聞のみやや希望の持てる切り口の記事。
その他（読売、NHK、共同通信、朝日）は見通し立たずなど後ろ向きの切り口の記事。
総じて、世の中は懐疑的で悲観的に見ているようです。
#IUTABC #LANAプロジェクト #ABC予想 #望月新一

[Takahiro Yuzuki @TYuzuki20027]

フーシ派潰すための空爆には空母接近しか手段ないけど、対空母弾道弾射程に入るので無理。湾岸諸国の基地はサウジサルタン基地以外は滅んだので無理、前回のフーシvs湾岸諸国での敗北の報復がUAEパイプラインとサウジパイプラインの破壊なので報復喰らったら湾岸諸国は滅ぶ

[僻地課長 @bubu0404]

フーシ派先に潰すってのはあると思うんだよなぁ。元々飛び地で兵站無いし。んで、イランは農業国で兵糧攻めに出来ないので、発電所はやりそう。原発はやばいんで隣の送電設備狙うだろうけど。

[Takahiro Yuzuki @TYuzuki20027]

@alpaka JRH最高幹部自らラッセルヘッドと((ダメ)

[Takahiro Yuzuki @TYuzuki20027]

@alpaka まあね、19時台豊橋停車新幹線は自動車業界御用達です。

[Takahiro Yuzuki @TYuzuki20027]

最高スペックのmacstudio 4台で1000万円。中古のR35GTRも1000万円。実家のリフォームも1000万円かけrsれるy

[サイドFIREした永沢くん。 @ngsw_fire]

突然ですが…1000万円渡されて「1日で使い切ってください。残ったら没収します」って言われたら何に使います？（貯金や運用、ギャンブルはなし）

正直、意外と難しい気がするんだけど。

[Takahiro Yuzuki @TYuzuki20027]

法律家の細かい制御を如何に共通因子化するかが鍵です。大陸法と英米法での執行とかモラルハザード構造の違いを上手にモデリングするのが先決です。Bebchuckの論文は、英米法と大陸法の違いに無頓着過ぎる

[Shino Takayama @ShinoTakayama]

今のところ、これでいくか？とかDiscussion中。法律家は色々ややこしいことを言うので、毎回、どっちかがレクチャーして終わるので、なんか挫折しそうな気もしている。

[Takahiro Yuzuki @TYuzuki20027]

LaPorta の　Law ＆　Finance の拡張？

[Shino Takayama @ShinoTakayama]

実は、最近。多国籍企業の倒産についてのメカニズムデザイン的研究を法律家に持ちかけられていて。コモンローだのなんだのと、説明されまくること数時間、などが幾度かあり。面倒臭えんだが、めっちゃ面白いやん、となっている。

[math_jin @math_jin]

IUT理論のコンピューターによる検証を目指す LANAプロジェクト、「Project LANA Interim Report on IUT Theory」を公開 ——現時点での評価、残された課題、Scholze–Stix報告書との関係を報告 | ZEN大学 https://t.co/yNQf2Eu0Y0

[Takahiro Yuzuki @TYuzuki20027]

@alpaka

[オーマイカッパ @omykappa]

幾度となく来日しているベルリン・フィルですが、1979年のときのような超ウルトラ破天荒プログラム、そして、綺羅星ソリスト、合唱団。
カラヤンだから出来たものだろうし、これからも永遠にありえないものだろう。

1979年カラヤン ベルリン・フィル 来日公演プログラム

10月16日
モーツァルト　交響曲第39番
Ｒ・シュトラウス　ツァラトゥストラはかく語り

10月17日
マーラー　交響曲第6番　悲劇的

10月18日
シューベルト　交響曲第8番　未完成
チャイコフスキー　交響曲第5番

10月19日
ドヴォルザーク　交響曲第8番
ムソルグスキー(ラヴェル編)　展覧会の絵

10月21日
ベートーヴェン　交響曲第9番
アンナ・トモワ＝シントウ
ルーザ・バルダーニ
ペーター・シュライヤー
ホセ・ヴァン・ダム
ウィーン楽友協会合唱団
＊＊この日の公演は、1947年にカラヤンとウィーン楽友協会が初共演をおこなって以来、200回目の共演となる演奏会。

10月22日
ハイドン　天地創造
ガブリエル／エヴァ　アンナ・トモワ＝シントウ
ウリエル　　　　　　ペーター・シュライヤー
ラファエル／アダム　ホセ・ヴァン・ダム
ウィーン楽友協会合唱団

10月24日
ヴェルディ　レクイエム
ミレルラ・フレーニ
アグネス・バルツァ
ルイス・リマ
ニコライ・ギャウロフ
ウィーン楽友協会合唱団

10月25日
モーツァルト　レクイエム
ブルックナー　テ・デウム
アンナ・トモワ＝シントウ
ルーザ・バルダーニ
ペーター・シュライヤー
ホセ・ヴァン・ダム
ウィーン楽友協会合唱団
＊使用オルガン：ナショナル電子オルガン テクニトーンDO-100

10月26日
ヴェルディ　レクイエム
ミレルラ・フレーニ
アグネス・バルツァ
ルイス・リマ
ニコライ・ギャウロフ
ウィーン楽友協会合唱団

[Takahiro Yuzuki @TYuzuki20027]

Leanへの注目がより強くなるし、現在のLean4の限界も可視化された。Lean4.5以降の学習データ用のコミットをすべきかどうか？高階の述語論理に逃げよう

[Takahiro Yuzuki @TYuzuki20027]

もっといえば、他の処理はLean4で書ける。(準備論文は課題あるけど)本論文4本のうち3本はLeanで書けるところを書いて、短くできるのでは？

[math_jin @math_jin]

【超速報！】
Project LANAのIUT理論に関する中間報告書が掲載されました。
2026.07.17

Project LANAのIUT理論に関する中間報告書（ファイル名LANA_report_2026.pdf）への直接リンクはココ↓です。
https://t.co/8gPKDTyJfH

#IUTABC #LANAプロジェクト #ABC予想 #望月新一

https://t.co/QcCCVW1CAf

[Takahiro Yuzuki @TYuzuki20027]

予想通り、theta link の不定形の処理がLean4の範囲外。ここの処理は準備論文の中の、圏論の中の圏で閉じ込める証明方針で、それはLean4で書けない。

さて、Lean 4.5 の開発で不定形対応するか？

[math_jin @math_jin]

【超速報！】
Project LANAのIUT理論に関する中間報告書が掲載されました。
2026.07.17

Project LANAのIUT理論に関する中間報告書（ファイル名LANA_report_2026.pdf）への直接リンクはココ↓です。
https://t.co/8gPKDTyJfH

#IUTABC #LANAプロジェクト #ABC予想 #望月新一

https://t.co/QcCCVW1CAf