Yuito MURASE (@bindingscope) 's Twitter Profile
Yuito MURASE

@bindingscope

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

ID: 1556105180554600448

linkhttps://www.fos.kuis.kyoto-u.ac.jp/~murase/ calendar_today07-08-2022 02:29:53

332 Tweet

119 Followers

143 Following

Racket (@racketlang) 's Twitter Profile Photo

Rhombus is designed to be • approachable and easy to use for everyday purposes, and • as extensible as Racket, while making Racket's state-of-the-art facilities more consistent and accessible. Learn more: rhombus-lang.org/goal.html

びしょ〜じょ (@nymphium) 's Twitter Profile Photo

PPL行ったやつが公開可能状態になった 【開発部Blog】PPL 2025を、スポンサー枠で。|日本最大級オープンイノベーションプラットフォーム|eiicon AUBA(アウバ) note.com/eiicon/n/nd8df…

Jij Inc. Japan (@jij_inc_jp) 's Twitter Profile Photo

Jijは6/14-15開催の【関数型まつり2025】をスポンサー企業として応援しています🥳 Jijのブースにお立ち寄りください。お会いできるのを楽しみにしています! 2025.fp-matsuri.org #fp_matsuri

András Kovács (@andraskovacs6) 's Twitter Profile Photo

The TyDe 2025 submission deadline has been extended to 22 June. Please consider submitting! The workshop is in Singapore but remote presentations are possible. More info: conf.researchr.org/home/icfp-spla…

Yudai Tanabe (@yudai_tnb) 's Twitter Profile Photo

Staged Gradual Typing (GPCE'25) ← 亀山研 cs.tsukuba.ac.jp/~kam/papers/gp… Gradual Metaprogramming (arXiv) ← Siek達 arxiv.org/abs/2506.09043

Tsung-Ju Chiang (@tsungjuc) 's Twitter Profile Photo

Our paper Multi-Stage Programming with Splice Variables, co-authored with Ningning Xie, has been accepted to ICFP'25 😀! We designed a language for flexible, type-safe code generation, with advanced features like code pattern matching — enabled by what we call splice variables.

José A. Alonso (@jose_a_alonso) 's Twitter Profile Photo

An introduction logical foundations of types and programming language. ~ Brigitte Pientka. cs.uoregon.edu/research/summe… #TypeTheory

Ningning Xie (@xnningxie) 's Twitter Profile Photo

Happy to share that our ICFP’25 paper “multi-stage programming with splice variables” with Tsung-Ju Chiang received a Distinguished Paper Award! See you in Singapore! icfp25.sigplan.org/details/icfp-2…

Shriram Krishnamurthi (primary: Bluesky) (@shriramkmurthi) 's Twitter Profile Photo

Google specifically looking for expertise in machine learning and PROGRAMMING LANGUAGES. Papers at conferences like PLDI/ICFP, experience w/ LC, types, CL… ML slowly coming to its senses. (-: google.com/about/careers/…

Yuito MURASE (@bindingscope) 's Twitter Profile Photo

I'll be giving a talk on my position paper "Hygienic Macros via Staged Environment Machines" at the Scheme workshop. See you in Singapore! conf.researchr.org/home/icfp-spla…

Ryoma Sin'ya (@sinya8282) 's Twitter Profile Photo

【業務連絡】 第42回 記号論理と情報科学 研究集会(SLACS 2025)は秋田県秋田市(秋田大学)で10月30日(木)〜31日(金)の2日間開催予定です. HPを作成中ですので詳細はもう少々お待ち下さい. cf. 昨年開催された SLACS 2024 のHP sites.google.com/view/slacs-2024

NISHIMURA Yuki (@w_v_logic) 's Twitter Profile Photo

9月に京都で行われる18th Asian Logic Conferenceにて発表を行います。指示対象をもたない(=可能世界に紐づかない)nominalを許容するhybrid logicについて、講演を行う予定です。 www2.kobe-u.ac.jp/~brendle/alc20…

Yusuke Matsushita (@shiatsumat) 's Twitter Profile Photo

京都大学 白眉セミナー No.273 hakubi.kyoto-u.ac.jp/sem/sem_273/ で "Science of Software, the Fun of Rust" という題で発表しました! 改めて、白眉に来て良かったなと思う時間でした。 スライドを公開したので、ぜひご覧ください: shiatsumat.github.io/talks/2025-hak…