Taro Sekiyama (@skymountain_) profile picture

Taro Sekiyama

@skymountain_
skymountain.github.io/
Joined May 2008
  • Tweets8.6K
  • Following229
  • Followers408
6Media
Photo by Taro Sekiyama (@skymountain_)Photo by Taro Sekiyama (@skymountain_)Photo by Taro Sekiyama (@skymountain_)
TEEに基づくセキュアシステムの形式検証研究を行う博士研究員を募集しています。特に、これまでプログラミング言語・プログラム検証について研究してきた方を歓迎します！詳細はこちら： hackmd.io/@TaroSekiyama/H1ew…
Recruiting Postdocs: Formal Verification of TEE Architectures - HackMD

Recruiting Postdocs: Formal Verification of TEE Architectures - HackMD

We are recruiting postdocs to work on formal methods and programming languages for the formal verification of TEE architectures.This position is especially suited for PL researchers seeking a new...

hackmd.io
10
28
3,514
ここ一週間ずっと論文を書いているんですが？AIで論文執筆が簡単になる世界 is 何処？？
1
148
nii.ac.jp/news/release/2026/… 👀
理論計算機科学のトップ会議「FOCS 2026」で国立情報学研究所から論文3本が採択〜うち四色定理に新たな証明を与えた論文が Best Paper を受賞 - 国立情報学研究所 / National...

理論計算機科学のトップ会議「FOCS 2026」で国立情報学研究所から論文3本が採択〜うち四色定理に新たな証明を与えた論文が Best Paper を受賞 - 国立情報学研究所 / National...

国立情報学研究所は、情報学という新しい研究分野での「未来価値創成」を目指すわが国唯一の学術総合研究所として、ネットワーク、ソフトウェア、コンテンツなどの情報関連分野の新しい理論・方法論から応用展開までの研究開発を総合的に推進しています。

nii.ac.jp
4
315
POPL 全滅で悲しみ
1
170
Taro Sekiyama retweeted
Kazuki Watanabe (@KWatanabeCS) profile picture
Kazuki Watanabe@KWatanabeCSSep 22
プログラミング言語•理論計算機科学(論理)•形式検証の三分野の紹介も兼ねて、当該分野の研究者らが活躍している主要な国際会議をまとめた記事を公開いたしました(若手研究者の連名)！分野の概観が気軽に掴める良い記事になっていると思いますので、ぜひご一読ください！ kensakayori.github.io/blog/p…

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

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

kensakayori.github.io
1
38
4
106
15,649
Taro Sekiyama retweeted
Hiroki Naganuma (@_Hiroki11x) profile picture
Hiroki Naganuma
@_Hiroki11xAug 19
I joined NVIDIA in Redmond this week. I'll be working on the efficient large-scale pretraining of language models — at the intersection of optimization and systems. Grateful to my PhD advisor @bouzoukipunks , my committee, and the collaborators and mentors at Mila, Microsoft Research, Google DeepMind, and Meta who got me here.
8
11
1
181
67,091
JSONしか書けなくてプログラムを設定ファイルに書けないのか...けっこうきつくない？
3
327
Emacs から VSCode に切り替えるための準備をしているが、なかなか厳しい道程になりそう
3
319
第1回TriniTEE Symposium - ユニバーサルTEE実現に向けて - の参加登録サイトをオープンしました。年度末の実施ですが皆様のご参加をお待ちしております。 また、この情報を拡散くださると幸いです。 cradsec.rois.ac.jp/jp/event/…
第1回 TriniTEE Symposium - ユニバーサルTEE実現に向けて -

第1回 TriniTEE Symposium - ユニバーサルTEE実現に向けて -

2025年4月から5ヶ年計画で始まった経済安全保障重要技術育成プログラム「セキュアなデータ流通を支える暗号関連技術（高機能暗号）」において実施している課題「ハードウェア・ソフトウェア・理論の連携によるユニバーサルTEEアーキテクチャの実現」の年次成果報告を行います。

cradsec.rois.ac.jp
3
4
861
ACM Digital Library に AI Summary なるボタンが出現しておる
1
228
第11回SATSSは 1) 東北大学名誉教授(現CRADSEC)大堀先生、電通大佐藤先生による招待講演 2) ハード・ソフト・検証分野の先生方をお招きしてパネル討論 を予定しています。 まだ参加登録を受け付けていますのでご興味のある方は以下のサイトからお願いします sc-sys.github.io/

Workshop on Software, Architecture, and Theory for Secure Systems

セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)

sc-sys.github.io
3
490
11/12(水)18:00 からNII/総研大の大学院説明会が開催されます nii.ac.jp/graduate/entrance/… 私の研究室 (skymountain.github.io/) でも学生さんを募集していますので、プログラミング言語理論・プログラム検証に興味のある方はご連絡ください（事前連絡が必須になっているのでご注意を）

大学院説明会 - 入学試験案内 - 総合研究大学院大学 先端学術院 情報学コース

国立情報学研究所（NII）は総合研究大学院大学に参画し情報学コースを設置、5年一貫制博士課程と博士後期課程の研究指導にあたっています。21世紀の「知識社会」をリードする優れた人材の育成を目指しています。

nii.ac.jp
3
6
1,567
I am more than proud of my PhD students, colleagues and collaborators! Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25. 🥳🎉 The papers cover a wide range of PL and compiler topics 🧵
2
11
1
81
20,306
Taro Sekiyama retweeted
Taro Sekiyama (@skymountain_) profile picture
Taro Sekiyama@skymountain_8 Oct 2025
第11回SATSS (Workshop on Software, Architecture, and Theory for Secure Systems) の参加登録を開始しました。 今回は形式検証に関する講演に加え、ハード・ソフト・形式検証のトップ研究者によるパネル討論を企画しています。 参加登録はこちらから：sc-sys.github.io/

Workshop on Software, Architecture, and Theory for Secure Systems

セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)

sc-sys.github.io
1
2
383
第11回SATSS (Workshop on Software, Architecture, and Theory for Secure Systems) の参加登録を開始しました。 今回は形式検証に関する講演に加え、ハード・ソフト・形式検証のトップ研究者によるパネル討論を企画しています。 参加登録はこちらから：sc-sys.github.io/

Workshop on Software, Architecture, and Theory for Secure Systems

セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)

sc-sys.github.io
1
2
383
あと、どんどん管理職に近づいている気がする。一般的な大学教員と比べて全然でしょうが
2
363
研究開発中のソフトウェアの検証に関する研究って、どうやってやればいいんでしょうね〜
2
313
Our paper on Pseudo-Asynchronous Local SGD is accepted at TMLR! Developed at @MSFTResearch, it introduces a semi-synchronous training strategy that pairs well with methods like DiLoCo. Clean code & camera-ready coming soon. Thanks to my co-authors! arxiv.org/abs/2504.18454
Image from Hiroki Naganuma (@_Hiroki11x)
3
7
1
64
6,373
8/21 開催の第9回SATSS では Linux や C の安全性検証の講演を予定しています。興味のある方は sc-sys.github.io/ から参加方法のご確認を！（リモート参加もあるよ）

Workshop on Software, Architecture, and Theory for Secure Systems

セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)

sc-sys.github.io
1
4
478
DBLP になかなか接続できない。がんばってくれい
255
Load more