入学しました！よろしくお願いします！ #SFC25 #春からSFC

それにしても極寒だった

来てます

私の卒論「Kairos: ビザンチン障害耐性のあるタイムスタンプオラクル」が、2024年度秋学期 慶應SFC 中村合同研究会(RG)の優秀研究賞に選ばれました！ 今後はさらなる研究・国際学会への投稿・社会実装を目指して頑張っていきたいと思います。

パソ…パソパソ…

PDF、Webサイトを超高精度に翻訳するサービス、「Re:Babel」を作りました！ ↓豊富な無料プランがあるので、使ってみてください rebabel.dev スレッドに機能紹介が続きます

博士学位請求論文審査公聴会開催（6/4） | 慶應義塾大学 湘南藤沢キャンパス（SFC） sfc.keio.ac.jp/news/025854.ht…

湘南台のアウラ

自身2本目となるジャーナル論文「Shinken：更改可能な透明性のあるクレーム検証モデル」が情報処理学会論文誌で出版されました 博士論文のコアとなるクレームの妥当性検証に関するモデルの提案です ipsj.ixsq.nii.ac.jp/records/2002605

ワイとのツーショット。。。光栄すぎる！ (司会をやっていた者です、発表おつかれ様でした！内容面白かったです！)

本日付で、博士（政策・メディア）を授与いただきました ご支援・応援いただいたすべての方々に感謝いたします Finally, I have received Ph.D. in Media and Governance. Thank you to everyone who supported me on my journey!

1/ Decentralized thoughts on DAGs With Neil Giridharan and Kartik Nayak decentralizedthoughts.github.io/2025-08-08-DAG…

本日の登壇資料です。 #kernelvm 2020 年の WSA 研で微妙に滑ったネタを、もう少し「一般の方」向けにリライトしました。位相の言葉を用いて、仕様を安全性と活性に分解する Alpern-Schneider の分解定理を解説します。 形式手法特論：位相空間としての並行プログラミング speakerdeck.com/ytaka23/kernel…

土善旅館で研究会合宿をしてきた 分散アルゴリズム実装ゼミを開催したところ、受講生がもりもり成長していて良かった

誕生日にベトナム旅行へ行ってきた 0x1A歳になりました

ComSys 2025で口頭発表をしてきました。名工大に来るのは7、8年ぶりくらいでした。楽しかったです！ sigos.ipsj.or.jp/event/comsys20…

カスタムくん🥹 まじか