jun
LightNews LightNews
nahcnuj.bsky.social
jun
@nahcnuj.bsky.social
8 followers 6 following 31 posts
like: Perl🐫 / TypeScript / 型 / 東山奈央🌈 / ナナシス / 芹沢モモカ🍭
Posts Replies Media Videos
nahcnuj.bsky.social
おひる
March 2, 2024 at 6:06 AM
nahcnuj.bsky.social
ifの方にはif_pos,if_negっていうのがあるんだね
leanprover-community.github.io/archive/stre...
February 25, 2024 at 12:07 PM
nahcnuj.bsky.social
久しぶりにチュウニズムした
February 25, 2024 at 11:23 AM
nahcnuj.bsky.social
消えたDiscoverタブ
February 25, 2024 at 11:03 AM
nahcnuj.bsky.social
Lean 4なんもわからん
February 25, 2024 at 7:33 AM
nahcnuj.bsky.social
もぐもぐみこちかわいいね
February 24, 2024 at 11:12 AM
nahcnuj.bsky.social
みこち！？
February 24, 2024 at 10:29 AM
nahcnuj.bsky.social
Lean 4だいぶわかってきた（画像は aconite-ac.github.io/theorem_prov... の練習問題を解いたやつ）
February 24, 2024 at 4:55 AM
nahcnuj.bsky.social
複数当たってもなぁと素直に弾数を減らしたら当たりませんでした（倍率を考えろ）
February 23, 2024 at 5:33 AM
nahcnuj.bsky.social
2024/2/19(月)でTokyo 7th シスターズは10周年！

これまでのゲームプレイ歴を振り返ることができる「支配人レポート」を開催中！
その他にも豪華キャンペーンを実施中！

#t7s #ナナシス #t7s10th #支配人レポート
February 20, 2024 at 10:26 AM
nahcnuj.bsky.social
きんモザ展で注文してたカレンバースデーのやつ〜　かわいいね🎈
February 18, 2024 at 5:37 AM
nahcnuj.bsky.social
なう
February 17, 2024 at 3:47 AM