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)
地下鉄今出川線があるべきすぎ
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
学振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
Yuito MURASE retweeted
κeen (@blackenedgold) profile picture
κeen
@blackenedgoldOct 14
あれ、気付いてなかった。‹Programming›っていうプログラミングに関係すること全般を扱った国際学会があるんだけど、2027年3月の分は京都(京大吉田キャンパス)でやるらしい。 ‹Programming› 2027 2027.programmingconference.o…
1
19
76
5,128
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
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
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
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
92
18,788
まんまゴーストダビングじゃねえかこれ
ikkun (@0xikkun) profile pictureikkun
@0xikkunSep 8
ニューロンが発火した時に光る特殊な塗料と顕微鏡を使ってるっぽいんだけど、問題はその塗料の毒性が強すぎて死が確定してるんだよな〜
2
5
552
Yuito MURASE retweeted
ikkun (@0xikkun) profile picture
ikkun
@0xikkunSep 8
ニューロンが発火した時に光る特殊な塗料と顕微鏡を使ってるっぽいんだけど、問題はその塗料の毒性が強すぎて死が確定してるんだよな〜
月見ねぎとろ＠3Dモデラー/動画・シナリオ屋さん (@tukimi_negitoro) profile picture月見ねぎとろ＠3Dモデラー/動画・シナリオ屋さん@tukimi_negitoroSep 8
電子顕微鏡でショウジョウバエのニューロンをスキャンし、デジタル上に再現できたらしい。次は魚、マウス、やがて人間を目指すつもりらしい。 「だが心配ない、ショウジョウバエのニューロンは僅か14万、人間は860億もある、直ちには実現しないだろう」と言う文言を読んで、あぁ終わったな、と思った。
41
8
363
44,387
【IELTS専門家も言ってはる Fluency＝速さじゃない】 IELTSの専門家（運営団体IDPの人）がSpeakingのFluency（流暢さ）について語っているのが、参考になる。速くノンストップで話すことだけが正義じゃないんだよね... 訳：「自分のペースを意識して、少しゆっくり話す。そして、ところどころで繋ぎ言葉やフィラーを使って、話している途中で一度立て直し、落ち着いた状態に戻るようにしています。」
1
18
2
200
36,543
Yuito MURASE retweeted
tanishiking👑 (@tanishiking) profile picture
tanishiking👑@tanishikingSep 8
JSConf JP 2026にLT採択いただきました。WasmGC、JSPI、Custom Descriptors などの proposal やJS vs Wasmベンチマーク結果をScala->Wasmへのコンパイラ実装の事例を通して話したいと思ってます〜🙌 Compiling Your Language to WasmGC & Friends #jsconfjp jsconf.jp/2026/ja/talks/riki…
Compiling Your Language to WasmGC & Friends | JSConf JP 2026

Compiling Your Language to WasmGC & Friends | JSConf JP 2026

WasmGCは、ガベージコレクション機能を持つ言語をWebAssemblyにコンパイルすることを可能にします。しかし、実際のコンパイラバックエンドでは、まだいくつかの課題が残っています。例えば、豊富な型システムをWasmGCにマッピングすること、非同期コードをJSPIでブリッジすること、そしてWasmオブジェクトがJavaScriptプロトタイプを保持できるようにカスタムディスクリプタを使用...

jsconf.jp
3
1
36
4,489
Yuito MURASE retweeted
Ohue M/大上雅史 (@tonets) profile picture
Ohue M/大上雅史
@tonetsAug 29
学振DC：月23.8万円＋最終年度３万円増 学振PD：月43.4万円　になるかも。（なると良いな） DC採用率の低さにも概算要求資料で初めて言及。 （「一定数確保」なら別に今までと同じ人数で良いのではと言われてしまいそうな資料だが、うまく戦ってほしい）
Image from Ohue M/大上雅史 (@tonets)
3
100
25
555
86,026
Yuito MURASE retweeted
David Young (@roboguy20) profile picture
David Young
@roboguy203 Jul 2025
Replying to @aramh
groups.csail.mit.edu/mac/use…
Image from David Young (@roboguy20)
Image from David Young (@roboguy20)
6
6
6
79
8,083
Run-time code generation and modal-ML(dl.acm.org/doi/10.1145/27765…) の ML^□ を RV32I にコンパイルする Web アプリケーションを作りました。実行時コード生成を備えた ML を実際に機械語にコンパイルして動かすことができます。 akawashiro.com/software/mlbo…

Run-time code generation and modal-ML | ACM SIGPLAN Notices

This paper presents a typed programming language and compiler for run-time code generation. The language, called ML', extends ML with modal operators in the style of the Mini-ML'e language of Davies...

dl.acm.org
3
14
706
tcc という実行時にコードを生成する C を拡張した言語について調べました akawashiro.com/memos/tcc_jp
1
6
20
1,583
Load more