atree

B3, IS26er, にいつつある

[atree @atree4728]

@Latte72R よろしくお願いします！

[atree @atree4728]

セキュリティキャンプ 2026 の L2（プロセッサゼミ）に参加します！楽しみ～

#seccamp

[atree @atree4728]

@yuubinnkyoku_mk よろしくお願いします！

[東京大学 五月祭 @gogatsusai]

【明日17日（日）の五月祭の開催について】

5月16日（土）20:00現在、キャンパス内の安全を確認したため、明日17日（日）の五月祭は開催いたします。

夜間の警戒態勢の強化や、入構時の手荷物検査等により、安全を確保してまいります。

企画構成員の皆様、来場者の皆様、学内関係者の皆様、協賛・賛助いただいた皆様、五月祭の実施に協力していただいた方々におかれましては、多大なるご迷惑をおかけしてしまいましたことを、改めてお詫び申し上げます。

#五月祭 #東京大学

[atree @atree4728]

明日開催なんだ　よかった　五月祭委員会にお疲れ様といった感じ

[atree @atree4728]

正直なところ自分はあまり被害を被らなかったけど、やっぱり飲食の企画（特に B1）とかは金銭的に損害が出てるからかわいそう

[atree @atree4728]

当時五月祭委員会のスタッフにもなにがあったのか周知されていなかったというのに、産経の速報が出てたのはびっくりだったなあ　警察の方からリークされたのか

[atree @atree4728]

爆破予告って犯人側のコスパが良すぎるのが問題すぎて、なにか対策はないのかなと思う

[atree @atree4728]

『エフェクトシステムでつかまえて』書きました　他の記事も面白いのでみなさまぜひ

[コンピュータを科学する | 東京大学理学部情報科学科 @IS_MayFes]

【冊子】
有志の寄稿した文章をまとめた冊子『理学部7号館日記』を頒布します。
B5版106ページ、1冊500円ですので、是非お買い求めください！

[コンピュータを科学する | 東京大学理学部情報科学科 @IS_MayFes]

理学部情報科学科は第99回五月祭(2026.5.16-17)にて初の学科企画「コンピュータを科学する」を実施します！

内容は以下の通りです：
1. 学生有志冊子の頒布
2. ライトニングトーク
3. ポスター等の展示

今後情報を発信していくので是非フォローしてください🙇

#東京大学 #五月祭 #好きが芽吹くとき

[Rui Ueyama @rui314]

今学期は「システムプログラミング実験」という授業のTAをやります。B3/B4が対象です。

[atree @atree4728]

2025 年かなり good な年でした　お世話になりました & 来年もよろしくお願いします

[atree @atree4728]

@gengar68 ありがとうございます！修正しました🙇

[atree @atree4728]

Equational Reasoning について少し勉強したので記事を書きました！理情 & Haskell アドカレに参加しました

定理証明支援系のノリでプログラムを代数的に変形していくと、仕様から逆に定義を導出することができて、さらに非自明な計算量改善ができちゃうこともという話です

https://t.co/IVk4FAmjag

[びしょ〜じょ @Nymphium]

最適化の論文とかで前提にされがちだが知ってないと突然謎の変換が出てきて分からなくなるequational reasoningの解説､ありがたい

https://t.co/Vo3D9XlH28

[atree @atree4728]

> RT　う、うれしい……

[lotz @lotz84_]

この記事、分かりやすく書かれててとても良い👏
「関数型言語における Equational Reasoning とは、簡約関係によって導かれる代数的な等式変形によってプログラムについて論証したり、アルゴリズムの計算量を改善したりする形式手法のこと」／Equational Reasoning 入門
https://t.co/44jRTUW23S

[atree @atree4728]

OGP が終わっていますね

[Digital Experts株式会社 @dexperts_corp]

チーム「DIgital Experts」として ICFPC 2025 に出場しました！
社員7名・インターン7名で温泉施設に滞在し、3泊4日で取り組んだ様子をブログにまとめています。
ぜひご覧ください。
https://t.co/el74rPh4uQ

[atree @atree4728]

12/19 に登録しているアドカレのネタが生えたので書き始めた