Pinned Tweet
『Web開発のすすめ』書きました！
74rina.github.io/Web_Lecture…
Webのフロントエンドからバックエンドまで、体系的にまとめました。アドバイスやコメントたくさんお待ちしています！
#春から慶應 のみんな、KCSぜひきてね〜🌸
Rina retweeted
12月19日（土）・20日（日）の2日間にわたり、東京(国立情報学研究所)にてワークショップ「形式検証の最前線」を開催いたします！ 形式検証に関連する最先端のトークが目白押しです。ぜひ参加をご検討ください！
ホームページ:
group-mmm.org/~kazuki/FFV/in…
Rina retweeted
CF Workersやりたい or やり始めた学生さんにCF Workersの本を送りつけます!
syumaiさん( @__syumai )の"Web開発者のための入門Cloudflare Workers"か、ちまめさん( @chimame_rt )の"Cloudflare Workers 実践ガイド"のどちらかが対象!
電子/物理どちらでもok!
gihyo.jp/book/2026/978-4-297…
gihyo.jp/book/2026/978-4-297…
Rina retweeted
質問議員「総理、まず基本的なことを伺います。PHPとは、そもそも何の略でしょうか？」
総理「PHPは、ピーエイチピー：ハイパーテキストプリプロセッサの略でございます」
質問議員「総理、質問をよく聞いてください。私はPHPとは何の略かと伺っているんです。その答えに
Rina retweeted
主著が #CoRL2026 のScience of Physical AI Safety Workshopに採択されました！
東京大学での研究成果です！11月にAustinで議論できることを楽しみにしています！！
arxiv.org/abs/2610.03498
Rina retweeted
日本最大級学生向けハッカソン #JPHACKS
Hack Day A日程-東京
#4 つい開いたスマホを、やることが進むきっかけに
『ToDo〆～る』
AIのアリがToDoと連携し、課題や家事への着手を後押し。SNSをただ制限するだけでなく、必要な利用は相談できるiOSアプリです。
ついSNSを開いて、気づいたら時間がとけている...という悩みに共感しました！使いたい理由をアリに説明するうちに、自分でも今じゃなくてもいいか、と気づけそう。締め切り前の自分に使わせたいです！
