Yuito MURASE (@bindingscope) header
Yuito MURASE (@bindingscope) profile picture

Yuito MURASE

@bindingscope

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

 Kyoto, Japan
fos.kuis.kyoto-u.ac.jp/~murase/
Joined August 2022
  • Tweets492
  • Following183
  • Followers161
5Media
Photo by Yuito MURASE (@bindingscope)Photo by Yuito MURASE (@bindingscope)Photo by Yuito MURASE (@bindingscope)Photo by Yuito MURASE (@bindingscope)Photo by Yuito MURASE (@bindingscope)
論文「Refined^2 Environment Classifiers」が OOPSLA 2026 に採択されました！多段階プログラムをより安全にする新しい型システムを提案しています。指導教員の五十嵐先生との共著です。conf.researchr.org/track/spl…
1
5
2
31
6,522
MetaOCaml playground をつくった fos.kuis.kyoto-u.ac.jp/~mura…
2
4
284
地下鉄今出川線があるべきすぎ
2
11
821
Yuito MURASE retweeted
OCaml.jp (@ocamljp) profile picture
OCaml.jp@ocamljpNov 10
OCaml Meeting 2027 in Osaka 開催決定！ ぜひご参加ください 🙏 ocamljp.connpass.com/event/4… #OCaml #OCamlMeeting
OCaml Meeting 2027 in Osaka (2027/03/06 13:30〜)

OCaml Meeting 2027 in Osaka (2027/03/06 13:30〜)

OCaml Meeting は過去に開催されていた日本の OCaml コミュニティによる勉強会です。 13 年ぶりの開催となった前回 OCaml Meeting 2026 in Tokyo は皆様のおかげで盛況の内に終えることができました。 今回は場所を変え、大阪での開催となります 🎉 OCaml に興味のある方や、昨今の関数型の話題で気になっているという方、初めて OCaml...

ocamljp.connpass.com
9
1
15
768
Yuito MURASE retweeted
Hiroyuki Katsura (@moratorium08) profile picture
Hiroyuki Katsura@moratorium08Nov 6
AIを活用しながら、Cで書かれたAndroidで動くハイパーバイザ pKVMを検証する話をします。検証している傍ら複数の脆弱性(CVE-2026-59048, CVE-2026-59046, CVE-2026-98466)も発見し報告しました teapawt.net/KWatanabeCS/status/211…
Kazuki Watanabe (@KWatanabeCS) profile pictureKazuki Watanabe@KWatanabeCSNov 6
12月19日（土）・20日（日）の2日間にわたり、東京(国立情報学研究所)にてワークショップ「形式検証の最前線」を開催いたします！ 形式検証に関連する最先端のトークが目白押しです。ぜひ参加をご検討ください！ ホームページ: group-mmm.org/~kazuki/FFV/in…
1
16
85
3,798
RT @yudai_TNB: 同僚の公募です。（この前の助教公募とはまた別） JREC-IN Portal : 助教の公募（数理・計算科学系 計算機科学分野） 「アルゴリズム理論，計算複雑さ理論，組合せ最適化，論理と計算，ソフトウェア検証，プログラミング言語，など」 ht…
JREC-IN | 助教の公募（数理・計算科学系 計算機科学分野）

JREC-IN | 助教の公募（数理・計算科学系 計算機科学分野）

イノベーション創出を担う研究人材のためのキャリア支援ポータルサイト

jrecin.jst.go.jp
1
6
Cyberpunk Edgerunners 2 がかなりよかったので Cyberpunk 2077 をやってみたいがそんな時間ないんだよなあ……
2
175
学振PDが保育園詰む問題は、問題になりうることをJSPSも把握しており、それ用の採用証明書を出す体制が出来ていて、その他子連れ特別研究員サポートをまとめたページがあるという事実 cheers.jsps.go.jp/support/

研究者のワークライフバランスを応援！研究者向けコミュニティサイト

「CHEERS！」は研究と育児の両立など、すべての研究者の多様なキャリアを応援することを目的として、情報の発信やネットワークづくりのために日本学術振興会が運営しています。

