Yuito MURASE

新作です： Bounded Modal Logic arxiv.org/abs/2602.09462

Our new paper, "Ownership Refinement Types for Pointer Arithmetic and Nested Arrays," has been accepted and will be presented at ECOOP 2026! 2026.ecoop.org/details/ecoop-… Joint work with @50storms and @shiatsumat and our previous master student Yusuke Fujiwara!

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! 🇧🇪 #event-overview" target="_blank" rel="nofollow noopener">2026.ecoop.org/track/ecoop-20…

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

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

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

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

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

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! functional-logic.org/events/flops/2…

もう3週間経ってますがPPL 2026で発表した際のポスターを公開しました： PPL 2026 ポスター： 多段階計算に基づくコンパイル時テンソル形状検査のDNNプログラムへの適用 - gfnweb gfngfn.github.io/ja/posts/2026-…

【教員公募】京都大学　白眉センター。専門分野：基礎か応用かを問わず、全ての分野。特定助教15名程度、特定准教授または特定講師5名程度。任期5年。給与：年収600万～900万円。応募締切2026年5月17日。着任時期2027年4月1日（応相談）。jrecin.jst.go.jp/seek/SeekJorDe…

修論兼PPLの話書いた WebAssembly向けのScheme JITコンパイラを実装した kgtkr.net/blog/2026/03/1…

Egison 5.0.0をリリースしました！型クラス・型推論・帰納的データ型を備えた静的型システムを導入し、非自由データ型に対する非線形パターンマッチの表現力はそのまま維持しています。 hackage.haskell.org/package/egison

新装版！！！

Layered Modal ML: Syntax and Full Abstraction Haoxuan Yin, Andrzej S. Murawski, C. -H. Luke Ong arxiv.org/abs/2602.03033 [𝚌𝚜.𝙿𝙻]

北白川からワールドコーヒー消えるらしい… 大国屋が消えて、ローソンが消えて、パン屋が消えて、天下一品が消えて、うどん屋が消えて、どんどん寂しいエリアになっちまうな…

POPL2026 Accepted Papers #Accepted-Papers" target="_blank" rel="nofollow noopener">popl26.sigplan.org/track/POPL-202…

@cut_elimination よかったです！

@bindingscope ありがとうございます！ 私の関心にドンピシャで大変おもしろいです。

分離論理でRustの検証をするという研究があるし、Rustはアフィン型だという話もあるので、じゃあ分離論理とアフィン(線形)論理はなんか関係あるんスかね。