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
  • Tweets489
  • Following180
  • 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,471
RT @yudai_TNB: 同僚の公募です。（この前の助教公募とはまた別） JREC-IN Portal : 助教の公募（数理・計算科学系 計算機科学分野） 「アルゴリズム理論，計算複雑さ理論，組合せ最適化，論理と計算，ソフトウェア検証，プログラミング言語，など」 ht…
JREC-IN | 助教の公募（数理・計算科学系 計算機科学分野）

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

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

jrecin.jst.go.jp
1
2
Cyberpunk Edgerunners 2 がかなりよかったので Cyberpunk 2077 をやってみたいがそんな時間ないんだよなあ……
2
143
来年の進路が決まったのでいよいよ博論をちゃんと完成させないといけない
2
30
816
学振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
28,887
本を書きました！ 刊行はまだ先ですが、情報だけ先に出します！ 『様相論理入門―形式的証明とクリプキモデルで学ぶ論理体系―』 共立出版、2027年3月刊行予定 数理論理学の初学者から、様相論理を学びたい方、すでに知っている方まで学べるはずです。 演習問題の解答も完備。 ぜひご検討ください！
175
23
447
28,877
それはそうとして Reject されました(チーン)
Yuito MURASE (@bindingscope) profile pictureYuito MURASE@bindingscopeOct 13
来週末のMLGで「擬引用のスコープ構造を推論する様相論理について」という題でこの原稿の話をします。お手やわらかにお願いします www2.kobe-u.ac.jp/~tk/jp/wor…
1
239
Yuito MURASE retweeted
κeen (@blackenedgold) profile picture
κeen
@blackenedgoldOct 14
あれ、気付いてなかった。‹Programming›っていうプログラミングに関係すること全般を扱った国際学会があるんだけど、2027年3月の分は京都(京大吉田キャンパス)でやるらしい。 ‹Programming› 2027 2027.programmingconference.o…
1
19
76
5,122
来週末の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
498
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,752
Chris LattnerがKeynoteでMojoの話をしてる。明日はKent Beck！
4
185
本場のブルーボトルに来たぞ
Image from Yuito MURASE (@bindingscope)
6
207
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,297
来たぜオークランド
Image from Yuito MURASE (@bindingscope)
7
375
これの発表をしにOaklandで開催されるSPLASHに参加してきます。15年ぶりの渡米だ〜
Yuito MURASE (@bindingscope) profile pictureYuito MURASE@bindingscopeAug 10
論文「Refined^2 Environment Classifiers」が OOPSLA 2026 に採択されました！多段階プログラムをより安全にする新しい型システムを提案しています。指導教員の五十嵐先生との共著です。conf.researchr.org/track/spl…
12
602
学振はRPD採用PD不採用でした。RPDありがてえ。しばらく育児で休学してたけど明日から復帰です。がんばるぞー
2
35
5,562
Yuito MURASE retweeted
Kazuki Watanabe (@KWatanabeCS) profile picture
Kazuki Watanabe@KWatanabeCSSep 22
プログラミング言語•理論計算機科学(論理)•形式検証の三分野の紹介も兼ねて、当該分野の研究者らが活躍している主要な国際会議をまとめた記事を公開いたしました(若手研究者の連名)！分野の概観が気軽に掴める良い記事になっていると思いますので、ぜひご一読ください！ kensakayori.github.io/blog/p…

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

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

kensakayori.github.io
1
38
4
105
15,361
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
758
119
2,653
426,791
なんか今年PL分野の公募めっちゃ出てる気がする jrecin.jst.go.jp/seek/SeekJo…
JREC-IN | 助教（常勤）募集 (東京大学大学院情報理工学系研究科コンピュータ科学専攻プログラミング言語分野)

JREC-IN | 助教（常勤）募集 (東京大学大学院情報理工学系研究科コンピュータ科学専攻プログラミング言語分野)

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

jrecin.jst.go.jp
1
1
268
Yuito MURASE retweeted
SnO₂WMaN (@SnO2WMaN) profile picture
SnO₂WMaN@SnO2WMaNSep 15
Mechanizing Gödel's incompleteness Theorems and Provability Logic arxiv.org/abs/2609.13780 Palalansoukî(@_ni_nn_i_ )とずっとやっている、Lean 4での数理論理学：Gödelの第1/第2不完全性定理、Solovayの算術的完全性定理、証明可能性定理の分類定理などの形式化の報告を書きました！
Mechanizing Gödel's Incompleteness Theorems and Provability Logic

Mechanizing Gödel's Incompleteness Theorems and Provability Logic

We mechanized proof of Gödel's first and second incompleteness theorems, Solovay's arithmetical completeness theorem of \mathbf{GL}, and related results in the Lean 4 theorem prover.

arxiv.org
2
32
2
91
18,202
まんまゴーストダビングじゃねえかこれ
ikkun (@0xikkun) profile pictureikkun
@0xikkunSep 8
ニューロンが発火した時に光る特殊な塗料と顕微鏡を使ってるっぽいんだけど、問題はその塗料の毒性が強すぎて死が確定してるんだよな〜
2
5
552
Load more