Yuito MURASE

多段階計算と様相λ計算が気になる京都の博士学生です / Ph.D. student at Kyoto Univ. Interested in metaprogramming and modal logic. Fediverse: [email protected]

[Akira Kawata (a_kawashiro) @a_kawashiro]

https://t.co/m6704mqKdP

先週PFNでのチップ開発について話した資料が公開されました。面白いと思うので見てね

[E869120 @e869120]

類似語検索を超高速に行う SoftMatcha 2 の解説資料を作成しました。トップ国際会議 ICML にも採択されています。

全 67 ページで分かりやすく解説しましたので、ぜひお読みください。
https://t.co/sOD9Cb9iwt

[Yuito MURASE @bindingscope]

三人で雑談していて研究不正の話になったのでショウ・タッカーを話題に出したら、他の二人とも鋼の錬金術師未履修で通じなかった🙃 同世代なら当然ショウ・タッカーは知っていると思っていたのに……

[Miura Hideki @miura1729]

伝説のJITコンパイルするgrepのようだ。ソース初めて見た　https://t.co/XWCBzdCH7r

[Yuito MURASE @bindingscope]

Rejected

[Yuito MURASE @bindingscope]

新作です： Bounded Modal Logic https://t.co/WZI33P870U

[Yuito MURASE @bindingscope]

公募書類書きたくなさすぎて溶けてる🫠

[Jules Jacobs @JulesJacobs5]

OxCaml playground: https://t.co/PoAbnec1YY

[Yuito MURASE @bindingscope]

一方でここ20年はそういう話は全然論文になってない。JITコンパイルはある程度確立した技術になっているし、CでportableなJITコンパイラを書けたりすると普通に嬉しいと思うんだけどなあ。一連の研究が後に続かなかった理由ってどこにあるんだろうとなってる🤔

[Yuito MURASE @bindingscope]

最近研究ネタ探しで多段階言語のコンパイル技術について調べているんだけど、Cの多段階の拡張とその高速なコンパイル技術についての話が90年代後半に流行してるんですよね(Tempo, DyC, 'C, Cyclone とか)。Cでコード生成する処理を等価なJITコンパイル処理にコンパイルする感じ。

[Kohei Suenaga @ksuenaga]

Our new paper, "Ownership Refinement Types for Pointer Arithmetic and Nested Arrays," has been accepted and will be presented at ECOOP 2026! https://t.co/IB1hK2VEmA
Joint work with @50storms and @shiatsumat and our previous master student Yusuke Fujiwara!

[Takashi Suwa @en_gfngfn]

Our paper “Compile-time tensor shape checking via staged shape-dependent types” has been accepted by ECOOP 2026. I’m looking forward to having discussions in Brussels! 🇧🇪
https://t.co/Q41FrGK18j

[Yuito MURASE @bindingscope]

この手の研究は Hop.js(https://t.co/r99SO8RHwT)など色々あります。今回の論文では session type で複雑な通信のパターンを扱い、contextual types でコードの動的実行(eval)を明示的に扱う部分が、現実のメタプロ+通信のパターンをより精緻にモデル化することを期待しています

[Yuito MURASE @bindingscope]

多段階計算と sesison types を統合した型システムについての論文が出版されました！リスボン大の Pedro Ângelo 先生, Vasco T. Vasconcelos 先生と指導教員の五十嵐先生との共同研究です。 https://t.co/LI3HtQB0yu

[Yuito MURASE @bindingscope]

現実のプログラミングを見てみるとそういうパターンて実は結構ありますよね。遠隔地のマシンのREPLにプログラムを送るとか、webページでJSを動的にロードしたりとか。React Server Components って多段階計算じゃんという話もこのカテゴリに入ると思います。

[関数型まつり @fp_matsuri]

関数型まつり2026 にプロポーザルが投稿されました！
「音楽のための関数型プログラミング言語mimiumにおける多段階計算の活用」 / 松浦知也さん （@tomoya_nonymous）
https://t.co/v9Ks1VuZDy
#fp_matsuri

[関数型まつり @fp_matsuri]

関数型まつり2026 にプロポーザルが投稿されました！
「多段階計算によるコンパイル時テンソル形状検査」 / gfn (Takashi Suwa)さん （@bd_gfngfn）
https://t.co/2KpcUvZvx6
#fp_matsuri

[Yudai Urabe (占部) @yudai_urabe]

Our lab will host FLOPS 2026 at the end of next month. A discounted registration option is now available for student volunteers. We hope to see many student participants in Tsukuba!
https://t.co/huoeo25hde

[画力・博士号・油田 @bd_gfngfn]

もう3週間経ってますがPPL 2026で発表した際のポスターを公開しました：

PPL 2026 ポスター： 多段階計算に基づくコンパイル時テンソル形状検査のDNNプログラムへの適用 - gfnweb https://t.co/jmwr8PuQDG