cheers.jsps.go.jp
Asaki Kataoka / 片岡 アサキ (@arthur_k_kochi) profile pictureAsaki Kataoka / 片岡 アサキ
@arthur_k_kochiOct 30
特別研究員（PD）は誰とも雇用関係を結んでおらず、かつ、自営業でもなければ農林漁業従事者でもないので、市町村の定める「就労」の条件のどれにも該当せず、子供を地域の保育園に入れる申請ができないかもしれません！！！！！
1
57
4
210
29,068
本を書きました！ 刊行はまだ先ですが、情報だけ先に出します！ 『様相論理入門―形式的証明とクリプキモデルで学ぶ論理体系―』 共立出版、2027年3月刊行予定 数理論理学の初学者から、様相論理を学びたい方、すでに知っている方まで学べるはずです。 演習問題の解答も完備。 ぜひご検討ください！
177
23
449
29,861
それはそうとして Reject されました(チーン)
Yuito MURASE (@bindingscope) profile pictureYuito MURASE@bindingscopeOct 13
来週末のMLGで「擬引用のスコープ構造を推論する様相論理について」という題でこの原稿の話をします。お手やわらかにお願いします www2.kobe-u.ac.jp/~tk/jp/wor…
1
259
Yuito MURASE retweeted
κeen (@blackenedgold) profile picture
κeen
@blackenedgoldOct 14
あれ、気付いてなかった。‹Programming›っていうプログラミングに関係すること全般を扱った国際学会があるんだけど、2027年3月の分は京都(京大吉田キャンパス)でやるらしい。 ‹Programming› 2027 2027.programmingconference.o…
1
19
76
5,128
来週末のMLGで「擬引用のスコープ構造を推論する様相論理について」という題でこの原稿の話をします。お手やわらかにお願いします www2.kobe-u.ac.jp/~tk/jp/wor…
Yuito MURASE (@bindingscope) profile pictureYuito MURASE@bindingscopeJul 21
改稿しました Bounded Modal Logic: Explicit Scope Dependencies in Multi-Stage Programming arxiv.org/abs/2602.09462v2
1
1
2
528
Yuito MURASE retweeted
abap34 (@abap34) profile picture
abap34@abap34Oct 8
I have been awarded Second Place in the ACM Student Research Competition in SPLASH/ISSTA ! / もっともっと頑張ります！
Image from abap34 (@abap34)
abap34 (@abap34) profile pictureabap34@abap34Oct 4
こいつについて明日からの SPLASH の SRC で発表します！Oakland で俺と握手🫸🫷 psg.c.titech.ac.jp/posts/202…
2
10
1
106
4,812
Chris LattnerがKeynoteでMojoの話をしてる。明日はKent Beck！
4
190
本場のブルーボトルに来たぞ
Image from Yuito MURASE (@bindingscope)
6
212
Yuito MURASE retweeted
abap34 (@abap34) profile picture
abap34@abap34Oct 4
こいつについて明日からの SPLASH の SRC で発表します！Oakland で俺と握手🫸🫷 psg.c.titech.ac.jp/posts/202…
abap34 (@abap34) profile pictureabap34@abap34Jun 17
最近作ってるものの宣伝 かなりいろいろなことをしているスライド記述言語で、WYSIWYG で編集する機能を追加してみた かつその結果はソースコード側に反映するようになっていて、ソースコード単体でスライドは完結する (テキストでの編集とGUI での調整を相互にできる😼) github.com/abap34/ss
3
1
21
6,359
来たぜオークランド
Image from Yuito MURASE (@bindingscope)
7
379
これの発表をしにOaklandで開催されるSPLASHに参加してきます。15年ぶりの渡米だ〜
Yuito MURASE (@bindingscope) profile pictureYuito MURASE@bindingscopeAug 10
論文「Refined^2 Environment Classifiers」が OOPSLA 2026 に採択されました！多段階プログラムをより安全にする新しい型システムを提案しています。指導教員の五十嵐先生との共著です。conf.researchr.org/track/spl…
12
607
学振はRPD採用PD不採用でした。RPDありがてえ。しばらく育児で休学してたけど明日から復帰です。がんばるぞー
2
35
5,581
Yuito MURASE retweeted
Kazuki Watanabe (@KWatanabeCS) profile picture
Kazuki Watanabe@KWatanabeCSSep 22
プログラミング言語•理論計算機科学(論理)•形式検証の三分野の紹介も兼ねて、当該分野の研究者らが活躍している主要な国際会議をまとめた記事を公開いたしました(若手研究者の連名)！分野の概観が気軽に掴める良い記事になっていると思いますので、ぜひご一読ください！ kensakayori.github.io/blog/p…

我々の分野の国際会議紹介

プログラミング言語・理論計算機科学（論理）・形式検証の主要な国際会議と、それぞれの特徴を分野外の方向けに紹介します。

kensakayori.github.io
1
38
4
106
15,649
Yuito MURASE retweeted
p (@y_6787181812) profile picture
p@y_6787181812Sep 21
重慶にもラーメン屋みたいな名前の駅があって草
Image from p (@y_6787181812)
Image from p (@y_6787181812)
Image from p (@y_6787181812)
Image from p (@y_6787181812)
p (@y_6787181812) profile picturep@y_6787181812Sep 20
成都といえば、ラーメン屋みたいな名前の駅 お前らこういうのが好きなんでしょ？
Image from p (@y_6787181812)
Image from p (@y_6787181812)
Image from p (@y_6787181812)
Image from p (@y_6787181812)
2
756
119
2,653
426,943
Load more